{"id":{"repo_id":"freiburg-diss","oai_identifier":"oai:freidok.uni-freiburg.de:180"},"canonical_url":"https://search.dev.ndltd.org/etd/freiburg-diss/oai:freidok.uni-freiburg.de:180","repository":{"repo_id":"freiburg-diss","name":"University of Freiburg","base_url":"https://freidok.uni-freiburg.de/oai/oai2.php"},"display":{"title":"EXOR-basierte Logiksynthese mit Kronecker Functional Decision Diagrams","abstract":"In dieser Arbeit wird ein Syntheseverfahren zur Analyse der
Abhängigkeiten in KFDDs vorgestellt.
In KFDDs wird neben der Shannon Dekomposition auch die Davio
Dekomposition eingesetzt, die auf der EXOR-Operation basiert.
Daher wird die Verwendung von EXOR-Gattern in den
synthetisierten Schaltkreisen auf natürliche Weise impliziert.
Daneben wird eine Reihe von lokalen Vereinfachungen für die
Schaltkreisrealisierung vorgestellt, die
während der Synthese implizit durchgeführt werden können.
Dadurch wird die Größe weiter optimiert sowie
eine geringe Tiefe und damit eine geringe Verzögerungszeit
für den Schaltkreis erreicht.
Zusätzlich wird gezeigt, daß auch direkte Abhängigkeiten zwischen
Knoten aus nicht benachbarten Leveln
unmittelbar in der Schaltkreisrealisierung umgesetzt werden
können. Die für das verallgemeinerte Syntheseverfahren nötigen
Anforderungen an die Struktur des KFDDs können mit erheblich
weniger Knoten erfüllt werden.
Die Testbarkeit der synthetisierten Schaltkreise wird bzgl.
des stuck-at Fehlermodells untersucht. Durch Analyse der
Graphstruktur des verwendeten KFDDs kann erreicht werden,
daß in den erzeugten Schaltkreisen keine konstanten
Signale existieren. Für die so erzeugten Schaltkreise
wird gezeigt, daß sie vollständig testbar sind.
Dazu werden Verfahren vorgestellt, mit denen Testmuster für
alle stuck-at Fehler bereits während der Synthese bestimmt werden.
Die Anwendung von automatischer Testmustergenerierung für
die synthetisierten Schaltkreise ist somit nicht mehr
erforderlich.
Allerdings ist die Anzahl der erzeugten Testmuster sehr hoch,
so daß eine Kompaktierung der erzeugten Testmengen nötig wird.
Schließlich wird noch gezeigt, daß die Größe und Tiefe der
synthetisierten Schaltkreise durch Verschmelzen von
äquivalenten Gattern weiter reduziert werden kann.
Für die dabei erzeugten Schaltkreise kann die vollständige
Testbarkeit jedoch nur experimentell nachgewiesen werden.","abstract_html":"In dieser Arbeit wird ein Syntheseverfahren zur Analyse der <br>Abhängigkeiten in KFDDs vorgestellt. <br>In KFDDs wird neben der Shannon Dekomposition auch die Davio <br>Dekomposition eingesetzt, die auf der EXOR-Operation basiert. <br>Daher wird die Verwendung von EXOR-Gattern in den <br>synthetisierten Schaltkreisen auf natürliche Weise impliziert. <br> <br>Daneben wird eine Reihe von lokalen Vereinfachungen für die <br>Schaltkreisrealisierung vorgestellt, die <br>während der Synthese implizit durchgeführt werden können. <br>Dadurch wird die Größe weiter optimiert sowie <br>eine geringe Tiefe und damit eine geringe Verzögerungszeit <br>für den Schaltkreis erreicht. <br> <br>Zusätzlich wird gezeigt, daß auch direkte Abhängigkeiten zwischen <br>Knoten aus nicht benachbarten Leveln <br>unmittelbar in der Schaltkreisrealisierung umgesetzt werden <br>können. Die für das verallgemeinerte Syntheseverfahren nötigen <br>Anforderungen an die Struktur des KFDDs können mit erheblich <br>weniger Knoten erfüllt werden. <br> <br>Die Testbarkeit der synthetisierten Schaltkreise wird bzgl. <br>des stuck-at Fehlermodells untersucht. Durch Analyse der <br>Graphstruktur des verwendeten KFDDs kann erreicht werden, <br>daß in den erzeugten Schaltkreisen keine konstanten <br>Signale existieren. Für die so erzeugten Schaltkreise <br>wird gezeigt, daß sie vollständig testbar sind. <br>Dazu werden Verfahren vorgestellt, mit denen Testmuster für <br>alle stuck-at Fehler bereits während der Synthese bestimmt werden. <br>Die Anwendung von automatischer Testmustergenerierung für <br>die synthetisierten Schaltkreise ist somit nicht mehr <br>erforderlich. <br>Allerdings ist die Anzahl der erzeugten Testmuster sehr hoch, <br>so daß eine Kompaktierung der erzeugten Testmengen nötig wird. <br> <br>Schließlich wird noch gezeigt, daß die Größe und Tiefe der <br>synthetisierten Schaltkreise durch Verschmelzen von <br>äquivalenten Gattern weiter reduziert werden kann. <br>Für die dabei erzeugten Schaltkreise kann die vollständige <br>Testbarkeit jedoch nur experimentell nachgewiesen werden.","abstract_has_math":false,"creators":["Hengster, Harry"],"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:30Z","subjects":[],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://freidok.uni-freiburg.de/data/180","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":["Hengster, Harry"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:type","label":"Dc Type","values":["DoctoralThesis"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["In dieser Arbeit wird ein Syntheseverfahren zur Analyse der
Abhängigkeiten in KFDDs vorgestellt.
In KFDDs wird neben der Shannon Dekomposition auch die Davio
Dekomposition eingesetzt, die auf der EXOR-Operation basiert.
Daher wird die Verwendung von EXOR-Gattern in den
synthetisierten Schaltkreisen auf natürliche Weise impliziert.
Daneben wird eine Reihe von lokalen Vereinfachungen für die
Schaltkreisrealisierung vorgestellt, die
während der Synthese implizit durchgeführt werden können.
Dadurch wird die Größe weiter optimiert sowie
eine geringe Tiefe und damit eine geringe Verzögerungszeit
für den Schaltkreis erreicht.
Zusätzlich wird gezeigt, daß auch direkte Abhängigkeiten zwischen
Knoten aus nicht benachbarten Leveln
unmittelbar in der Schaltkreisrealisierung umgesetzt werden
können. Die für das verallgemeinerte Syntheseverfahren nötigen
Anforderungen an die Struktur des KFDDs können mit erheblich
weniger Knoten erfüllt werden.
Die Testbarkeit der synthetisierten Schaltkreise wird bzgl.
des stuck-at Fehlermodells untersucht. Durch Analyse der
Graphstruktur des verwendeten KFDDs kann erreicht werden,
daß in den erzeugten Schaltkreisen keine konstanten
Signale existieren. Für die so erzeugten Schaltkreise
wird gezeigt, daß sie vollständig testbar sind.
Dazu werden Verfahren vorgestellt, mit denen Testmuster für
alle stuck-at Fehler bereits während der Synthese bestimmt werden.
Die Anwendung von automatischer Testmustergenerierung für
die synthetisierten Schaltkreise ist somit nicht mehr
erforderlich.
Allerdings ist die Anzahl der erzeugten Testmuster sehr hoch,
so daß eine Kompaktierung der erzeugten Testmengen nötig wird.
Schließlich wird noch gezeigt, daß die Größe und Tiefe der
synthetisierten Schaltkreise durch Verschmelzen von
äquivalenten Gattern weiter reduziert werden kann.
Für die dabei erzeugten Schaltkreise kann die vollständige
Testbarkeit jedoch nur experimentell nachgewiesen werden."]},{"key":"dc:format.medium","label":"Dc Format Medium","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["EXOR-basierte Logiksynthese mit Kronecker Functional Decision Diagrams"]}]}],"canonical_facts":{"dc:contributor":["Becker, Bernd"],"dc:creator":["Hengster, Harry"],"dc:description.abstract":["In dieser Arbeit wird ein Syntheseverfahren zur Analyse der
Abhängigkeiten in KFDDs vorgestellt.
In KFDDs wird neben der Shannon Dekomposition auch die Davio
Dekomposition eingesetzt, die auf der EXOR-Operation basiert.
Daher wird die Verwendung von EXOR-Gattern in den
synthetisierten Schaltkreisen auf natürliche Weise impliziert.
Daneben wird eine Reihe von lokalen Vereinfachungen für die
Schaltkreisrealisierung vorgestellt, die
während der Synthese implizit durchgeführt werden können.
Dadurch wird die Größe weiter optimiert sowie
eine geringe Tiefe und damit eine geringe Verzögerungszeit
für den Schaltkreis erreicht.
Zusätzlich wird gezeigt, daß auch direkte Abhängigkeiten zwischen
Knoten aus nicht benachbarten Leveln
unmittelbar in der Schaltkreisrealisierung umgesetzt werden
können. Die für das verallgemeinerte Syntheseverfahren nötigen
Anforderungen an die Struktur des KFDDs können mit erheblich
weniger Knoten erfüllt werden.
Die Testbarkeit der synthetisierten Schaltkreise wird bzgl.
des stuck-at Fehlermodells untersucht. Durch Analyse der
Graphstruktur des verwendeten KFDDs kann erreicht werden,
daß in den erzeugten Schaltkreisen keine konstanten
Signale existieren. Für die so erzeugten Schaltkreise
wird gezeigt, daß sie vollständig testbar sind.
Dazu werden Verfahren vorgestellt, mit denen Testmuster für
alle stuck-at Fehler bereits während der Synthese bestimmt werden.
Die Anwendung von automatischer Testmustergenerierung für
die synthetisierten Schaltkreise ist somit nicht mehr
erforderlich.
Allerdings ist die Anzahl der erzeugten Testmuster sehr hoch,
so daß eine Kompaktierung der erzeugten Testmengen nötig wird.
Schließlich wird noch gezeigt, daß die Größe und Tiefe der
synthetisierten Schaltkreise durch Verschmelzen von
äquivalenten Gattern weiter reduziert werden kann.
Für die dabei erzeugten Schaltkreise kann die vollständige
Testbarkeit jedoch nur experimentell nachgewiesen werden."],"dc:format.medium":["application/pdf"],"dc:title":["EXOR-basierte Logiksynthese mit Kronecker Functional Decision Diagrams"],"dc:type":["DoctoralThesis"]},"updated_at":"2026-07-24T02:21:30Z"}