An improved branch and bound algorithm for exact BDD minimization

Ordered binary decision diagrams (BDDs) are a data structure for efficient representation and manipulation of Boolean functions. They are frequently used in logic synthesis and formal verification. The size of the BDDs depends on a chosen variable ordering, i.e., the size may vary from linear to exp...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on computer-aided design of integrated circuits and systems Jg. 22; H. 12; S. 1657 - 1663
Hauptverfasser:	Ebendt, R., Gunther, W., Drechsler, R.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.12.2003 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	Binary decision diagrams Boolean functions Computer aided design Computer science Construction Costs Data structures Design engineering Formal verification Logic Logic synthesis Lower bounds Minimization methods Optimization Order disorder Representations Runtime Very large scale integration
ISSN:	0278-0070, 1937-4151
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!