Homepage
Sitemap
Kontakt




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


Qualitätsorientierter Hardware-Entwurf 

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



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



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






zurück





English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt