This lecture provides an introduction to formal verification/model checking using
IBM's Rulebase tool.
Five Verification Challenges
Methods for Checking Simulation Correctness
Formal Verification - Introduction
Univ. of Pittsburgh Lecture Material
Introduction to Specman
e Basics
Using Specman and e
Verification Techniques for Macroblocks
Penn State Lecture/Exam Material
Slides for Chap 2 from Janick's book - Combines
material from NC state/IBM/Ohio State lectures for this chapter. Also has more information on
Linting tools.
Exam 1 (solutions available on request)
NC State University Lecture/Exam Material
Slides for Chapter 1 from Janick's Book
Slides for Chapter 2 from Janick's Book
Slides for Chapter 3 from Janick's Book
Slides for Chapter 4 from Janick's Book
Slides for Chapter 5 from Janick's Book
Slides for Chapter 6 from Janick's Book
Slides for Chapter 7 from Janick's Book
Exam 1 (solutions available on request)
Exam 2 (solutions available on request)
NC State University Lecture - Video
Click here for Realvideo Lectures
Ohio State University Lecture Material
Contacts:
Dr. JoAnne DeGroat and
Dr. Fusun Ozguner
OSU Lecture 5 on Verification Tools
OSU Lecture 6 on Writing Tests
OSU Lecture 7 on Verification Plans
OSU Lecture 7 on Verification Strategies
