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. Topics include: