Homepage
Sitemap
Kontakt




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


Qualitätsorientierter Hardware-Entwurf 03-ME-701.03

Veranstalter: Dr. Görschwin Fey, Dr. Nicole Drechsler

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:


 Ort & Zeit:

V Divon 08:00 - 10:00 MZH 3150
Ü Dovon 10:00 - 12:00 MZH 3150



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


Programmieraufgaben

PDF


erstellt am 06.05.11
Übung 1

PDF


erstellt am 06.04.11
Übung 2

PDF


erstellt am 21.04.11
Übung 3

PDF


erstellt am 09.05.11
Übung 4

PDF


erstellt am 20.05.11
Übung 5

PDF


erstellt am 08.06.11
Übung 6

PDF


erstellt am 16.06.11




zurück





English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt