HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen
Qualitätsorientierter Hardware-Entwurf
H | 03-05-H-701.03

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:
Veranstalter:
Daniel Große

Ort & Zeit:
Vorlesung: Di von 10:00 - 12:00 MZH Kl. Senatssaal (1380)
Übungen: Mi von 13:00 - 15:00 MZH 7230



©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz