Inhaltsangabe: Zusammenfassung: In dieser Arbeit wurde ein neues Verfahren zur Synthese kombinatorischer Schaltkreise auf der Grundlage von OKFDDs vorgestellt. Die durch OKFDDs repr sentierten Funktionen wurden mit Hilfe von Abh ngigkeitsmatrizen dargestellt. Die Definition der Abh ngigkeiten verlangt eine neue kanonische Darstellung f r OKFDDs, quasireduzierte und bez glich einer BMM -- Reihenfolge partiell quasireduzierte OKFDDs. Deren Kanonizit t wurde in dieser Arbeit nachgewiesen. Die einzelnen Abh ngigkeitsmatrizen werden mit Booleschen Matrix Multiplikationen verkn pft. Diese Boolschen Matrix Multiplikationen werden dann in Teilschaltkreise umgesetzt. Dabei hat die Reihefolge, in der die Booleschen Matrix Multiplikationen ausgef hrt werden, Einfluss auf die Schaltkreisdimensionen. Unser Verfahren zur Schalkreissynthese liefert ohne gro en Mehraufwand f r OBDDs Schaltkreise in Zwei -- Weg Logik. F r OKFDDs wurden Aussagen ber die Funktionalit t der zus tzlichen Ausg nge getroffen. Praktische Untersuchungen ergaben, da Schaltkreise mit geringer Tiefe, guter Testbarkeit und einem vertretbaren Zuwachs an Gr e erzeugt werden k nnen. Die erzeugten Schaltkreise wurden mit den von anderen Verfahren erzeugten Schaltkreisen verglichen. Sie sind etwas gr er 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 gro er Vorteil ergibt sich durch die zugrundeliegende Datenstruktur, denn es konnte f r alle Benchmark Schaltkreise ein OKFDD gefunden werden und daraus ein Schaltkreis synthetisiert werden. SIS und ESPRESSO f hrten f r einige Benchmark Schaltkreise zu keinen Ergebnissen. Aufgrund der bis