SAT-based semiformal verification of hardware.

Sabih Agbaria, Dan Carmi, Orly Cohen, Dmitry Korchemny, Michael Lifshits, Alexander Nadel

Browse the full FMCAD paper archive.