Monday Tutorials
Tuesday Sessions
Wednesday Sessions
Keynote Address
Panel Sessions
Speakers/Presenters
Monday, March 1, 2004
8:00 AM - 12:00 PM
Tutorial 1 • Architecting Coverage Based Verification Flows
Presenters: Ahmed Shahid - SiConcepts, Fremont, CA
Co-Authors: Faisal Haque - Cicso Systems, Fremont, CA

This 3 hour tutorial teaches the student about a coverage based verification flow and the role of coverage in verifying complex designs.

This tutorial teaches the basic testbench model and then shows how coverage can be integrated into the testbench. It shows how controlled randomization can target particular design areas and illustrates how randomization can be further constrained, based on collected coverage data, to hit specific coverage goals. This powerful technique enables verification engineers to write coverage-goal oriented tests, immune to certain design changes.

This course teaches the student how to identify coverage points and how to track coverage points. It then takes the student through an example that illustrates how to measure coverage using Vera or e’s build in functional coverage facilities.

It also talks about the role of assertions in measuring coverage.