Qualitätsorientierter Hardware-Entwurf
H |
Die Vorlesung gibt eine Einführung in den computergestützten Schaltkreisentwurf unter besonderer Berücksichtigung von Qualitätsaspekten. Zunächst werden Entwurfsmethoden auf der Basis von Hardware-Beschreibungssprachen beschrieben. Ein Schwerpunkt liegt in der Überprüfung der Korrektheit der entworfenen Schaltung unter Verwendung formaler Methoden.
Folgende Themenbereiche werden behandelt:
Entwurfsablauf
Hardware-Beschreibung durch VHDL
Verifikation
Formale Methoden
Graphenbasierte Funktionsdarstellung
Äquivalenzvergleich
Modellprüfung
