1. Teaching Functional Verification
Design Automation Conference
Sunday, June 9, 2002

2. Workshop Goals Share experiences in teaching functional verification
Initiate collaborative efforts to extend the teaching of functional verification
Expand Computer Engineering curriculums to include functional verification

3. Agenda Workshop Overview Textbook Overviews
Course Organization and Management
Lab Exercise Overview
Automated Testbench Concepts
Formal Verification and Rulebase

4. What Industry Has Found
There’s a science and methodology behind verification
Verification has a separate career path from logic and circuit design
The system and chip industry depends on functional verification

5. University Participation
Penn State, Pittsburgh and North Carolina State have completed full semester courses on functional verification
There’s now a foundation of resources for other university professors to build upon

7. Notes: Web address: Recognition for all slides must be maintained
Recognition for all slides must be maintained