Homepage Sitemap Contact




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


Qualitätsorientierter Systementwurf

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]


Lösung 1



Programmieraufgaben



Übungsblatt 1



Übungsblatt 2



Übungsblatt 3



Übungsblatt 4



Zähler in VHDL



Beispiellösung zur Aufgabe vom 24.04.2012


  Zur Liste der Lehrveranstaltungen der Universität Bremen




zurück





Deutsch








Sitemap Kontakt

ISMVL2014 DUHDE