Title
Implication and evaluation techniques for proving fault equivalence
Abstract
Efficient identification of fault equivalence is essential for the completeness and efficiency of diagnostic test pattern generation. In this paper, we present new techniques to prove diagnostic fault equivalence. The techniques are based on implication of the faulty values, and functional evaluation at the dominator gate of the fault sites. The experimental results for all ISCAS85 circuits and full scan versions of ISCAS89 circuits show significant improvement compared to previously proposed techniques in both the number of equivalent pairs identified and the time to prove equivalence.
Year
DOI
Venue
1999
10.1109/VTEST.1999.766666
Dana Point, CA
Keywords
Field
DocType
automatic test pattern generation,fault diagnosis,identification,integrated circuit testing,integrated logic circuits,logic testing,ATPG,diagnostic fault equivalence,diagnostic test pattern generation,dominator gate,equivalent pairs identification,evaluation techniques,fault sites
Automatic test pattern generation,Equivalence partitioning,Computer science,Fault detection and isolation,Algorithm,Electronic engineering,Equivalence (measure theory),Redundancy (engineering),Electronic circuit,Dominator,Completeness (statistics)
Conference
ISSN
ISBN
Citations 
1093-0167
0-7695-0146-X
11
PageRank 
References 
Authors
0.83
12
4
Name
Order
Citations
PageRank
Enamul Amyeen11459.82
W. K. Fuchs246445.59
Irith Pomeranz33829336.84
Vamsi Boppana426720.98