SAT-Based Test Pattern Generation with Improved Dynamic Compaction

Alexander Czutro, Sudhakar M. Reddy, Ilia Polian, Bernd Becker. SAT-Based Test Pattern Generation with Improved Dynamic Compaction. In 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, Mumbai, India, January 5-9, 2014. pages 56-61, IEEE, 2014. [doi]

Abstract

Abstract is missing.