Blick ins Buch

Speichereffizienter Aufbau von binären Entscheidungsdiagrammen

Rune Krauss (Autor)

Buch | Softcover

XVII, 165 Seiten

2023 | 1. Aufl. 2023
Springer Fachmedien Wiesbaden GmbH (Verlag)
978-3-658-43120-4 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

Aufgrund der steigenden Komplexität von Hardwaresystemen besteht die Notwendigkeit, effizientere Datenstrukturen und darauf operierende Algorithmen zu entwickeln, um weiterhin das korrekte Verhalten solcher Systeme zu garantieren. Ein binäres Entscheidungsdiagramm ist eine geeignete Datenstruktur, da sie eine kompakte Repräsentation boolescher Funktionen und effiziente Algorithmen zur Manipulation dieser bietet. Allerdings haben Entscheidungsdiagramme auch Herausforderungen zu bewältigen: Die Praktikabilität hängt von deren Minimierung ab und es besteht ein großer Speicherbedarf für einige komplexe Funktionen. Dieses Buch präsentiert Ansätze, in denen boolesche Normalformen unter Ordnungsdefinitionen und Gesetzen der booleschen Algebra mit dem Ziel angeordnet werden, die Anzahl an Zwischenberechnungen zum Aufbau binärer 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.

lt;p>Der Autor

Rune Krauss ist wissenschaftlicher Mitarbeiter / Promotionsstudent an der Universität Bremen. Seine Forschungs- sowie Lehrschwerpunkte umfassen die Logiksynthese und formale Verifikation von Schaltungen. Die wesentlichen Ziele seiner Arbeit sind deren algorithmische Verbesserung und die Entwicklung neuartiger graphenbasierter Datenstrukturen zur Steigerung der Effizienz des rechnergestützten Entwurfs von integrierten Schaltkreisen in technischen Systemen.

einlitung.- grundlagen.- masterbdd ( m b d d ).- ausnutzung von ordnungseigenschaften.- performanz evaluation.- zusammenfassung und ausblick.- literatur.

Erscheinungsdatum	24.11.2023
Reihe/Serie	BestMasters
Zusatzinfo	XVII, 165 S. 46 Abb.
Verlagsort	Wiesbaden
Sprache	deutsch
Maße	148 x 210 mm
Gewicht	247 g
Themenwelt	Informatik ► Weitere Themen ► Hardware
Schlagworte	Binäre Entscheidungsdiagramme • Boolesche Algebra • Boolesche Funktionen • Logiksynthese • Verifikation
ISBN-10	3-658-43120-2 / 3658431202
ISBN-13	978-3-658-43120-4 / 9783658431204
Zustand	Neuware