Functional Verification - a holistic view
- comprehensive introduction to functional verification
Ratings 4.05 / 5.00
What You Will Learn!
- Functional Verification
- Why electronic designs require verificaiton
- Various technologies in Verification (Simulation, Formal Verification, Emulation)
- What is a TestBench (TB)
- Metric Driven Verification (MDV)
Description
Overview
Functional Verification is one of the most time-consuming processes in ASIC design cycle; yet a structured introductory course/training/education on this topic is often missing. Neither the educational institutes offer this nor there are vendors offering such training. While several language specific courses are offered by EDA vendors, a comprehensive training on fundamentals of functional verification is lacking. This course gives you an in-depth introduction to the different aspects of functional verification including different testbench architectures. This course covers all aspects of functional verification ranging from verification architecture to building testbenches, gate level simulation and various technologies used in verification such as simulation, formal, emulation.
Objectives
To explore what is verification and why it is needed and how it is achieved.
To examine the different testbench architectures available
To suggest widely used guidelines and need for a methodology
To elaborate on all the different terminologies, buzz words used in the industry
To introduce different stages in functional verification such as RTL simulation, gate level simulation, emulation etc. and to address the challenges in each one of them
Table of Contents
Session 1: Introduction
ASIC Design Flow
Paradigm Shift
Verification Challenge
A quick Verification 101
Session 2: Different Verification Technologies
Simulation based
Formal methods
Equivalence checking
Model checking
Theorem Proving
Hybrid
Emulation
FPGA based
Processor based
Session 3: Metric Driven Verification (MDV)
Code Coverage
Assertion coverage (Control Centric)
Functional Coverage (Data centric)
Session 4: Writing Testbenches
What is a testbench anyway?
Basic testbenches
Rudimentary
TCL based
HDL based – basic ones
Session 5: Coverage measurement in Verification
What is coverage?
Types of coverage
Line Coverage
Condition Coverage
Toggle Coverage
FSM Coverage
Functional Coverage
Session 6: Gate Level Simulation (GLS) & SDF annotation
What is Gate Level Simulation
SDF Annotation - typical timing violations
Session 7: Regressions - keeping the design stable
Need for regressions
Verification management
Session 8: Tips & tricks, Best Known Methods (BKMs)
Coding tips
Methodology notes
Summary
Who Should Attend!
- VLSI Design Verification engineers
- Students in EE/EC/CS streams with keen interest in VLSI domain
