Speichereffizienter Aufbau von binären Entscheidungsdiagrammen - Rune Krauss

Blick ins Buch

Speichereffizienter Aufbau von binären Entscheidungsdiagrammen (eBook)

Rune Krauss (Autor)

eBook Download: PDF

2023 | 1. Aufl. 2023
XVII, 165 Seiten
Springer Fachmedien Wiesbaden (Verlag)
978-3-658-43121-1 (ISBN)

Lese- und Medienproben

Ebook-Leseprobe (PDF)

?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.

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.

Erscheint lt. Verlag	23.11.2023
Reihe/Serie	BestMasters
Reihe/Serie	BestMasters
Zusatzinfo	XVII, 165 S. 46 Abb.
Sprache	deutsch
Themenwelt	Mathematik / Informatik ► Informatik
Schlagworte	Binäre Entscheidungsdiagramme • Boolesche Algebra • Boolesche Funktionen • Logiksynthese • Verifikation
ISBN-10	3-658-43121-0 / 3658431210
ISBN-13	978-3-658-43121-1 / 9783658431211

Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?

PDF (Wasserzeichen)
Größe: 2,8 MB

DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Print-Ausgabe

Buch | Softcover

54,99 €