— Advanced Design Verification of Digital Systems

Prerequisites & course information

Course Description: Design verification techniques for digital systems; simulation-based design verification techniques; formal verification techniques, including equivalence checking, model checking, and theorem proving; timing analysis and verification; application of design certification techniques to microprocessors. Learning Activities: Lecture 3 hour(s), Project 1 hour(s). Grade Mode: Letter. Learning Activities: Lecture 3 hour(s), Project 1 hour(s). Grade Mode: Letter.