Homepage Sitemap Contact




Home « Studies « Teaching Materials
Sorry, only available in german.


Qualitätsorientierter Hardware-Entwurf (03-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.

Folgende Themenbereiche werden behandelt:

  • Entwurfsablauf
  • Hardware-Beschreibung durch VHDL
  • Verifikation
  • Formale Methoden
  • Graphenbasierte Funktionsdarstellung
  • Äquivalenzvergleich
  • Modellprüfung



 Entnehmen Sie Angaben bezügl. Ort und Zeit bitte der LV-Liste der Universität Bremen



[Folien (ausser Übungsblätter) nur aus dem Campusnetz erreichbar]


Praktische Aufgabe 1


ZIP PS

generiert am 20.05.2005
Praktische Aufgabe 2


ZIP PS

generiert am 20.06.2005
Übungsblatt 1



generiert am 23.04.2005
Übungsblatt 2



generiert am 10.05.2005
Übungsblatt 3



generiert am 31.05.2005
Übungsblatt 4



generiert am 15.06.2005


  Zur Liste der Lehrveranstaltungen der Universität Bremen




zurück





Deutsch








Sitemap Kontakt

ISMVL2014 DUHDE