Combinational Equivalence Checking

Improvements to Combinational Equivalence Checking: ICCAD 2006