Course Outline

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 Janicks 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 structsI/O blocks data
  items (VA)
• Week 11 Calc 2 Solutions and Calc 3 discussion
• Week 12 Modeling input relations/intervals/event
  s (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