SpringerLink
Log in

Speichereffizienter Aufbau von binären Entscheidungsdiagrammen

  • Book
  • © 2023

Overview

Authors:
  1. Rune Krauss

    1. Bremen, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: BestMasters (BEST)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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

Keywords

Table of contents (6 chapters)

  1. Front Matter

    Pages I-XVII
    Download chapter PDF

  2. Einleitung

    • Rune Krauss
    Pages 1-6

  3. Grundlagen

    • Rune Krauss
    Pages 7-76

  4. Master BDD (MBDD)

    • Rune Krauss
    Pages 77-115

  5. Ausnutzung von Ordnungseigenschaften

    • Rune Krauss
    Pages 117-133

  6. Performanzevaluation

    • Rune Krauss
    Pages 135-145

  7. Zusammenfassung und Ausblick

    • Rune Krauss
    Pages 147-153

  8. Back Matter

    Pages 155-165
    Download chapter PDF
Back to top

Authors and Affiliations

  • Bremen, Deutschland

    Rune Krauss

About the author

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.

Bibliographic Information

  • Book Title: Speichereffizienter Aufbau von binären Entscheidungsdiagrammen

  • Authors: Rune Krauss

  • Series Title: BestMasters

  • DOI: https://doi.org/10.1007/978-3-658-43121-1

  • Publisher: Springer Vieweg Wiesbaden

  • eBook Packages: Computer Science and Engineering (German Language)

  • Copyright Information: Der/die Herausgeber bzw. der/die Autor(en), exklusiv lizenziert an Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature 2023

  • Softcover ISBN: 978-3-658-43120-4Published: 24 November 2023

  • eBook ISBN: 978-3-658-43121-1Published: 23 November 2023

  • Series ISSN: 2625-3577

  • Series E-ISSN: 2625-3615

  • Edition Number: 1

  • Number of Pages: XVII, 165

  • Number of Illustrations: 46 b/w illustrations

  • Topics: Arithmetic and Logic Structures

Publish with us

Policies and ethics

Back to top

Search

Navigation