Design Verification

Textbook :

None

References :

Any related materials such as Digital Systems Testing and Testable Design, Digital Logic Testing and Simulation, and Logic Design and Simulation, etc.

Main Topics :

Design Methodology and CAD
Modeling and Model Generation
Logic Simulation
Formal Verification
Hardware Acceleration

Design Error Modeling and Simulation
Fault Modeling and Fault Simulation
Delay Testing
Iddq Testing
Memory Testing

Grading :

Final
Midterm
Project

40%
30%
30%

Materials :

Indexing

[Systems Testing |Design Verification| |C Programming]
[CAD |Design For Testability |Digital Logic Design |Computer Architecture ]