Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen

More about the book

Datenstrukturen und effiziente Algorithmen sind entscheidend für den automatisierten Entwurf großer digitaler Schaltungen. In den letzten Jahren hat sich das Gebiet der Logiksynthese durch neue Technologien und die Entwicklung effizienter Datenstrukturen rasant weiterentwickelt. Das Buch präsentiert die heute verwendeten Datenstrukturen und Algorithmen der logischen Synthese kombinatorischer Schaltungen. Der erste Teil bietet eine anschauliche Einführung in die Grundlagen der Verbandstheorie und Booleschen Algebren sowie in die aktuellen Zielarchitekturen. Im zweiten Teil wird die traditionelle zweistufige logische Synthese behandelt, einschließlich exakter und heuristischer Methoden zur Berechnung von Minimalpolynomen. Nach einer detaillierten Darstellung binärer Entscheidungsgraphen (reduced ordered binary decision diagrams) wird die mehrstufige Logiksynthese behandelt, insbesondere die funktionale Dekomposition Boolescher Funktionen und algebraische Methoden, wie sie im SIS-Paket der UC Berkeley verwendet werden. Das Buch richtet sich an Studierende der Informatik und Elektrotechnik und legt großen Wert auf anschauliche Konzepte. Es verbindet theoretische Grundlagen mit Illustrationen, um ein vertieftes Verständnis zu fördern. Dozenten können Vorlesungsfolien (ca. 650 Stück) über E-Mail anfordern.