HOME | CONTACT

Logo Universtity of Bremen
LOGO AGRA | AG Rechnerarchitektur



Group of Computer Architecture / AGRA | Computer Science | Faculty 03 | University of Bremen
Only available in German

Qualitätsorientierter Hardware-Entwurf (03-701.03)
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 | Group of Computer Architecture | Contact | Legal & Data Privacy