Abstract | ||
---|---|---|
We present SATSEQ, a timing-aware ATPG system for small-delay faults in non-scan circuits. The tool identifies the longest paths suitable for functional fault propagation and generates the shortest possible sub-sequences per fault. Based on advanced model-checking techniques, SATSEQ provides detection of small-delay faults through the longest functional paths. All test sequences start at the circuit's initial state; therefore, overtesting is avoided. Moreover, potential invalidation of the fault detection is taken into account. Experimental results show high detection and better performance than scan testing in terms of test application time and overtesting-avoidance. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/TEST.2012.6401550 | ITC |
Keywords | DocType | Citations |
longest functional path,Craig interpolation,test application time,advanced model-checking technique,functional fault propagation,high detection,longest path,small-delay fault,functional test,better performance,fault detection,test sequence | Conference | 3 |
PageRank | References | Authors |
0.39 | 0 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ilia Polian | 1 | 889 | 78.66 |
Alexander Czutro | 2 | 56 | 4.53 |
Stefan Kupferschmid | 3 | 72 | 7.05 |
Sudhakar M. Reddy | 4 | 5747 | 699.51 |
Bernd Becker | 5 | 3 | 0.39 |
Matthias Sauer | 6 | 195 | 20.02 |