Emerging Functional Verification methods

Introduction to theory and techniques to shift digital circuit design verification to earlier stages of development. Topics include an introduction to:

• pre-silicon validation
• emulation
• formal verification
• system specification
• verification

A design project is an integral part of this course. Students will gain experience using different techniques used to validate modern digital designs. The course will cover theory and methodology followed by hands on experience with emulation (Veloce) and formal methods. The course material complements other ECE pre-silicon and post-silicon functional validation courses.