Speichereffizienter Aufbau von binaren Entscheidungsdiagrammen EPUB

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