Conference proceeding
SAT-Based Test Pattern Generation with Improved Dynamic Compaction
2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, pp.56-61
01/2014
DOI: 10.1109/VLSID.2014.17
Abstract
During the last years, SAT-based ATPG has been proved to be a powerful complement of traditional structural approaches. It outperforms structural methods when applied to hard-to-detect faults, and it can be combined with advanced SAT solving techniques in order to compute provably optimal solutions to complex test generation problems with optimisation goals. However, one weakness of SAT-based ATPG methods is their relatively high pattern count, which results largely from the over specification of the generated patterns. In order to overcome this weakness, we present a dynamic compaction technique specifically designed to work with SAT-based ATPG. We systematically investigate the impact of a conflict limit parameter and of several fault list sorting strategies on both test compactness and run-time. Using the best parameter combination, our SAT-based algorithm was able to generate with feasible computational effort more compact test sets for ISCAS circuits than a commercial structural tool, and the pattern counts for industrial circuits were reduced significantly.
Details
- Title: Subtitle
- SAT-Based Test Pattern Generation with Improved Dynamic Compaction
- Creators
- Alexander Czutro - University of FreiburgSudhakar M Reddy - University of IowaIlia Polian - University of PassauBernd Becker - University of Freiburg
- Resource Type
- Conference proceeding
- Publication Details
- 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, pp.56-61
- Publisher
- IEEE
- DOI
- 10.1109/VLSID.2014.17
- ISSN
- 1063-9667
- eISSN
- 2380-6923
- Language
- English
- Date published
- 01/2014
- Academic Unit
- Electrical and Computer Engineering
- Record Identifier
- 9984197448302771
Metrics
2 Record Views