Efficient equivalence checking with partitions and hierarchical cut-points

Previous results show that both flat and hierarchical methodologies present obstacles to effectively completing combinational equivalence checking. A new approach that combines the benefits while effectively dealing with the pitfallsofbothstylesofequivalencecheckingispresented. Categories and Subject Descriptors B.5.2[DesignAids]:Verification General Terms:Design,Verification

• Type: Conference
• Year: 2004
• Where: DAC
• Authors: Demos Anastasakis, Lisa McIlwain, Slawomir Pilarski
• Keywords: Combinational Equivalence Checking, DAC 2004, Design Automation, Methodologies Present Obstacles, Subject Descriptors B.5.2[DesignAids]:Verification