EXOR-basierte Logiksynthese mit Kronecker Functional Decision Diagrams
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.
Networked Digital Library of Theses and Dissertations