{"id":{"repo_id":"freiburg-diss","oai_identifier":"oai:freidok.uni-freiburg.de:423"},"canonical_url":"https://search.dev.ndltd.org/etd/freiburg-diss/oai:freidok.uni-freiburg.de:423","repository":{"repo_id":"freiburg-diss","name":"University of Freiburg","base_url":"https://freidok.uni-freiburg.de/oai/oai2.php"},"display":{"title":"Binäre Expression-Diagramme","abstract":"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.","abstract_html":"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.","abstract_has_math":false,"creators":["Hett, Andreas"],"institution":null,"degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":["Becker, Bernd"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":null,"date_issued":"","date_published":null,"updated_at":"2026-07-24T02:21:41Z","subjects":["BDD, Logic-level synthesis","Verification","CAD"],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://freidok.uni-freiburg.de/data/423","outbound_label":"Repository record","outbound_source":"source_url"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Becker, Bernd"]},{"key":"dc:creator","label":"Author","values":["Hett, Andreas"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:type","label":"Dc Type","values":["DoctoralThesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["BDD, Logic-level synthesis","Verification","CAD"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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.","Due to a continuous requirement of performance increases in modern circuits there exists the necessity of permanently improving data structures as well as thereupon operating algorithms in order to handle the ascending complexities. This work introduces theory and implementation aspects of binary expression diagrams (BEDs), an advancement of the popular binary decision diagrams (BDDs), applied in the field of logic-level synthesis and verification in the computer system design process."]},{"key":"dc:format.medium","label":"Dc Format Medium","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Binäre Expression-Diagramme","Binary expression-diagrams"]}]}],"canonical_facts":{"dc:contributor":["Becker, Bernd"],"dc:creator":["Hett, Andreas"],"dc:description.abstract":["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.","Due to a continuous requirement of performance increases in modern circuits there exists the necessity of permanently improving data structures as well as thereupon operating algorithms in order to handle the ascending complexities. This work introduces theory and implementation aspects of binary expression diagrams (BEDs), an advancement of the popular binary decision diagrams (BDDs), applied in the field of logic-level synthesis and verification in the computer system design process."],"dc:format.medium":["application/pdf"],"dc:subject":["BDD, Logic-level synthesis","Verification","CAD"],"dc:title":["Binäre Expression-Diagramme","Binary expression-diagrams"],"dc:type":["DoctoralThesis"]},"updated_at":"2026-07-24T02:21:41Z"}