Speichereffizienter Aufbau Von Binären Entscheidungsdiagrammen

​Aufgrund der steigenden Komplexit酹 von Hardwaresystemen besteht die Notwendigkeit, effizientere Datenstrukturen und darauf operierende Algorithmen zu entwickeln, um weiterhin das korrekte Verhalten solcher Systeme zu garantieren. Ein bin酺es Entscheidungsdiagramm ist eine geeignete Datenstruktur, da sie eine kompakte Repr酲entation boolescher Funktionen und effiziente Algorithmen zur Manipulation dieser bietet. Allerdings haben Entscheidungsdiagramme auch Herausforderungen zu bew鄟tigen: Die Praktikabilit酹 h鄚gt von deren Minimierung ab und es besteht ein gro er Speicherbedarf f einige komplexe Funktionen. Dieses Buch pr酲entiert Ans酹ze, in denen boolesche Normalformen unter Ordnungsdefinitionen und Gesetzen der booleschen Algebra mit dem Ziel angeordnet werden, die Anzahl an Zwischenberechnungen zum Aufbau bin酺er Entscheidungsdiagramme zu verringern und den Speicher- sowie Zeitbedarf zu reduzieren. Die Methoden werden in ein Softwarepaket integriert, um die Performanz anhand von Benchmark-Instanzen zu untersuchen und mit dem Stand der Forschung zu vergleichen.