1. Course Outline – Pittsburgh
Week 1: What is verification? (Chapt 1 of Janick's book; industry perspective)
Week 2: Hardware Functional Verification; review of Modelsim
Week 3: Verification tools; Coverage metrics (Chap 2 of Janick’s book)
Week 4: Behind the simulation engine – event and cycle simulation
Week 5: Introduction to Specman and e language basics – Verisity Tutorial
Week 6: Calc 1 Lab
Week 7: Verification plan – strategies/testcases/testbenches (Chap 3; VA)
Week 8: Calc 1 solution discussion + Calc 2 introduction
Week 9: More e language constructs
Week 10: Modeling structs;I/O blocks; data items– (VA)
Week 11: Calc 2 Solutions and Calc 3 discussion
Week 12: Modeling input relations/intervals/events – (VA)
Week 13: Calc 3 solutions + Introduction to Formal Verification + Lab 4
Week 14: Introduction to Rulebase/ Rulebase lab
Week 15: Rulebase lab

2. Student Feedback More quizzes/homework on “e” language
More time with labs especially “lab 3”
Work in groups on labs
Start earlier with Specman/e
Access to VA
Appreciate change from VHDL testbench to Specman environment (when doing lab 1 in dual form)
Appreciate change to rulebase from Specman
Labs were most interesting part
More time with Rulebase