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

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

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

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

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

Notes: Web address: Recognition for all slides must be maintained http://www.cse.psu.edu/~vijay/verify/instructors.html Recognition for all slides must be maintained