Binäre Expression-Diagramme

Durch die stetig steigenden Anforderungen an die Leistungsfähigkeit moderner Schaltungen besteht fortwährend die Notwendigkeit, immer effizientere Datenstrukturen und darauf operierende Algorithmen zur Beherrschung der steigenden Komplexitäten zu entwicklen. Die vorliegende Arbeit stellt Theorie und Praxis der binären Expression-Diagramme (BEDs), eine Weiterentwicklung der populären binären Entscheidungs-Diagramme (BDDs) vor, die im Bereich der Logiksynthese und Verifikation des Rechnerentwurfs ihre Anwendung finden.

Author dc:creator

• Hett, Andreas

Contributors dc:contributor

• Becker, Bernd

• BDD, Logic-level synthesis
• Verification
• CAD

Repository record source_url

https://freidok.uni-freiburg.de/data/423

OAI identifier oai:identifier

oai:freidok.uni-freiburg.de:423