How to Accelerate the Analog Design Verification Flow Itai Yarom Senior Verification Expert Synopsys.

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

Reachability Analysis for AMS Verification using Hybrid Support Function and SMT- based Method Honghuang Lin, Peng Li Dept. of ECE, Texas A&M University.
SLAM: SLice And Merge – Effective Test Generation for Large Systems ICCAD’13 Review Reviewer: Chien-Yen Kuo.
© 2015 Synopsys, Inc. All rights reserved.1 Timing Analysis in a Mixed Signal World TAU Workshop Panel Session Jim Sproch March 12, 2015.
MS-SoC Best Practices – Advanced Modeling & Verification Techniques for first-pass success By Neyaz Khan Greg Glennon Dan Romaine.
Coverage Discounting: Improved Testbench Qualification by Combining Mutation Analysis with Functional Coverage Nicole Lesperance, Peter Lisherness, and.
Universal Verification Methodology (UVM) Benefits Mustafa Khairallah Boost Valley Boost Valley Consulting 1.
Economic Perspectives in Test Automation: Balancing Automated and Manual Testing with Opportunity Cost Paper By – Rudolf Ramler and Klaus Wolfmaier Presented.
Design For Verification Synopsys Inc, April 2003.
ECE Synthesis & Verification1 ECE 667 Spring 2011 Synthesis and Verification of Digital Systems Verification Introduction.
DSI Division of Integrated Systems Design Functional Verification Environments Development Goals Our main goals are in the field of developing modular.
1 5-bit Flash Encoder Nam Van Do, Dave Flores, Shawn Smith Advisor: Dr. David Parent December 6, 2004.
1 Design For Debug Using DAFCA system Gadi Glikberg 15/6/06.
Technion – Israel Institute of Technology Department of Electrical Engineering High Speed Digital Systems Lab Project performed by: Naor Huri Idan Shmuel.
SiliconAid Solutions, Inc. Confidential SAJE SiliconAid JTAG Environment Overview – Very Short.
EE694v-Verification-Lect5-1- Lecture 5 - Verification Tools Automation improves the efficiency and reliability of the verification process Some tools,
Matlab as a Design Environment for Wireless ASIC Design June 16, 2005 Erik Lindskog Beceem Communications, Inc.
Churning the Most Out of IP-XACT for Superior Design Quality Ayon Dey Lead Engineer, TI Anshuman Nayak Senior Product Director, Atrenta Samantak Chakrabarti.
© 2011 Xilinx, Inc. All Rights Reserved Intro to System Generator This material exempt per Department of Commerce license exception TSU.
© 2005 The MathWorks, Inc. Advanced Technologies to Accelerate Mixed Signal Simulation Pieter J. Mosterman Senior Research Scientist The MathWorks, Inc.
TM Freescale™ and the Freescale logo are trademarks of Freescale Semiconductor, Inc. All other product or service names are the property of their respective.
TM Efficient IP Design flow for Low-Power High-Level Synthesis Quick & Accurate Power Analysis and Optimization Flow JAN Asher Berkovitz Yaniv.
Model Bank Testing Accelerators “Ready-to-use” test scenarios to reduce effort, time and money.
Introduction to VLSI Design – Lec01. Chapter 1 Introduction to VLSI Design Lecture # 2 A Circuit Design Example.
Foundation Express The HDL Value Leader. Xilinx Foundation Express The HDL Value Leader  Complete HDL Development Environment Best in Class EDA Tools.
Digitaalsüsteemide verifitseerimise kursus1 Digitaalsüsteemide verifitseerimine IAF0620, 5.0 AP, E Jaan Raik IT-208,
1 Integration Verification: Re-Create or Re-Use? Nick Gatherer Trident Digital Systems.
Design Verification An Overview. Powerful HDL Verification Solutions for the Industry’s Highest Density Devices  What is driving the FPGA Verification.
Presenter : Ching-Hua Huang 2013/7/15 A Unified Methodology for Pre-Silicon Verification and Post-Silicon Validation Citation : 15 Adir, A., Copty, S.
An Introduction to Digital Systems Simulation Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA)
Using Formal Verification to Exhaustively Verify SoC Assemblies by Mark Handover Kenny Ranerup Applications Engineer ASIC Consultant Mentor Graphics Corp.
Safe Overclocking Safe Overclocking of Tightly Coupled CGRAs and Processor Arrays using Razor © 2012 Guy Lemieux Alex Brant, Ameer Abdelhadi, Douglas Sim,
SystemVerilog. History Enhancement of Verilog Enhancement of Verilog 2002 – accellera publishes SystemVerilog – accellera publishes SystemVerilog.
Semi-automatic Property Generation for the Formal Verification of a Satellite On-board System Wesley Gonçalves Silva.
1 Hybrid-Formal Coverage Convergence Dan Benua Synopsys Verification Group January 18, 2010.
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.
ICS 216 Embedded Systems Validation and Test Instructor: Professor Ian G. Harris Department of Computer Science University of California Irvine.
An Overview of Hardware Design Methodology Ian Mitchelle De Vera.
Macro Verification Guidelines Chapter 7.. Chap 7. Macro Verification Guidelines The goal of macro verification The macro is 100 percent correct in its.
1 IAF0620, 5.0 AP, Exam Jaan Raik ICT-524, , Digital systems verification.
TM Freescale, the Freescale logo, AltiVec, C-5, CodeTEST, CodeWarrior, ColdFire, ColdFire+, C- Ware, the Energy Efficient Solutions logo, Kinetis, mobileGT,
Introduction to Hardware Verification ECE 598 SV Prof. Shobha Vasudevan.
Challenges in Hardware Logic Verification Bruce Wile IBM Server Group Verification Lead 10/25/01.
Doc.: IEEE / Submission March 2013 Juho Pirskanen, Renesas Mobile CorporationSlide 1 Discussion On Basic Technical Aspects for HEW Date:
Ready to Use Programmable Logic Design Solutions.
Whole Test Suite Generation. Abstract Not all bugs lead to program crashes, and not always is there a formal specification to check the correctness of.
Testing Overview Software Reliability Techniques Testing Concepts CEN 4010 Class 24 – 11/17.
UPDATE ON CLICPIX2 DESIGN Pierpaolo Valerio Edinei Santin
Problem: design complexity advances in a pace that far exceeds the pace in which verification technology advances. More accurately: (verification complexity)
Bharath Kumar Poluri, Atul Ramakant Lele, Aswani Kumar Golla, Lakshmanan Balasubramanian Texas Instruments (India) Pvt. Ltd. 1 Fully automated interface.
Mixed Signal STA Ben Farhat – Cadence Design Systems Tau conference – March/2015.
Instructor Materials Chapter 8: Network Troubleshooting
Extending Model-Driven Engineering in Tango
Gabor Madl Ph.D. Candidate, UC Irvine Advisor: Nikil Dutt
Real Number Modeling Enables Fast, Accurate Functional Verification
The University of British Columbia
Data Migration Assurance
Matlab as a Development Environment for FPGA Design
332:437 Lecture 7 Verilog Hardware Description Language Basics
Pattern Compression for Multiple Fault Models
Matlab as a Design Environment for Wireless ASIC Design
332:437 Lecture 7 Verilog Hardware Description Language Basics
Using Formal Coverage Analyzer for Code Coverage improvement
Srinivas Aluri Jaimin Mehta
Verilog-AMS Integration with P1800 SV Standard
332:437 Lecture 7 Verilog Hardware Description Language Basics
Open Source Tool Based Automation solution with Continuous Integration and end to end BDD Implementation Arun Krishnan - Automation Manager Maria Afzal-
Functional Safety Solutions for Automotive
Open Source Tool Based Automation solution with Continuous Integration and end to end BDD Implementation Arun Krishnan - Automation Manager Maria Afzal-
Presentation transcript:

How to Accelerate the Analog Design Verification Flow Itai Yarom Senior Verification Expert Synopsys

Where do we have analog blocks? A common SoC chip uses many IP’s –Like: USB, HDMI, etc. Each IP uses one or more analog blocks A certain analog block can be used in different IP’s –Therefore, we can have the same analog block but with different configuration 2

How good is verification flow for analog blocks? We want to find bugs as early as possible –Can we use the vast knowledge we have from logic verification world? 3

Goals Provide robust analog verification flow Agenda Analog designs verification challenges Alternative verification flow Results & Summary 4

Example: 3GHz ADPLL Reference : IEEE ISSCC 2012 ADPLL Block diagram

Is this a bug? The process of analyzing the results is complex –Done at post simulation time Reduces the variations checked 6

Analog vs. Digital simulation

Proposed Solution: SystemVerilog Associative Arrays Capture the signal values into an associative array Perform the analysis as part of the testbench during the simulation Benefits: –Faster runtime (x100 speedup) –Can run test hundreds of characteristics vs. tens before 8

An Example: Jitter Using SystemVerilog associative array –Jitter analysis is possible during simulation

Analog Style Analysis in VCS Using SystemVerilog associative array enable to perform analysis on the analog data at the end of the simulation 10

Mixed signal ‘regression’ flow The automatic evaluation as part of the testbench enable to test more complex scenarios –A scenarios is a random combination of the parameters to be checked

Results of ADPLL Jitter The ‘regression’ flow enable to tests over 200 combinations of parameters –A much more robust testing –X100 runtime improvement –A significant better QA quality 12 ParameterFull spice Regression w/ Discovery-AMS Sim Time for 15us >100 h1 h Number of Tests runs Up to 5Over 200 Post Analysis time 10 min per test none Effort - Manual, Sim Time, IT resources QA Coverage Full spice New flow: Discovery-AMS + regression Quality improvement

Summary There are many analog block in typical SoC design The verification process of analog blocks can be improved We used SystemVerilog associative arrays to enalbe in-sim analysis –Significant runtime and quality improvement This flow is being adopted in the industry 13

How to Accelerate the Analog Design Verification Flow Itai Yarom, Senior Verification Expert, Synopsys Thanks to Gabi Glasser for his contribution to this work

Abstract In this article we propose a method for simplifying analysis and increasing coverage during mixed signal simulations. Many checks in a simulation test bench can be implemented by relating to the value of a signal within a narrow window of time. When the intention is to analyze analog signals, the measurements are done many times on long vectors (e.g. RMS). This type of analysis cannot be implemented within the digital test-bench and is done using post processing methods. The method proposed here is to take advantage of SystemVerilog capabilities, which enable defining a hash (associative) array with unlimited size. During the simulation, vectors are created for required signals, allowing them to be analyzed within the test-bench along or at the end of the simulation, without need to save these signals into a file. The simplification of the analog style analysis paves the road to massive mixed signal simulation (i.e. regression testing). 15