DAC 2002 Workshop on Teaching Verifcation - Online Resources
Slides
Welcome - Bruce Wile
Janick's talk - Verification book
Haque's talk - Verification book
Vijay's talk - Syllabus for UG coursee
Goss's talk - Lab mechanics
Wile's Calculator Labs
Levitan's talk - Lab management
Morley's talk - Testbench automation
Yaron's Talk - Formal verification