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 2025
Instructors
Meeting Patterns
Classes Start:
January 6, 2025
Classes End:
April 22, 2025
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
