1. Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -1- Functional Verification of Hardware Designs EE764 – Functional Verification of Hardware Designs Course Topic Objectives Learn to use verification tools and experiment on actual circuits designed in industry (or equal to) Learn to plan & carry out effective functional verification of a design Learn to work in teams to debug designs Both code and debug HDL design code

2. Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -2- Functional Verification of Hardware Designs (cont) By the end of the course the student will have Verified several examples provided by the instructor (some may come from industry) Have an understanding of why verification is important Have an understanding of the level of complexity present in the verification of modern microcircuits

3. Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -3- Grading/Project Projects - Project 1 – Floating Point Adder - Project 2/3 – Testing of a package for injected error testing and a design that uses it. - Students will work on projects 1, 2 in a group of four. Project 1 is due 2 weeks from when assigned. - Project 2 due date will be posted. - Project 3 – Fault tolerant circuit example which will include combinational and possibly sequential components.

4. Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -4- History 101 VHDL 1 st standardized in 1987 by IEEE VHDL about to be standardized again and will include many new aspects, several aimed specifically aimed toward verification (PSL) Verilog 1 st standardized in 1995 by IEEE Hardware Description Languages were the beginning of several new advances in chip and system design Simulation of chips and systems Synthesis of digital hardware Verification

5. Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -5- History continued 1990 focus – Does chip work at all? 2000 focus – Does chip work in the system environment as specified? Today – more efficient verification than in 2000.

6. Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -6- Level of complexity problem From www.chipexpress.com Note that this was a 2003 chart!!! There has been no slowdown in fielded systems. 10 core Xeon 2,600,000,000 Transistors On a 512 mm2 Die in a 32nm Process ~400,000,000 gates

7. Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -7- Today’s design issue Gate counts and system complexity growing exponentially Bulk of time in design of an new IC is spent on verification In most companies there is at least a 1-to-1 ratio of design engineers to verification engineers. Real problem is not how to create the 12 Billion (or more) gate IC but how to verify it.

8. Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -8- What is verification? Verification is not a testbench or a series of testbenches. Verification is a process used to demonstrate the functional correctness of a design. It is the act of ensuring that the logic design conforms to the specifications. Verification does not insure that the specification is correct. (Next real advance in design will likely be specification languages!)

9. Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -9- Testbenches VHDL (and Verilog) testbenches refer to the code used to create an input sequence to the design under test (DUT) and optionally observe the response. In project step testbenches do both and the error signal indicates that the results do not equal what is expected.

10. Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -10- Verification testbenches In verification the testbench provides the inputs and monitors the outputs. The challenge of verification is to determine what input patterns to supply and what is the expected output of a properly working design

11. Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -11- EE762 testbenches The testbenches used in EE762 check the essentials of basic correct operation and are less than a typical verification testbench. The goal of the EE762 testbenches is to catch typical mistakes, check the operation in central and corner cases, and provide feedback to the student (the error signal). They are somewhat less than a testbench to be used for production of an IC.

12. Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -12- Verification Cycle Develop Environment Debug Design Regression RIT Hardware Debug Escape Analysis Create Testplan DESIGN

13. Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -13- Verification Testplan Schedule Required tools Input and completion criteria Specific tests What is expected to be found with each test What’s not covered by the tests

14. Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -14- Other parts of cycle RIT – stands for Release Interface Tape RIT is sending the design to the chip fab. Chip is fabricated and then IC is tested. Escape Analysis – Fully understand any bugs in fabricated part. A critical part of the IC verification process Reproduce in simulation if possible Lack of ability to reproduce means fix cannot be verified Could misunderstand the bug

15. Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -15- Todays Work Form into your group of four Assignment will be covered. Verification of a Floating Point Adder. Behavioral and synthesis model provided.