On the nonenumerative path delay fault simulation problem

D. Kagaris1, S. Tragoudas1
1Department of Electrical and Computer Engineering, Southem Illinois University, Carbondale, IL, USA

Tóm tắt

The problem of determining the exact number of path delay faults that a given test set detects in a combinational circuit is shown to be intractable. This result further strengthens the importance of several recently proposed pessimistic heuristics as well as exact exponential algorithms for this nonenumerative problem. A polynomial time pessimistic algorithm which returns higher coverage than algorithms with the same order of complexity and at the same time compacts the test set is also presented.

Từ khóa

#Delay #Circuit faults #Circuit testing #Circuit simulation #Electrical fault detection #Fault detection #Polynomials #Combinational circuits #Physics computing #Robustness

Tài liệu tham khảo

10.1109/43.644037 10.1109/43.594836 10.1109/ICCAD.1997.643620 10.1109/ICVD.1997.567965 10.1109/TEST.1996.557051 10.1109/EDTC.1995.470352 10.1109/ISQED.2001.915260 10.1109/TEST.2001.966684 10.1109/43.259947 10.1109/43.476581 garey, 1979, Computers and Intractability A Guide to the Theory of NP-Completeness deodhar, 2001, color counting technique and its application to path delay fault coverage, Proc IEEE Int Symp Quality Electron Design, 378 10.1109/TEST.1996.556972 10.1109/43.331411 10.1109/ICVD.1996.489646 heragu, 1994, an efficient path delay fault coverage estimator, 31st Design Automation Conference, 516, 10.1145/196244.196521 10.1109/TEST.1993.470604 abramovici, 1990, Digital Systems Testing and Testable Design 10.1109/VTEST.1996.510832 schulz, 1989, parallel pattern fault simulation of path delay faults, 26th ACM/IEEE Design Automation Conference, 357, 10.1145/74382.74442 10.1109/TEST.1999.805631