Courses Detail Information
VE578 – Computer-Aided Design Verification of Digital Systems
Credits: 3 credits
Pre-requisites: Ve478 Logic Circuit Synthesis
Degree Program: Electrical and Computer Engineering
Design specification vs. implementation. Design errors. Functional and temporal modeling of digital systems. Simulation vs. symbolic verification techniques. Functional verification of combinational and sequential circuits. Topological and functional path delays; path sensitization. Timing verification of combinational and sequential circuits. Clock schedule optimization.