ECE 519
ECE 519 - Hardware Verification
Spring 2021
| Title | Rubric | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
|---|---|---|---|---|---|---|---|---|---|
| Hardware Verification | ECE519 | A1 | 73003 | PKG | 4 | 1100 - 1220 | T R | Shobha Vasudevan | |
| Hardware Verification | ECE519 | A1 | 73003 | PKG | 4 | - | Shobha Vasudevan |
See full schedule from Course Explorer
Official Description
This course teaches algorithms for verification that are applied to very large scale hardware in the chip design industry. The course teaches symbolic model checking, Binary decision diagrams (BDDs), satisfiability (SAT) based algorithms, symbolic simulation, coverage metrics for simulation, automatic assertion generation, analog circuit verification and post Silicon validation algorithms. The course teaches scalable search algorithms that can be applied to discrete and continuous space models. Course Information: Same as CS 585. 4 graduate hours. No professional credit.