Speichereffizienter Aufbau von binren Entscheidungsdiagrammen

Aufgrund der steigenden Komplexitt von Hardwaresystemen besteht die Notwendigkeit, effizientere Datenstrukturen und darauf operierende Algorithmen zu entwickeln, um weiterhin das korrekte Verhalten solcher Systeme zu garantieren. Ein binres Entscheidungsdiagramm ist eine geeignete Datenstruktur, da sie eine kompakte Reprsentation boolescher Funktionen und effiziente Algorithmen zur Manipulation dieser bietet. Allerdings haben Entscheidungsdiagramme auch Herausforderungen zu bewltigen: Die Praktikabilitt hngt von deren Minimierung ab und es besteht ein groer Speicherbedarf fr einige komplexe Funktionen. Dieses Buch prsentiert Anstze, in denen boolesche Normalformen unter Ordnungsdefinitionen und Gesetzen der booleschen Algebra mit dem Ziel angeordnet werden, die Anzahl an Zwischenberechnungen zum Aufbau binrer 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.