Improving SAT-based Combinational Equivalence Checking through circuit preprocessing


This paper presents a new implication tool (Vimplic) which can be used to improve SAT-based combinational equivalence checking. This tool quickly builds the implication graph of the miter circuit and traverse through it inferring implications among its nodes assignments. This set of implications and the miter circuit netlist are converted to conjunctive… (More)
DOI: 10.1109/ICCD.2008.4751838

6 Figures and Tables


  • Presentations referencing similar topics