Skip to main content

2003 | OriginalPaper | Buchkapitel

Functional Comparison of Logic Designs for VLSI Circuits

verfasst von : C. Leonard Berman, Louise H. Trevillyan

Erschienen in: The Best of ICCAD

Verlag: Springer US

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Determining whether or not two circuits are functionally equivalent is of fundamental importance in many phases of the design of computer logic. We describe a new method for circuit equivalence which proceeds by reducing the question of whether two circuits are equivalent to a number of more easily answered questions concerning the equivalence of smaller, related circuits. This method can be used to extend the power of any given equivalence-checking algorithm. We report the results of experiments evaluating our technique.

Metadaten
Titel
Functional Comparison of Logic Designs for VLSI Circuits
verfasst von
C. Leonard Berman
Louise H. Trevillyan
Copyright-Jahr
2003
Verlag
Springer US
DOI
https://doi.org/10.1007/978-1-4615-0292-0_3

Neuer Inhalt