Bi-decomposition of function sets using multi-valued logic

Abstract

Logiksynthese für neue Schaltungstechniken und Data Mining sind zwei Anwendungsgebiete für die Synthese von Funktionen in mehrwertiger Logik. Bi-De- komposition ist eine Methode der Logiksynthese, bei der die gegebene Funktion in zwei einfachere Teilfunktionen zerlegt wird. In dieser Arbeit werden Algorithmen zur Darstellung und Bi-Dekomposition von Funktionsmengen in mehrwertiger Logik entwickelt. Als Ergebnis der Implementierung dieser Algorithmen ist das modulare Programmsystem YADE entstanden, das mehrwertige Funktionsmengen in ein Netzwerk von mehrwertigen Gattern dekomponiert. Vergleiche mit anderen Dekomposern zeigen, dass durch Bi-Dekomposition erzeugte Gatternetzwerke eine geringere Komplexität aufweisen.