Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Lehre « Lehrmaterial


Qualitätsorientierter Hardware-Entwurf 03-05-H-701.53

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
  • Formale Methoden
  • Boolesche Beweismethoden
  • Äquivalenzvergleich
  • Modellprüfung

Weiteres Material:


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


[Folien (außer Übungsblätter) nur aus dem Campusnetz erreichbar]


Programmieraufgabe

PDF


generiert am 03.05.07
Übungsblatt 1

PDF


generiert am 25.04.
Übungsblatt 2

PDF


generiert am 10.05.
Übungsblatt 3

PDF


generiert am 06.06.
Übungsblatt 4

PDF


generiert am 22.06.




zurück





English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt