This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.
Inhaltsangabe: Zusammenfassung: In dieser Arbeit wurde ein neues Verfahren zur Synthese kombinatorischer Schaltkreise auf der Grundlage von OKFDDs vorgestellt. Die durch OKFDDs reprasentierten Funktionen wurden mit Hilfe von Abhangigkeitsmatrizen dargestellt. Die Definition der Abhangigkeiten verlangt eine neue kanonische Darstellung fur OKFDDs, quasireduzierte und bezuglich einer BMM – Reihenfolge partiell quasireduzierte OKFDDs. Deren Kanonizitat wurde in dieser Arbeit nachgewiesen. Die einzelnen Abhangigkeitsmatrizen werden mit Booleschen Matrix Multiplikationen verknupft. Diese Boolschen Matrix Multiplikationen werden dann in Teilschaltkreise umgesetzt. Dabei hat die Reihefolge, in der die Booleschen Matrix Multiplikationen ausgefuhrt werden, Einfluss auf die Schaltkreisdimensionen. Unser Verfahren zur Schalkreissynthese liefert ohne grossen Mehraufwand fur OBDDs Schaltkreise in Zwei – Weg Logik. Fur OKFDDs wurden Aussagen uber die Funktionalitat der zusatzlichen Ausgange getroffen. Praktische Untersuchungen ergaben, dass Schaltkreise mit geringer Tiefe, guter Testbarkeit und einem vertretbaren Zuwachs an Groesse erzeugt werden koennen. Die erzeugten Schaltkreise wurden mit den von anderen Verfahren erzeugten Schaltkreisen verglichen. Sie sind etwas groesser 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 grosser Vorteil ergibt sich durch die zugrundeliegende Datenstruktur, denn es konnte fur alle Benchmark Schaltkreise ein OKFDD gefunden werden und daraus ein Schaltkreis synthetisiert werden. SIS und ESPRESSO fuhrten fur einige Benchmark Schaltkreise zu keinen Ergebnissen. Aufgrund der bis
