Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter  |  Literatur
Materialien
Vorlesungsmaterial
Leistungsnachweis
Abschlusspruefung


Verifikation - Sommersemester 05

Übersicht


Beschreibung Studierende sollen die Grundfragen der formalen Verifikation im Unterschied zur reinen Simulation von Schaltungen und Systemen kennen lernen und davon ausgehend wichtige algorithmische Techniken kennen, anwenden und ggfs. an neue Bedürfnisse anpassen lernen.

Nach einem allgemeinen Überblick über das Gebiet des Hardware-Entwurfes werden wir uns auf das Gebiet der formalen Verifikation konzentrieren.
Verifikation beschäftigt sich (in vielen verschiedenen Ausprägungen) mit der Frage, wie die Korrektheit einer Schaltung bzw. eines Systems nachgewiesen werden kann. Dabei interessiert sowohl der Nachweis von Systemeigenschaften als auch die Übereinstimmung des Entwurfs im Vergleich zu einer gegebenen Spezifikation.
Es werden zunächst verschiedene existierende Basistechniken zur formalen Verifikation vorgestellt, wie z.B. Decision Diagrams und SAT-Solver. Darauf aufsetzend werden Ansätze zum Äquivalenzvergleich sowie zur Eigenschaftsprüfung beschrieben.
Kommentar Spezialvorlesung, wird ergänzt durch das Blockpraktikum "Computer Aided Engeneering"