Abstract
A method to implicitly derive all tests for each transition fault under established fault-sensitization criteria is presented. The derived quality test functions are enhanced in three different ways to derive better quality test sets. One enhancement restricts fault sensitization along critical subcircuits whose paths have long delays under a fixed-delay model. Another manipulates the functions to generate compact test sets. The last one enriches the test set with additional test vectors so that transition faults are tested through several activation and propagation paths without path enumeration. Experimental results demonstrate the effectiveness of deriving such enhanced test functions.
Original language | English |
---|---|
Pages (from-to) | 3026-3035 |
Number of pages | 10 |
Journal | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |
Volume | 25 |
Issue number | 12 |
DOIs | |
Publication status | Published - Dec 2006 |
Keywords
- Binary decision diagrams (BDDs)
- Critical-path testing
- Delay testing
- Function-based testing
- Nonenumerative path sensitization
- Test compaction
- Test set enrichment