Sequential circuit test generation using dynamic state traversal
Top Cited Papers
- 22 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
This research was supported in part by the Semiconductor Research Corporation under contract SRC 96-DP-109, in part by ARPA under contract DABT63-95-C-0069, and by Hewlett-Packard under an equipment grant. A new method for state justification is proposed for sequential circuit test generation. The linear list of states dynamically obtained during the derivation of test vectors is used to guide the search during state justification. State-transfer sequences may already be known that drive the circuit from the current state to the target state. Otherwise, genetic engineering of existing state-transfer sequences is required. In both cases, genetic-algorithm-based techniques are used to generate valid state justification sequences for the circuit in the presence of the target fault. This approach achieves extremely high fault coverages and thus outperforms previous deterministic and simulation-based techniques.Keywords
This publication has 16 references indexed in Scilit:
- Iterative simulation-based Genetics + Deterministic Techniques = Complete AtPGPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Alternating strategies for sequential circuit ATPGPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- HITEC: a test generation package for sequential circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Complexity of sequential ATPGPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Improved sequential ATPG using functional observation information and new justification methodsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- LOCSTEP: a logic simulation based test generation procedurePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Combining deterministic and genetic approaches for sequential circuit test generationPublished by Association for Computing Machinery (ACM) ,1995
- Application of homing sequences to synchronous sequential circuit testingIEEE Transactions on Computers, 1994
- An automatic test pattern generator for large sequential circuits based on Genetic AlgorithmsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1994
- CRIS: A test cultivation program for sequential VLSI circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992