Advanced Design Verification of Digital Systems

Catalog description

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.