Vector restoration based static compaction of test sequences for synchronous sequential circuits
Top Cited Papers
- 23 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 10636404,p. 360-365
- https://doi.org/10.1109/iccd.1997.628895
Abstract
The authors propose a new procedure for static compaction that belongs to the class of procedures that omit test vectors from a given test sequence in order to reduce its size without reducing the fault coverage. The previous procedures that achieved high levels of compaction using this technique attempted to omit test vectors from a given test sequence one at a time or in consecutive subsequences. Consequently, the omission of each vector or subsequence required extensive simulation to determine the effects of each vector omission on the fault coverage. The proposed procedure first omits (almost) all the test vectors from the sequence, and then restores some of them as necessary to achieve the required fault coverage. The decision to restore a vector requires simulation of a single fault. Thus, the overall computational effort of this procedure is significantly lower. The loss of compaction compared to the scheme that omits the vectors one at a time or in subsequences is small in most cases. Experimental results are presented to support these claims.Keywords
This publication has 5 references indexed in Scilit:
- Compaction of ATPG-generated test sequences for sequential circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- HITEC: a test generation package for sequential circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Procedures for static compaction of test sequences for synchronous sequential circuitsIEEE Transactions on Computers, 2000
- Fast static compaction algorithms for sequential circuit test vectorsIEEE Transactions on Computers, 1999
- On static compaction of test sequences for synchronous sequential circuitsPublished by Association for Computing Machinery (ACM) ,1996