Qualitätsorientierter Hardware-Entwurf 03-05-H-701.03
Veranstalter: Dr. Görschwin Fey 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/Validierung
- Formale Methoden
- Boolesche Beweismethoden
- Modellprüfung
- Äquivalenzvergleich
Weiteres Material:
Ort & Zeit: Di von 10:00 - 12:00 MZH 8090 |