Homepage Sitemap Contact




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


Qualitätsorientierter Hardware-Entwurf

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:



 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]


Programmieraufgaben



erstellt am 06.05.11
Übung 1



erstellt am 06.04.11
Übung 2



erstellt am 21.04.11
Übung 3



erstellt am 09.05.11
Übung 4



erstellt am 20.05.11
Übung 5



erstellt am 08.06.11
Übung 6



erstellt am 16.06.11


  Zur Liste der Lehrveranstaltungen der Universität Bremen




zurück





Deutsch








Sitemap Kontakt

ISMVL2014 DUHDE