HITEC: a test generation package for sequential circuits
Top Cited Papers
- 9 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 214-218
- https://doi.org/10.1109/edac.1991.206393
Abstract
Presents HITEC, a sequential circuit test generation package to generate test patterns for sequential circuits, without assuming the use of scan techniques or a reset state. Several new techniques are introduced to improve the performance of test generation. A targeted D element technique is presented, which greatly increases the number of possible mandatory assignments and reduces the over-specification of state variables which can sometimes result when using a standard PODEM algorithm. A technique to use the state knowledge of previously generated vectors for state justification, without the memory overhead of a state transition diagram is presented. For faults that were aborted during the standard test generation phase, knowledge that was gained about fault propagation, by the fault simulator, is used. These techniques, when used together, produce the best published results for the ISCAS89, sequential benchmark circuits.Keywords
This publication has 18 references indexed in Scilit:
- Accurate logic simulation in the presence of unknownsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Advanced automatic test pattern generation and redundancy identification techniquesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- SPLIT circuit model for test generationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Accelerated test pattern generation by cone-oriented circuit partitioningPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- ProofsPublished by Association for Computing Machinery (ACM) ,1990
- SOCRATES: a highly efficient automatic test pattern generation systemIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1988
- A topological search algorithm for ATPGPublished by Association for Computing Machinery (ACM) ,1987
- An Effective Test Generation System for Sequential CircuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- A Nine-Valued Circuit Model for Test GenerationIEEE Transactions on Computers, 1976
- Finding Dominators in Directed GraphsSIAM Journal on Computing, 1974