This course covers the verification process used in validating the functional correctness in today's complex Application Specific Integrated Circuits (ASICs). Provides the students with real-world verification problems to allow them to apply what they learn.