| No. | Topic | Lecture Notes | Reading |
|---|---|---|---|
| INTRODUCTION | |||
| 1 | Course Outline & Introduction | lec01.pdf | Ch. 1 |
| 2 | Review of Graph Algorithms & Complexity | lec02.pdf | Ch. 3 |
| COMBINATIONAL CIRCUIT VERIFICATION | |||
| 3 | Containment Check | lec03.pdf | Ch. 5.2 |
| 4 | SAT-based Equivalence Checking | lec04.pdf | Extra Reading |
| 5 | Learning-based Equivalence Checking | lec05.pdf | Extra Reading |
| 6 | BDD-based Equivalence Checking | lec06.pdf | Ch. 6 |
| 7 | BDD-based Equivalence Checking II | lec07.pdf | Ch. 6 |
| 8 | BDD-based Equivalence Checking III | lec08.pdf | Extra Reading |
| 9 | Incremental Multi-Level Combinational Verification | lec09.pdf | Extra Reading |
| 10 | More Multi-Level Combinational Verification | lec10.pdf | Extra Reading |
| SEQUENTIAL CIRCUIT VERIFICATION | |||
| 11 | Sequential Logic Verification Using BDDs I | lec11.pdf | Ch. 7.1 - 7.7 |
| 12 | Sequential Logic Verification Using BDDs II | lec12.pdf | Ch. 7.8 - 7.11 |
| 13 | Incremental Sequential Verification | lec13.pdf | Extra Reading |
| 14 | Advanced Sequential Verification | lec14.pdf | Extra Reading |
| 15 | RTL To Gate Verification | lec15.pdf | Extra Reading |
| PROPERTY-BASED VERIFICATION | |||
| 16 | Computational Tree Logic & MC Formulation | lec16.pdf | Extra Reading |
| 17 | Unbounded Symbolic Model Checking | lec17.pdf | Extra Reading |
| 18 | More Model Checking (Unbounded and Bounded) | lec18.pdf | Extra Reading |
| SIMULATION-BASED VERIFICATION | |||
| 19 | Error-Directed Simulation Based Verification | lec19.pdf | Extra Reading |
| 20 | Coverage-Directed Simulation Based Verification | lec20.pdf | Extra Reading |
| 21 | Coverage-Directed Simulation Based Verification II | lec21.pdf | Extra Reading |
| 22 | Architectural Level Verification | lec22.pdf | Extra Reading |
| DESIGN ERROR DIAGNOSIS | |||
| 23 | Diagnosis I | lec23.pdf | Extra Reading |
| 24 | Diagnosis II | lec24.pdf | Extra Reading |
| EXAMS & PROJECT PRESENTATIONS | |||
| 25 | Exam I | ||
| 26 | Project Presentations | ||
| 27 | Exam II |