Schaltkreisentwurf
H |
Die Vorlesung beschreibt den Entwurf digitaler System von der Spezifikation auf abstrakter Verhaltensebene bis hin zur Abbildung auf eine Zieltechnologie. Dabei wird besonderes Gewicht auf die Algorithmen gelegt, die modernen CAD-Systemen für den Hardware-Entwurf zugrunde liegen.
Folgende Themenbereiche werden behandelt:
- Hardware-Modellierung und Syntheseproblem
- Entwurfsstile für integrierte Schaltungen
- High-Level-Synthese
- Logiksynthese (zwei- und mehrstufig)
- Technologieabbildung
Literatur:
- G.Hachtel, F. Somenzi: Logic Synthesis and Verifications
Algorithms, Kluwer Academic Publishers 1996, ISBN 0-7923-9746-0
- G. DeMicheli: Synthesis and Optimization of Digital Circuits,
McGraw-Hill, 1994, ISBN 0-07-016333-2
- P. Molitor, C. Scholl: Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen,
B.G. Teubner Stuttgart, 1999, ISBN 3-519-02945-6
