A logic verifier based on Boolean comparison.

Gotaro Odawara, Masahiro Tomita, Osamu Okuzawa, Tomomichi Ohta, Zhen-quan Zhuang

Browse the full DAC paper archive.