HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen
Qualitätsorientierter Hardware-Entwurf (03-701.03)
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

Veranstalter:
Prof. Dr. Rolf Drechsler

Ort & Zeit:
Vorlesung, Mo von 10:00 - 12:00 MZH 6240
Übung, Di von 10:00 - 12:00 MZH 4194


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz