Homepage
Sitemap
Kontakt




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


Qualitätsorientierter Hardware-Entwurf (03-701.03) 

Veranstalter: Prof. Dr. Rolf 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
  • Formale Methoden
  • Graphenbasierte Funktionsdarstellung
  • Äquivalenzvergleich
  • Modellprüfung


 Ort & Zeit:
Vorlesung, Mo von 10:00 - 12:00 MZH 6240
Übung, Di von 10:00 - 12:00 MZH 4194


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


Praktische Aufgabe 1

PDF

ZIP PS

generiert am 20.05.2005
Praktische Aufgabe 2

PDF

ZIP PS

generiert am 20.06.2005
Übungsblatt 1

PDF


generiert am 23.04.2005
Übungsblatt 2

PDF


generiert am 10.05.2005
Übungsblatt 3

PDF


generiert am 31.05.2005
Übungsblatt 4

PDF


generiert am 15.06.2005




zurück





English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt