Logiksynthese
H | 03-05-H-701.53
Die Vorlesung beschreibt die Logiksynthese kombinatorischer Schaltungen, also die Transformation einer Booleschen Funktion in eine kostengünstige und effiziente Hardwarerealisierung. Dabei liegt
der Schwerpunkt auf effizienten Datenstrukturen und schnellen Algorithmen, die aufgrund der Komplexität der Schaltfunktionen benötigt werden.
Folgende Themenbereiche werden behandelt:
- Boolesche Algebra
- Logische Netzwerke und Entscheidungsgraphen
- Effiziente OBDD Strukturen und Algorithmen
- Zweistufige Logikminimierung
- Funktionale Dekomposition Boolescher Funktionen
- EXOR Logik
- Reversible Logik
Literatur:
- Switching Theory for Logic Synthesis, Tsutomu Sasao, Kluwer Academic Press, 1999.
- Datenstrukturen und effiziente Algorithmen für die
Logiksynthese kombinatorischer Schaltungen, Paul Molitor und Christoph Scholl, B. G. Teubner, Stuttgart / Leipzig 1999.
