HOME | CONTACT

Logo Universtity of Bremen
LOGO AGRA | AG Rechnerarchitektur



Group of Computer Architecture / AGRA | Computer Science | Faculty 03 | University of Bremen
Only available in German

Qualitätsorientierter Systementwurf
H | 03-IMAP-QSE

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 und Vorlesungsfolien sind in stud.ip zu finden.
Veranstalter:
Dr. Vladimir Herdt

Ort & Zeit:

Vorlesung: Mo von 16:00 - 18:00 MZH 1380
Übung: Mivon 08:00 - 10:00 MZH 1100



©2023 | Group of Computer Architecture | Contact | Legal & Data Privacy