Dieses Buch führt durch die theoretischen Grundlagen der Logik‑Synthese für endliche Zustandsautomaten, fokussiert auf lineare Zustandsketten und beleuchtet dabei aktuelle Algorithmen, neueste Forschungsergebnisse sowie offene Fragestellungen aus einer praxisorientierten Sicht.