书目名称 | Speichereffizienter Aufbau von binären Entscheidungsdiagrammen | 编辑 | Rune Krauss | 视频video | | 丛书名称 | BestMasters | 图书封面 |  | 描述 | 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.. | 出版日期 | Book 2023 | 关键词 | binäre Entscheidungsdiagramme; Logiksynthese; boolesche Funktionen; Verifikation; boolesche Algebra | 版次 | 1 | doi | https://doi.org/10.1007/978-3-658-43121-1 | isbn_softcover | 978-3-658-43120-4 | isbn_ebook | 978-3-658-43121-1Series ISSN 2625-3577 Series E-ISSN 2625-3615 | issn_series | 2625-3577 | copyright | Der/die Herausgeber bzw. der/die Autor(en), exklusiv lizenziert an Springer Fachmedien Wiesbaden Gmb |
The information of publication is updating
|
|