Automatic test-generation and test-verification of digital systems.

P. Verma, D. M. Selove, J. N. Tessier

Browse the full DAC paper archive.