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" |