Sciweavers

Share
DAC
2004
ACM

Efficient equivalence checking with partitions and hierarchical cut-points

10 years 11 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)
books