Universal Verification Methodology (UVM) Benefits Mustafa Khairallah Boost Valley Boost Valley Consulting 1.

Slides:



Advertisements
Similar presentations
.NET Technology. Introduction Overview of.NET What.NET means for Developers, Users and Businesses Two.NET Research Projects:.NET Generics AsmL.
Advertisements

INTRODUCTION TO SIMULATION WITH OMNET++ José Daniel García Sánchez ARCOS Group – University Carlos III of Madrid.
1 System Level Verification of OCP-IP based SoCs using OCP-IP eVC Himanshu Rawal eInfochips, Inc.,4655 Old Ironsides Drive, Suite 385,Santa Clara, CA
Using emulation for RTL performance verification
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 31/22alt1 Lecture 31 System Test (Lecture 22alt in the Alternative Sequence) n Definition n Functional.
by Adiel Khan Staff CAE Synopsys
February 28 – March 3, 2011 Stepwise Refinement and Reuse: The Key to ESL Ashok B. Mehta Senior Manager (DTP/SJDMP) TSMC Technology, Inc. Mark Glasser.
Presented by: Omer Shaked Beeri Schreiber Serial Peripheral Interface Final Project Presentation Supervised by: Tal Yahav Leon Polishuk.
University Of Vaasa Telecommunications Engineering Automation Seminar Signal Generator By Tibebu Sime 13 th December 2011.
How to Accelerate the Analog Design Verification Flow Itai Yarom Senior Verification Expert Synopsys.
MS-SoC Best Practices – Advanced Modeling & Verification Techniques for first-pass success By Neyaz Khan Greg Glennon Dan Romaine.
Presenter: PCLee – This paper outlines the MBAC tool for the generation of assertion checkers in hardware. We begin with a high-level presentation.
MotoHawk Training Model-Based Design of Embedded Systems.
Usage of System C Marco Steffan Overview Standard Existing Tools Companies using SystemC.
Matlab as a Design Environment for Wireless ASIC Design June 16, 2005 Erik Lindskog Beceem Communications, Inc.
Design Synopsys System Verilog API Donations to Accellera João Geada.
Chap. 2 Hierarchical Modeling Concepts. 2 Hierarchical Modeling Concepts Design Methodologies 4-bit Ripple Carry Counter Modules Instances Components.
VerificationTechniques for Macro Blocks (IP) Overview Inspection as Verification Adversarial Testing Testbench Design Timing Verification.
© Copyright Alvarion Ltd. Hardware Acceleration February 2006.
System-On-a-Chip: A case study based on the ELIET Chip
VERIFICATION OF I2C INTERFACE USING SPECMAN ELITE By H. Mugil Vannan Experts Mr. Rahul Hakhoo, Section Manager, CMG-MCD Mr. Umesh Srivastva, Project Leader.
Simulation Management. Pass or Fail? Managing Simulations Regression Behavioral Models.
Design Constraint-Based Verification Carl Pixley Advanced Technology Group Synopsys, Inc. John Havlicek, Ken Albin Motorola Inc., Austin.
1CADENCE DESIGN SYSTEMS, INC. Cadence Proposed Transaction Level Interface Enhancements for SCE-MI SEPTEMBER 11, 2003.
1 SERIAL PORT INTERFACE FOR MICROCONTROLLER EMBEDDED INTO INTEGRATED POWER METER Mr. Borisav Jovanović, Prof.dr Predrag Petković, Prof.dr. Milunka Damnjanović,
1 Integration Verification: Re-Create or Re-Use? Nick Gatherer Trident Digital Systems.
Some Course Info Jean-Michel Chabloz. Main idea This is a course on writing efficient testbenches Very lab-centric course: –You are supposed to learn.
New and active ways to bind to your design by Kaiming Ho Fraunhofer IIS.
A New Method For Developing IBIS-AMI Models
CHIPIX65/RD53 collaboration
Xilinx Programmable Logic Design Solutions Version 2.1i Designing the Industry’s First 2 Million Gate FPGA Drop-In 64 Bit / 66 MHz PCI Design.
Using Formal Verification to Exhaustively Verify SoC Assemblies by Mark Handover Kenny Ranerup Applications Engineer ASIC Consultant Mentor Graphics Corp.
System Verilog Testbench Language David W. Smith Synopsys Scientist
Interfaces to External EDA Tools Debussy Denali SWIFT™ Course 12.
SystemVerilog. History Enhancement of Verilog Enhancement of Verilog 2002 – accellera publishes SystemVerilog – accellera publishes SystemVerilog.
Robust Low Power VLSI ECE 7502 S2015 Evaluation of Coverage-Driven Random Verification ECE 7502 – Project Presentation Qing Qin 04/23/2015.
1 Hybrid-Formal Coverage Convergence Dan Benua Synopsys Verification Group January 18, 2010.
NIOS II Ethernet Communication Final Presentation
Quality Driven SystemC Design By Nasir Mahmood. Hybrid Approach The idea here is to combine the strengths of simulation – namely the ability to handle.
The Macro Design Process The Issues 1. Overview of IP Design 2. Key Features 3. Planning and Specification 4. Macro Design and Verification 5. Soft Macro.
Boost Verification Results by Bridging the Hw/Sw Testbench Gap by Matthew Ballance Verification Technologist Mentor Graphics.
Functional Verification of Dynamically Reconfigurable Systems Mr. Lingkan (George) Gong, Dr. Oliver Diessel The University of New South Wales, Australia.
Chapter 2 Introduction to Systems Architecture. Chapter goals Discuss the development of automated computing Describe the general capabilities of a computer.
Advanced Control of Marine Power System
Macro Verification Guidelines Chapter 7.. Chap 7. Macro Verification Guidelines The goal of macro verification The macro is 100 percent correct in its.
SVA Encapsulation in UVM enabling phase and configuration aware assertions by Mark Litterick Verification Consultant Verilab GmbH, Munich, Germany.
Assignment write a short notes on 1.Manufacturing Testing. 2.Functional Testing. 3.Files and Text I/O. 4.Differentiate the cpld and fpga architecture.
(*) Design (VHDL) (*) Verification (System Verilog) Presented by: Omer Shaked Beeri Schreiber The SPI Project
Part A Final Dor Obstbaum Kami Elbaz Advisor: Moshe Porian August 2012 FPGA S ETTING U SING F LASH.
CSCI-365 Computer Organization Lecture Note: Some slides and/or pictures in the following are adapted from: Computer Organization and Design, Patterson.
EE694v - Verification - Lect Lect 12,13,14 – 762 Testbenches Lets look at the EE 762 testbenches Look at stimulus generation techniques Look at response.
Exploiting Architecture For Verification Dave Whipp.
Ready to Use Programmable Logic Design Solutions.
1 Memory Test - Debugging Test Vectors Without ATE Steve Westfall Director Visual Testbench Engineering Summit Design Inc.
Architecture optimization and design verification of the Timepix3 and the Velopix pixel ASICs Tuomas Poikela (TUCS/CERN) SV/UVM Mini workshop.
EE694v - Verification - Lect 12
Gopakumar.G Hardware Design Group
Beam Wire Scanner (BWS) serial link requirements and architecture
ECE 551: Digital System Design & Synthesis
environment infrastructure
Stitching UVM Test benches into Integration-Level
Timothy Pertuit, David Lacey, Doug Gibson
February 25-28, 2013 DoubleTree, San Jose
Stitching UVM Test benches into Integration-Level
Matlab as a Design Environment for Wireless ASIC Design
Verification Reuse Simple (relatively) reuse: Difficult reuse
Srinivas Aluri Jaimin Mehta
SystemVerilog and Verification
Chapter 10 Introduction to VHDL
Presentation transcript:

Universal Verification Methodology (UVM) Benefits Mustafa Khairallah Boost Valley Boost Valley Consulting 1

Outline  Verification Needs  UVM Benefits  Example: I 2 S  Conclusion Boost Valley Consulting 2

Verification Needs Boost Valley Consulting 3 Code Reuse Test Cases & Scenarios Modification Functional Coverage Calculation Generating & Managing Reports Debugging Communication

Verification Needs - Development Boost Valley Consulting 4 Code Reuse Test Cases & Scenarios Modification Functional Coverage Calculation Generating & Managing Reports Debugging Communication

Verification Needs - Compilation Boost Valley Consulting 5 Code Reuse Test Cases & Scenarios Modification Functional Coverage Calculation Generating & Managing Reports Debugging Communication

Verification Needs - Runtime Boost Valley Consulting 6 Code Reuse Test Cases & Scenarios Modification Functional Coverage Calculation Generating & Managing Reports Debugging Communication

Verification Needs - Debugging Boost Valley Consulting Code Reuse Test Cases & Scenarios Modification Functional Coverage Calculation Generating & Managing Reports Debugging Communication 7

Verification Methodologies  Do the same things the same way:  Ease of communication.  Test/Test-bench separation:  Compile once, run many times.  Utilities:  Functional coverage – reporting mechanisms - … etc. Boost Valley Consulting 8

UVM Benefits Boost Valley Consulting 9

UVM Adoption Boost Valley Consulting 10

Test/Test-bench separation Test Writer: Selects sequences, Configures the environment(s) Runs test. Test Environment Bus Agent Active Agent Passive Agent Analysis Agent Register Model Environment Configurations DUT UVC User: Integrates UVCs into environment to test different designs. Env (Test- bench) Developer: UVC Design Complication phase. UVCs Boost Valley Consulting 11

Test/Test-bench separation Test Environment Bus Agent Active Agent Passive Agent Analysis Agent Register Model Environment Configurations Boost Valley Consulting 12 Test Writer: Selects sequences, Configures the environment(s) Runs test. Test UVC User: Integrates UVCs into environment to test different designs. Env (Test- bench) Developer: UVC Design Complication phase. UVCs

Test/Test-bench separation Test Environment Bus Agent Active Agent Passive Agent Analysis Agent Register Model Environment Configurations Boost Valley Consulting 13

Configurability  Controlled by the test writer.  Configurations can be:  Structural configurations.  Runtime configurations.  Provides topological flexibility:  Components can be overridden, removed or configured. Boost Valley Consulting 14

Block 2’ TLM 2.0  UVM is compatible with the TLM 2.0 standard.  Uses port/export communication.  Hides communication details (pin level activities)  Eases customization using configurations & overrides. Block 1Block 2 Boost Valley Consulting 15

Constrained Randomization Boost Valley Consulting 16

Coverage Collector Boost Valley Consulting 17

Checker (Reference Model) Boost Valley Consulting 18

Checker (Assertions) Boost Valley Consulting 19

Built-in reporting mechanisms. Boost Valley Consulting 20

Built-in reporting mechanisms. Boost Valley Consulting 21

Practical Example :I 2 S Boost Valley Consulting 22

Introduction  I 2 S stands for Inter-IC Sound,  DUT is a slave I 2 S transceiver.  It is around 2000 gates.  I 2 S Bus Purpose:  Communicate PCM audio data between integrated circuits.  Characteristics  Separates clock and serial data signals.  Lower Jitter.  Can recover clock from data stream. Boost Valley Consulting 23

UVM Test-Bench Architecture Boost Valley Consulting 24

Limitations in VHDL  No support for test/test-bench separation.  No test termination mechanism.  No randomization algorithm. Boost Valley Consulting 25

Runtime Comparison > 10 Times Reduction!! Boost Valley Consulting 26 Time in minutes VHDL UVM

Summary Conventional Test-benchUVM Test-Bench Mainly simulation-based Limited assertion-based capabilities Simulation based Advanced assertion-based in System Verilog & UVM Mostly directed testing Constrained random testing & directed testing Boost Valley Consulting 27

Summary Conventional Test-benchUVM Test-Bench Can’t automatically guarantee full functional coverage Supports functional coverage Boost Valley Consulting 28

Summary Conventional Test-benchUVM Test-Bench Strongly coupled with DUTLoosely coupled with DUT Requires longer development time Reusability reduces development time Boost Valley Consulting 29

Thank You Questions? Boost Valley Consulting 30