Combinational Equivalence Checking

Related Paper

Improvements to Combinational Equivalence Checking: ICCAD 2006

• main contributions:
  • use of fast logic synthesis
  • development of “intelligent simulation”
  • use of CNF-based SAT fot circuits