Synthesis of Finite State Machines, Fachbücher von Robert K. Brayton, Tiziano Villa, Timothy Kam

Das Buch "Synthesis of Finite State Machines: Logic Optimization" ist die zweite Monografie in einer Reihe, die sich mit der Synthese von Finite State Machines (FSMs) beschäftigt. Während der erste Band, "Synthesis of Finite State Machines: Functional Optimization", sich auf die funktionale Optimierung konzentriert, behandelt dieser Band die logische Optimierung. Die logische Optimierung umfasst Techniken zur Umwandlung einer symbolischen Beschreibung einer FSM in eine Hardware-Implementierung. Ein zentraler Aspekt ist die Zustandskodierung, die entscheidenden Einfluss auf die Fläche, Geschwindigkeit, Testbarkeit und den Energieverbrauch des realisierten Schaltkreises hat. Das Buch bietet eine umfassende Einführung in die relevanten Hintergründe und präsentiert sowohl alte als auch neue Ansätze zur Kodierung in der Logiksynthese. Es enthält auch bedeutende Ergebnisse zur symbolischen Minimierung und zur Überprüfung der Kodierbarkeit von Einschränkungen.