HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen
Qualitätsorientierter Hardware-Entwurf
H |

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
Veranstalter:
Prof. Dr. Rolf Drechsler



©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz