書目名稱 | Speichereffizienter Aufbau von bin?ren Entscheidungsdiagrammen |
編輯 | Rune Krauss |
視頻video | http://file.papertrans.cn/875/874079/874079.mp4 |
叢書名稱 | 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 |
關(guān)鍵詞 | 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 |