Verschiedene Shannon-Zerlegungen und deren Leistungsfähigkeit in Benchmarks

Die Arbeit untersucht die Anwendung der rekursiven Shannon-Zerlegung zur Minimierung boolscher Funktionen, unterstützt durch Reduktionsschritte wie die Extraktion doppelter und überdeckter Terme. Ziel ist es, einfache Formelausdrücke oder Decision Diagrams zu erzeugen, die auf minimaler Chip-Fläche realisierbar sind. Heuristiken geben Hinweise zur optimalen Auswahl der Eingabevariablen für die nächste Zerlegung. Obwohl heuristische Verfahren geringere Reduktionsgrade erreichen als exakte Methoden, bieten sie schnellere Lösungen, was besonders bei vielen Eingabevariablen von Vorteil ist. Benchmarks analysieren die Einsparungen und Rechenzeiten.