Heutzutage streben die Entwickler digitaler Logikschaltungen eine möglichst hohe Genauigkeit der entworfenen Schaltungen bei möglichst geringem Zeit- und schließlich auch Arbeitsaufwand an. Die Überwindung all dieser Einschränkungen kann mit herkömmlichen Ansätzen nicht erreicht werden, selbst wenn Karnaugh-Diagramme verwendet werden, insbesondere wenn mehr als 4 Eingangsvariablen verwendet werden. Das größte Problem, mit dem die Entwickler konfrontiert sind, besteht darin, auszuwählen, welche und wie die optimale(n) Lösung(en) möglich sind, wobei die Reihenfolge der Variablen berücksichtigt wird, um zu entscheiden, wie viele äquivalente digitale Logikschaltungen aus der ursprünglichen extrahiert werden können. Dieses Buch basiert auf dem Ansatz des binären Entscheidungsdiagramms, das verwendet wird, um eine Reihe von Eingangsvariablen symbolisch darzustellen. Es wird hauptsächlich im Bereich der formalen Überprüfung eingesetzt. Die Anordnung der Variablen ist ein sehr wichtiger Schritt im Optimierungsprozess des binären Entscheidungsdiagramms. Eine gute Anordnung der Variablen reduziert die Größe eines binären Entscheidungsdiagramms erheblich. Wir hoffen, dass Ihnen die Lektüre der Ergebnisse unserer Bemühungen gefallen wird und dass dieses Buch Ihnen dabei helfen wird, einen allgemeinen Überblick über binäre Entscheidungsdiagramme zu erhalten.