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.