Course Description
This course covers the verification process used in validating the functional correctness in today's complex ASICs (application specific integrated circuits). Topics include the fundamentals of simulation based functional verification, stimulus generation, results checking, coverage, debug, and formal verification. Provides the students with real world verification problems to allow them to apply what they learn.
Spring 2026
Instructors
Meeting Patterns
Classes Start:
January 12, 2026
Classes End:
April 28, 2026
Location:
02124 Engineering Building 3
Class Days:
F
Class Start Time:
1:30pm
Class End Time:
4:15pm
Class Type:
Lecture
Credits:
3.00
Restrictions:
Restricted: ECE Graduate Students Only