SAT-Based Test Pattern Generation with Improved Dynamic Compaction.

Alexander Czutro, Sudhakar M. Reddy, Ilia Polian, Bernd Becker

Browse the full VLSID paper archive.