Name
Abstract | ||
|---|---|---|
The detection of small-delay faults is traditionally performed by sensitizing transitions on a path of sufficient length from an input to an output of the circuit going through the fault site. While this approach allows efficient test generation algorithms, it may result in false positives and false negatives as well, i.e. undetected faults are classified as detected or detectable faults are classified as undetectable. We present an automatic test pattern generation algorithm which considers waveforms and their propagation on each relevant line of the circuit. The model incorporates individual delays for each gate and filtering of small glitches. The algorithm is based on an optimized encoding of the test generation problem by a Boolean satisfiability (SAT) instance and is implemented in the tool WaveSAT. Experimental results for ISCAS-85, ITC-99 and industrial circuits show that no known definition of path sensitization can eliminate false positives and false negatives at the same time, thus resulting in inadequate small-delay fault detection. WaveSAT generates a test if the fault is testable and is also capable of automatically generating a formal redundancy proof for undetectable small-delay faults; to the best of our knowledge this is the first such algorithm that is both scalable and complete. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1145/2429384.2429391 | ICCAD |
Keywords | Field | DocType |
automatic test pattern generation,fault diagnosis,waveform analysis,Boolean satisfiability instance,ISCAS-85,automatic test pattern generation algorithm,detectable fault,individual delay,industrial circuit,optimized encoding,path sensitization,small-delay fault detection,small-delay-fault ATPG,tool WaveSAT,waveform accuracy | Stuck-at fault,Glitch,Automatic test pattern generation,Fault coverage,Computer science,Fault detection and isolation,Boolean satisfiability problem,Algorithm,Real-time computing,Electronic engineering,False positives and false negatives,Fault indicator | Conference |
ISSN | Citations | PageRank |
1933-7760 | 13 | 0.83 |
References | Authors | |
18 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Matthias Sauer | 1 | 195 | 20.02 |
| Alexander Czutro | 2 | 56 | 4.53 |
| Ilia Polian | 3 | 889 | 78.66 |
| Bernd Becker | 4 | 855 | 73.74 |