70 likes | 206 Views
Join us for a workshop focused on enhancing the teaching of functional verification. This event aims to share experiences, foster collaborative efforts, and broaden Computer Engineering curricula to include verification methodologies. We will cover key topics like textbook overviews, course organization, automated testbench concepts, and formal verification. Learn how industry findings shape educational practices and gain insights from institutions like Penn State and North Carolina State that have successfully implemented full semester courses.
E N D
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: http://www.cse.psu.edu/~vijay/verify/instructors.html • Recognition for all slides must be maintained