Formal verification of combinational circuits (1997)

by Jawahar Jain, Amit Narayan, Masahiro Fujita, Alberto Sangiovanni-Vincentelli
Venue:In International Conference on VLSI Design