Real Number Modeling Enables Fast, Accurate Functional Verification

Slides:



Advertisements
Similar presentations
18 July 2001 Work In Progress – Not for Publication 2001 ITRS Test Chapter ITRS Test ITWG Mike Rodgers Don Edenfeld.
Advertisements

SOFTWARE TESTING. Software Testing Principles Types of software tests Test planning Test Development Test Execution and Reporting Test tools and Methods.
The need for AMS assertions Verify the analog/digital interfaces at block and SoC levels –Check properties involving voltages and currents –Check complex.
1CONFIDENTIAL© GHz Circuits, Inc. TOPS Accurate TOp Level PLL Simulator April 13, 2007.
By William Vides Edited by Dr. George Engel
Xiushan Feng* ASIC Verification Nvidia Corporation Automatic Verification of Dependency 1 TM Jayanta Bhadra
Martin Vlach Chief Technologist, AMS DSM February 2013 Why is the analog stuff so hard?
Chapter 2Test Specification Process. n Device Specification Sheet – Purpose n Design Specification – Determine functionality of design n Test List Generation.
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.
Fault Injection in Mixed-Signal Environment Using Behavioral Fault Modeling in Verilog-A Seyed‌ Nematollah Ahmadian, Seyed Ghassem Miremadi Behavioral.
The Design Process Outline Goal Reading Design Domain Design Flow
Team W3: Anthony Marchetta Derek Ritchea David Roderick Adam Stoler Milestone 10: April 5th Chip Level Simulation Overall Project Objective: Design an.
Computer Engineering 222. VLSI Digital System Design Introduction.
DSI Division of Integrated Systems Design Functional Verification Environments Development Goals Our main goals are in the field of developing modular.
Team W3: Anthony Marchetta Derek Ritchea David Roderick Adam Stoler Milestone 9: March 31st Chip Level Simulatio Overall Project Objective: Design an Air-Fuel.
1 Design For Debug Using DAFCA system Gadi Glikberg 15/6/06.
1 8 Bit ALU EE 166 Design Project San Jose State University Roger Flores Brian Silva Chris Tran Harizo Yawary Advisor: Dr. Parent May 2006.
RAVEN: Automatic Generation of Analog Behavioral Models
Platform-based Design for Mixed Analog-Digital Designs Fernando De Bernardinis, Yanmei Li, Alberto Sangiovanni-Vincentelli May 10, 2004 Analog Platform.
Formal verification Marco A. Peña Universitat Politècnica de Catalunya.
Principle of Functional Verification Chapter 1~3 Presenter : Fu-Ching Yang.
Software System Integration
Guest Lecture by Ben Magstadt CprE 281: Digital Logic.
TM Freescale™ and the Freescale logo are trademarks of Freescale Semiconductor, Inc. All other product or service names are the property of their respective.
Guest Lecture by Ben Magstadt CprE 281: Digital Logic.
I N V E N T I V EI N V E N T I V E EDA360 - Is End-to-End Design a Riddle, a Rebus, or a Reality? April 6, 2011.
Chap. 1 Overview of Digital Design with Verilog. 2 Overview of Digital Design with Verilog HDL Evolution of computer aided digital circuit design Emergence.
Fast & Furious: Taming the Challenges of Advanced-Node Design Anirudh Devgan, Senior Vice President, Digital & Signoff Group.
Design Verification An Overview. Powerful HDL Verification Solutions for the Industry’s Highest Density Devices  What is driving the FPGA Verification.
A New Method For Developing IBIS-AMI Models
Mixed-abstraction Modeling Approach with Fault Injection for Hardware-Firmware Co-design and Functional Co-verification of an Automotive Airbag System.
FPGA-Based System Design: Chapter 6 Copyright  2004 Prentice Hall PTR Topics n Design methodologies.
T. Hemperek VERIFICATION OF COMPLEX MIXED SIGNAL ASICS System-Verilog and UVM mini workshop 14 th November 2013.
Chonnam national university VLSI Lab 8.4 Block Integration for Hard Macros The process of integrating the subblocks into the macro.
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
Functional Verification Figure 1.1 p 6 Detection of errors in the design Before fab for design errors, after fab for physical errors.
- 1 - ©2009 Jasper Design Automation ©2009 Jasper Design Automation JasperGold for Targeted ROI JasperGold solutions portfolio delivers competitive.
Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -1- Functional Verification of Hardware Designs EE764 – Functional Verification of Hardware.
TM Freescale, the Freescale logo, AltiVec, C-5, CodeTEST, CodeWarrior, ColdFire, ColdFire+, C- Ware, the Energy Efficient Solutions logo, Kinetis, mobileGT,
Test Plan: Introduction o Primary focus: developer testing –Implementation phase –Release testing –Maintenance and enhancement o Secondary focus: formal.
Challenges in Hardware Logic Verification Bruce Wile IBM Server Group Verification Lead 10/25/01.
CprE 281: Verilog Tutorial Ben Magstadt – Master’s Student Electrical Engineering.
Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -1- Functional Verification of Hardware Designs EE764 – Functional Verification of Hardware.
Bharath Kumar Poluri, Atul Ramakant Lele, Aswani Kumar Golla, Lakshmanan Balasubramanian Texas Instruments (India) Pvt. Ltd. 1 Fully automated interface.
Piero Belforte, HDT 1998: Advanced Simulation and Modeling for Electronic System Hardware Design Part1 .
Andreas Hoffmann Andreas Ropers Tim Kogel Stefan Pees Prof
ASIC Design Methodology
A High-Speed and High-Capacity Single-Chip Copper Crossbar
EEE2135 Digital Logic Design Chapter 1. Introduction
Top-level Schematics Digital Block Sign-off Digital Model of Chip
Lenovo Technical
Top 6 Strategies of Digital Marketing.
Documentation in Continuous Delivery Model and DevOps
11/14/2018 Changing Paradigms - Fast-Turn RF and Mixed-Signal IP IEEE Annual EDP-2001 Workshop session on Analog/MS Design Flows James Spoto Enablix.
AUDIT AND VALIDATION TESTING FOR BIG DATA APPLICATIONS
Matlab as a Development Environment for FPGA Design
One Quality – Integrated Digital Assurance Automation Framework
ENGINEERING OF PROCESS STATION
Recent Advancements in Circuit Simulation Technology
ITRS Design.
ASSESS Initiative Update
Srinivas Aluri Jaimin Mehta
Verilog-AMS Integration with P1800 SV Standard
Shifting Security Left
Hardware-less Testing for RAS Software
by Neyaz Khan Senior PMTS Maxim Integrated Products
Electromagnetic Crosstalk Analysis and Sign-off For Advanced Node SoCs
Presentation transcript:

Real Number Modeling Enables Fast, Accurate Functional Verification The Challenge Making people believe Mixed signal functional verification required slow, detailed Verilog-A models Simulation of mixed signal functionality at the chip-level High-volume product Functional failures would lead to costly design iterations Digital abstracted behavioral of analog blocks not sufficient for verifying mixed signal sub blocks The Solution Use Digital Mixed Signal (DMS) verification strategy Real Number Modeling Model fidelity checking Analog assertions RX ANALOG RX Logic PLL Logic TX Logic TX PLL Significant performance increase (10-100x) Performance Accuracy Analog Behavioral Digital RNM FastSPICE SPICE Less effort than analog behavioral modeling Effort SPICE Analog Behavioral Digital RNM FastSPICE Performance Cultural Change AMS/DMS modeling required analog designers to work with digital verification engineers Management helped drive cultural change Required specific collaboration across the analog and digital teams to drive faster verification closure Results Achieved ~40x faster verification compared to mixed-signal electrical modeling (va) Improved product quality with mixed-signal regression runs to ensure SoC met spec Reduced re-spins with high-performance, real-number modeling and top-level SoC verification Found and fixed errors early in the design cycle, which previously would have been found in hardware and would have caused project delays or even re-spins 10x cycle-time improvement in mixed-signal verification Electrical Signals Real Signals ~40X Faster Wes Queen, Tom Cole Dan Romaine Insert IBM logo