Formal Verification of Combinational Circuit

Jawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli. Formal Verification of Combinational Circuit. In 10th International Conference on VLSI Design (VLSI Design 1997), 4-7 January 1997, Hyderabad, India. pages 218-225, IEEE Computer Society, 1997. [doi]

Abstract

Abstract is missing.