Title
Fast and waveform-accurate hazard-aware SAT-based TSOF ATPG.
Abstract
Opens are known to be one of the predominant defects in nanoscale technologies. Especially with an increasing number of complex cells in today's VLSI designs intra-gate opens are becoming a major problem. The generation of tests for these faults is hard, as the timing of the circuit needs to be considered accurately to prevent the invalidation of the generated tests through hazards. Current test generation methods, including new cell aware tests that explicitly target open defects, ignore the possibility of hazard caused test invalidation. Such tests can fail to detect a significant fraction of the targeted opens. In this work we present a waveform-accurate hazard-aware test generation approach to target intra-gate opens. Our methodology is based on a SAT-based encoding and allows the generation of tests guaranteed to be robust against hazards. Experimental results for large benchmarks mapped to the state-of-the-art NanGate 45nm cell library including complex cells show the test generation efficiency of the proposed method. Large circuits were efficiently handled - even without the use of fault simulation. Our experiments show that on average, about 10.92% of conventional hazard-unaware tests will fail to detect the targeted opens because of test invalidation - these are reliably detected by our new test generation methodology. Importantly, our approach can also be applied to improve the effectiveness of commercial cell aware tests.
Year
DOI
Venue
2017
10.23919/DATE.2017.7927027
DATE
Keywords
Field
DocType
waveform-accurate hazard-aware SAT-based TSOF ATPG,nanoscale technologies,VLSI designs intra-gate opens,circuit timing,test generation methods,waveform-accurate hazard-aware test generation,SAT-based encoding,NanGate cell library,hazard-unaware tests,commercial cell aware tests
Automatic test pattern generation,Logic gate,Computer science,Waveform,Real-time computing,Electronic circuit,Very-large-scale integration,Encoding (memory)
Conference
ISSN
ISBN
Citations 
1530-1591
978-1-5090-5826-6
0
PageRank 
References 
Authors
0.34
17
5
Name
Order
Citations
PageRank
Jan Burchard132.12
Dominik Erb2334.45
Adit Singh301.69
Sudhakar M. Reddy45747699.51
Bernd Becker585573.74