Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -1- Functional Verification of Hardware Designs EE764 – Functional Verification of Hardware.

Slides:



Advertisements
Similar presentations
ENEL111 Digital Electronics
Advertisements

ECE Synthesis & Verification - Lecture 2 1 ECE 667 Spring 2011 ECE 667 Spring 2011 Synthesis and Verification of Digital Circuits High-Level (Architectural)
L7 – Derivation of State Graphs and Tables – Moore Machines.
L18 – VHDL for other counters and controllers. Other counters  More examples Gray Code counter Controlled counters  Up down counter  Ref: text Unit.
Automatic Verification of Timing Constraints Asli Samir – JTag course 2006.
ECE Synthesis & Verification1 ECE 667 Spring 2011 Synthesis and Verification of Digital Systems Verification Introduction.
2/9/2007EECS150 Lab Lecture #41 Debugging EECS150 Spring2007 – Lab Lecture #4 Laura Pelton Greg Gibeling.
ECE 331 – Digital System Design Course Introduction and VHDL Fundamentals (Lecture #1)
ECE Lecture 1 1 ECE 3561 Advanced Digital Design Department of Electrical and Computer Engineering The Ohio State University.
EE694v-Verification-Lect5-1- Lecture 5 - Verification Tools Automation improves the efficiency and reliability of the verification process Some tools,
9/15/09 - L22 Sequential Circuit Design Copyright Joanne DeGroat, ECE, OSU1 Sequential Circuit Design Creating a sequential circuit to address a.
9/15/09 - L25 Registers & Load Enable Copyright Joanne DeGroat, ECE, OSU1 Registers & Load Enable.
9/15/09 - L15 Decoders, Multiplexers Copyright Joanne DeGroat, ECE, OSU1 Decoders and Multiplexers.
VHDL Structured Logic Design School of Electrical Engineering University of Belgrade Department of Computer Engineering Ivan Dugic Veljko.
ASIC/FPGA design flow. FPGA Design Flow Detailed (RTL) Design Detailed (RTL) Design Ideas (Specifications) Design Ideas (Specifications) Device Programming.
EE694v-Verification-Lect11-1- Lect : The FP adder test plan As noted earlier – there is a difference in black box and while box testing and verificiation.
L16 – Testbenches for state machines. VHDL Language Elements  More examples HDL coding of class examples Testbench for example  Testing of examples.
Teaching Functional Verification – Course Organization Design Automation Conference Sunday, June 9, 2002.
Verification Plan & Levels of Verification
1/8/ L20 Project Step 8 - Data Path Copyright Joanne DeGroat, ECE, OSU1 State Machine Design with an HDL A methodology that works for documenting.
9/15/09 - L15 Decoders, Multiplexers Copyright Joanne DeGroat, ECE, OSU1 Decoders and Multiplexer Circuits.
Functional Verification Figure 1.1 p 6 Detection of errors in the design Before fab for design errors, after fab for physical errors.
Copyright 2009 Joanne DeGroat, ECE, OSU 1 ECE 762 Theory and Design of Digital Computers, II (A real course title: Design and Specification of Digital.
L12 – VHDL Overview. VHDL Overview  HDL history and background  HDL CAD systems  HDL view of design  Low level HDL examples  Ref: text Unit 10, 17,
9/15/09 - L21 Sequential Circuit Analaysis Copyright Joanne DeGroat, ECE, OSU1 Sequential Circuit Analysis.
Fall 2004EE 3563 Digital Systems Design EE 3563 VHSIC Hardware Description Language  Required Reading: –These Slides –VHDL Tutorial  Very High Speed.
9/15/09 - L24 Other FF TypesCopyright Joanne DeGroat, ECE, OSU1 Other FF Types.
Electrical and Computer Engineering University of Cyprus LAB 1: VHDL.
9/15/09 - L13 Technology Mapping & Verificaiton Copyright Joanne DeGroat, ECE, OSU1 Technology Mapping and Verification.
Computer Engineering 1502 Advanced Digital Design Professor Donald Chiarulli Computer Science Dept Sennott Square
An Overview of Hardware Design Methodology Ian Mitchelle De Vera.
Verification – The importance
Modern VLSI Design 4e: Chapter 8 Copyright  2008 Wayne Wolf Topics Modeling with hardware description languages (HDLs).
Modern VLSI Design 3e: Chapter 8 Copyright  1998, 2002 Prentice Hall PTR Topics n Modeling with hardware description languages (HDLs).
M.Mohajjel. Digital Systems Advantages Ease of design Reproducibility of results Noise immunity Ease of Integration Disadvantages The real world is analog.
1/8/ L2 VHDL Introcution© Copyright Joanne DeGroat, ECE, OSU1 Introduction to VHDL.
ELEE 4303 Digital II Introduction to Verilog. ELEE 4303 Digital II Learning Objectives Get familiar with background of HDLs Basic concepts of Verilog.
Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -1- Functional Verification of Hardware Designs EE764 – Functional Verification of Hardware.
EE694v-Verification-Lect7-1- Verification Plan & Levels of Verification The Verification Plan Yesterdays and today’s design environment Design specification.
Lecture 5B Block Diagrams HASH Example.
ECE Lecture 1 1 ECE 561 Digital Circuit Design Department of Electrical and Computer Engineering The Ohio State University.
9/20/6Lecture 2 - Prog Model1 MicroBaby A simple micro-controller encompassing all the basics Start this class by organizing into groups.
Midterm Exam ReviewCopyright Joanne DeGroat, ECE, OSU1 Midterm Exam Notes.
Teaching Functional Verification – Course Organization Design Automation Conference Sunday, June 9, 2002.
ECE 448 Lecture 6 Finite State Machines State Diagrams vs. Algorithmic State Machine (ASM) Charts.
ASIC/FPGA design flow. Design Flow Detailed Design Detailed Design Ideas Design Ideas Device Programming Device Programming Timing Simulation Timing Simulation.
VHDL From Ch. 5 Hardware Description Languages. History 1980’s Schematics 1990’s Hardware Description Languages –Increased due to the use of Programming.
State Machine Design with an HDL
1 A hardware description language is a computer language that is used to describe hardware. Two HDLs are widely used Verilog HDL VHDL (Very High Speed.
SUBJECT : DIGITAL ELECTRONICS CLASS : SEM 3(B) TOPIC : INTRODUCTION OF VHDL.
Introduction to the FPGA and Labs
EE694v - Verification - Lect 12
Combinational Logic Design
ECE 448 Lecture 6 Finite State Machines State Diagrams vs. Algorithmic State Machine (ASM) Charts.
RTL Design Methodology
332:437 Lecture 7 Verilog Hardware Description Language Basics
RTL Design Methodology
Lecture 1.3 Hardware Description Languages (HDLs)
332:437 Lecture 7 Verilog Hardware Description Language Basics
Verification Plan & Levels of Verification
State Machine Design with an HDL
Teaching Functional Verification – Course Organization
332:437 Lecture 7 Verilog Hardware Description Language Basics
IEEE Floating Point Adder Verification
RTL Design Methodology
RTL Design Methodology
RTL Design Methodology Transition from Pseudocode & Interface
© Copyright Joanne DeGroat, ECE, OSU
ECE 448 Lecture 6 Finite State Machines State Diagrams vs. Algorithmic State Machine (ASM) Charts.
Copyright Joanne DeGroat, ECE, OSU
Presentation transcript:

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

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

Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -3- Syllabus/Grading/Project Syllabus Projects - Project 1 – Floating Point Adder - Project 2 – Floating Point Multiplier - Students will work on projects 1, 2 in a group of two. Each is due 2 weeks from when assigned - Project 3 – Floating Point Execution Sub Unit controller - Project 4 – Floating Point Execution Sub Unit. - Students will work on projects 3 and 4 in a group of three. Each will be due three weeks from when assigned.

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

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.

Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -6- Level of complexity problem From Note that this was a 2003 chart!!!

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 million gate IC but how to verify it.

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! – Note new topics in text – Open Vera and e!)

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 EE762 the testbenches do both and the error signal indicates that the results do not equal what is expected.

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

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.

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

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

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

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

Lecture 1 – Overview (rSp06) Alternative project flow Projects - Project 1 – Floating Point Adder - Project 2 – Redefinition of Datapath unit or other unit - Given the specification student will both write the design from a specification while part of the group designs up the verification suite and performs the verificaton. - Very much like the “real” world - Upside – a very real world situation of design and verification - Downside – possibly more total work and lower complexity units to verify (but only slightly) - Project 3 – Expanded datapath ©2008 Joanne DeGroat, ECE, OSU -16-