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


Verifikation Digitaler Schaltungen / Verification of Digital Circuits - Sommersemester 2016

Material


Vorlesungsfolien

Kap. 00: Administratives
Kap. 01: Binäre Entscheidungsdiagramme
Kap. 02: SAT
Kap. 03: AIGs
Kap. 04: Strukturbasierte Methoden
Kap. 05a: Äquivalenzprüfung für sequentielle Schaltungen (Teil 1)
Kap. 05b: Äquivalenzprüfung für sequentielle Schaltungen (Teil 2)
Kap. 06: Symbolisches Model Checking
Kap. 07: Bounded Model Checking
Kap. 08. Unvollständige Schaltungen und Erweiterungen von SAT


Übungsblätter

Übungsblatt 1
Übungsblatt 2
Übungsblatt 3
Übungsblatt 4
Übungsblatt 5
Übungsblatt 6