2001 | OriginalPaper | Buchkapitel
BDD Minimization
verfasst von : Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller
Erschienen in: Spectral Techniques in VLSI CAD
Verlag: Springer US
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Binary Decision Diagrams (BDDs) are a powerful tool and are frequently used in many applications in VLSI CAD, such as logic synthesis and verification. However, these data structures are very sensitive to variable ordering and their resulting size often becomes intractable for practical implementation. Several techniques for variable (re-)ordering have been proposed. (For an overview see [43])