Accurate CEGAR-based ATPG in presence of unknown values for large industrial designs.

Karsten Scheibler, Dominik Erb, Bernd Becker

Browse the full DATE paper archive.