Sciweavers

DAC
2004
ACM

Efficient equivalence checking with partitions and hierarchical cut-points

14 years 12 months ago
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
Demos Anastasakis, Lisa McIlwain, Slawomir Pilarsk
Added 13 Nov 2009
Updated 13 Nov 2009
Type Conference
Year 2004
Where DAC
Authors Demos Anastasakis, Lisa McIlwain, Slawomir Pilarski
Comments (0)