A Survey of Techniques for Formal Verification of Combinational Circuits.

Jawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli

Browse the full ICCD paper archive.