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,...