Training Course

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.

Download the Curriculum Package

We're Sorry!

There was an error with the page submission. Please try again.

Thank you, your information has been received.

Download the course here

First time signing up? Please be sure to confirm your opt-in with the email you'll receive shortly.

Field is required A valid email address is required
Field is required Invalid value or too long
Field is required Invalid value or too long
Field is required Invalid value or too long
Field is required Invalid value or too long
Field is required Invalid value or too long
Field is required Please add a valid phone number
Field is required Invalid value or too long

Notice: The curriculum package on this website may be downloaded and used for educational purposes only and not for commercial use. If you violate these terms and conditions, your access may be terminated immediately without notice, in addition to any other available remedies.

Field is required

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.