ber die multi-level Synthese von EXOR-Schaltkreisen

Diplomarbeit aus dem Jahr 1996 im Fachbereich Informatik - Sonstiges, Note: 2,0, Johann Wolfgang Goethe-Universitt Frankfurt am Main (Unbekannt), Sprache: Deutsch, Abstract: Inhaltsangabe:Zusammenfassung:
In dieser Arbeit wurde ein neues Verfahren zur Synthese kombinatorischer Schaltkreise auf der Grundlage von OKFDDs vorgestellt. Die durch OKFDDs reprsentierten Funktionen wurden mit Hilfe von Abhngigkeitsmatrizen dargestellt. Die Definition der Abhngigkeiten verlangt eine neue kanonische Darstellung fr OKFDDs, quasireduzierte und bezglich einer BMM -- Reihenfolge partiell quasireduzierte OKFDDs. Deren Kanonizitt wurde in dieser Arbeit nachgewiesen.
Die einzelnen Abhngigkeitsmatrizen werden mit Booleschen Matrix Multiplikationen verknpft. Diese Boolschen Matrix Multiplikationen werden dann in Teilschaltkreise umgesetzt. Dabei hat die Reihefolge, in der die Booleschen Matrix Multiplikationen ausgefhrt werden, Einfluss auf die Schaltkreisdimensionen.
Unser Verfahren zur Schalkreissynthese liefert ohne groen Mehraufwand fr OBDDs Schaltkreise in Zwei -- Weg Logik. Fr OKFDDs wurden Aussagen ber die Funktionalitt der zustzlichen Ausgnge getroffen.
Praktische Untersuchungen ergaben, da Schaltkreise mit geringer Tiefe, guter Testbarkeit und einem vertretbaren Zuwachs an Gre erzeugt werden knnen. Die erzeugten Schaltkreise wurden mit den von anderen Verfahren erzeugten Schaltkreisen verglichen. Sie sind etwas grer als die von SIS erzeugten Schaltkreise aber deutlich kleiner als die von ESPRESSO erzeugten Schaltkreise. Die Tiefe der erzeugten Schaltkreise ist sehr viel kleiner als die Tiefe der mit SIS erzeugten Schaltkreise, sie ist sogar etwas kleiner als die Tiefe der mit ESPRESSO erzeugten Schaltkreise. Die Testbarkeit der erzeugten Schaltkreise ist vergleichbar mit der Testbarkeit der von SIS erzeugten Schaltkreise.
Ein weiterer groer Vorteil ergibt sich durch die zugrundeliegende Datenstruktur, denn es konnte fr alle Benchmark Schaltkreise ein