A formal design verification system based on an automated reasoning system.

Anthony S. Wojcik, Joseph Kljaich Jr., Nagendra C. E. Srinivas

Browse the full DAC paper archive.