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