Course Objectives:

(i) Students will learn to plan and carry out an effective functional verification of a design.
(ii) Students will learn to use verification tools and experiment on actual circuits designed in industry.
(iii) Student will learn to work in teams to debug designs.

Text:

Design verification with e, Samir Palnitkar, Prentice Hall

References:

• Writing Testbenches: Functional Verification of HDL Models, J. Bergeron, Kluwer Academic Publishers, 2000, ISBN 0-79233-7766-4
• A Designers Guide to VHDL, Peter Ashenden,

Homework and Lab assignments:

(on UNIX you may need to first save the PDF files to a directory and then launch Acrobat Reader by typing acroread followed by the PDF filename.)

• Specfication for Lab 1
• DUT Specification for Lab 2
• Lab 2 Assignment EXTENDED DEADLINE 10/29/2003 (15% will be deducted per pay for late lab)
• Lab 4 Assignment

COURSE CONTENTS

Lecture Number Date Lecture Title
1 8/25 Introduction, Course Overview, Industry Perspective
2 8/27 Verification Process/Cycle
3 9/3 Model Tech usage (User interface, waveform viewer) (Class held in UNIX Lab)
4 9/8 Lab 1 introduction, Testplans/Testcases/Testbenches
5 9/10 Driving Stimulus and simple checking (Line Delete example)
6 9/15 Simulation Engines
7 9/17 Lab1 Review/Solution Discussion …assignment: Escape Analysis
8 9/22 Random methodologies vs. Deterministic
9 9/24 Introduction to "e" /Verisity Tutorial
10 9/29 Continued "e" discussions and introduce Lab 2
11 10/1 Strategies for driving testcases
12 10/8 Strategies for checking
13 10/13 Mid-term Exam
14 10/15 Formal Verification introduction
15 10/20 Lab 2 Review/Solutions/Escape Analysis
16 10/22 Formal Verification Genbuf example (in class)
17 10/27 Formal Verification (lab…re-run Lab 1 using Rulebase)
18 10/29 Formal Verification
19 11/3 Formal Verification (Quiz/Exam)
20 11/5 Lab 3 (Course Project) Introduction, team assignments
21 11/10 Advanced Specman features
22 11/12 Coverage
23 11/17 Coverage Driven Feedback
24 11/19 Testcase Generation
25 11/24 Pervasive Function Verification
26 12/1 Case study (BHT)
27 12/3 How do you know when you're done?
28 12/8 (Tuesday!) Lab 3 Completion
29 12/10 Review/Solutions/Discussion
Final Exam

• Unix Tutorial
• Instruction to get Specman working
• Specman and e Tutorial and Instructions
• Rule Base User Guide

Handouts

	Calculator 1
	Calculator 2
	Model Sim Tutorial
	Model Sim Manual
	Specman Test
	Model Sim Instructions
	envs file for RuleBase
	template for router_env.e in Lab 2
	e code for Lab 4

Links to some relevant web sites

	On Line Demo of RuleBase
	RuleBase Home Page

Course Rules and General Comments:

Any disputed grade must be resolved within 7 days of the return of the graded item. Please check with the teaching assistant first and then with the instructor if needed.

You are responsible for all the course materials and all lecture contents unless specified otherwise by the instructor. If you miss a class, it is your responsibility to obtain assignments and other information given on that day.

All your coursework (homework, labs, project, and exams) is expected to be your own. Evidence indicating copying of work or other cooperation will be dealt with based on university academic conduct rules. General instructions such as assisting in problem interpretation, and giving of occasional hints on problem attack (i.e., the kind of help you would get from the instructor or a teaching assistant in the course!), however, are permitted. On the other hand, you are encouraged to form informal study groups to work out homework problems.

If you have questions on course materials, both the instructor and teaching assistant will be available for consultation. Please try to get answers before serious difficulties in your understanding of course material arise. In particular, it is much better to get your questions answered before an exam than after!

Save your graded labs, tests, and project report. I may ask for them in case of any grade discrepancy.