HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen
Qualitätsorientierter Systementwurf
H | 03-MB-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. Die Veranstaltung steht Studierenden der Studiengänge Informatik und Systems Engineering offen.

Folgende Themenbereiche werden behandelt:
  • Entwurfsablauf
  • Hardware-Beschreibung durch VHDL
  • Verifikation/Validierung
  • Formale Methoden
  • Boolesche Beweismethoden
  • Modellprüfung
  • Äquivalenzvergleich

Weiteres Material:
Veranstalter:
Prof. Dr. Görschwin Fey, Dipl.-Ing. Heinz Riener

Ort & Zeit:

Vorlesung Montagvon 10:00 - 12:00, GW1 B 2130
Übung Mittwochvon 14:00 - 16:00, MZH 1450



©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz