Analog Verification. Ken Kundert. Copyright 2009, Designerʹs Guide Consulting, Inc. All Rights Reserved

Similar documents
THE DESIGNER S GUIDE TO VERILOG-AMS

VCS AMS. Mixed-Signal Verification Solution. Overview. testing with transistor-level accuracy. Introduction. Performance. Multicore Technology

THE DESIGNER'S GUIDE TO VERILOG-AMS First Edition June 2004

AMS Behavioral Modeling

Extending Digital Verification Techniques for Mixed-Signal SoCs with VCS AMS September 2014

Modeling and Verifying Mixed-Signal Designs with MATLAB and Simulink

IOT is IOMSLPT for Verification Engineers

Short Course On Phase-Locked Loops and Their Applications Day 3, PM Lecture. Behavioral Simulation Exercises

Case study of Mixed Signal Design Flow

Navigating the RTL to System Continuum

Connecting MATLAB & Simulink with your SystemVerilog Workflow for Functional Verification

Will Silicon Proof Stay the Only Way to Verify Analog Circuits?

Overview of Digital Design with Verilog HDL 1

ADVANCED DIGITAL IC DESIGN. Digital Verification Basic Concepts

THE BENEFITS OF MODEL-BASED ENGINEERING IN PRODUCT DEVELOPMENT FROM PCB TO SYSTEMS MENTOR GRAPHICS

Introduction to VHDL. Module #5 Digilent Inc. Course

CREATIVE ASSERTION AND CONSTRAINT METHODS FOR FORMAL DESIGN VERIFICATION

SoC Verification Methodology. Prof. Chien-Nan Liu TEL: ext:

Evolution of CAD Tools & Verilog HDL Definition

ASIC world. Start Specification Design Verification Layout Validation Finish

Lab. Course Goals. Topics. What is VLSI design? What is an integrated circuit? VLSI Design Cycle. VLSI Design Automation

Hardware Modeling using Verilog Prof. Indranil Sengupta Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur

Leveraging Formal Verification Throughout the Entire Design Cycle

Introduction. White Paper. Author

Custom Design Formal Equivalence Checking Based on Symbolic Simulation. Overview. Verification Scope. Create Verilog model. Behavioral Verilog

A Systematic Approach to Creating Behavioral Models CDNLive, March, 2015 Bob Peruzzi, Joe Medero

Advanced Verification Topics. Bishnupriya Bhattacharya John Decker Gary Hall Nick Heaton Yaron Kashai Neyaz Khan Zeev Kirshenbaum Efrat Shneydor

Design of Mixed-Signal Systems on Chip

Digital System Design Lecture 2: Design. Amir Masoud Gharehbaghi

Contemporary Design. Traditional Hardware Design. Traditional Hardware Design. HDL Based Hardware Design User Inputs. Requirements.

Next-generation Power Aware CDC Verification What have we learned?

Shortest path to the lab. Real-world verification. Probes provide observability

EEM870 Embedded System and Experiment Lecture 2: Introduction to SoC Design

101-1 Under-Graduate Project Digital IC Design Flow

Synthesizable Verilog

Hardware Design Environments. Dr. Mahdi Abbasi Computer Engineering Department Bu-Ali Sina University

When addressing VLSI design most books start from a welldefined

Top-Down Design of Mixed-Signal Circuits

New Challenges in Verification of Mixed-Signal IP and SoC Design

Design of Mixed-Signal Systems-on-a-Chip

Chapter 5: ASICs Vs. PLDs

Model-Based Design for effective HW/SW Co-Design Alexander Schreiber Senior Application Engineer MathWorks, Germany

Hardware Design Verification: Simulation and Formal Method-Based Approaches William K Lam Prentice Hall Modern Semiconductor Design Series

Mixed Signal Verification Transistor to SoC

A True Single Cycle RISC Processor without Pipelining

EEM870 Embedded System and Experiment Lecture 4: SoC Design Flow and Tools

Hardware/Software Partitioning for SoCs. EECE Advanced Topics in VLSI Design Spring 2009 Brad Quinton

Microsemi IP Cores Accelerate the Development Cycle and Lower Development Costs

Embedded Systems Design Prof. Anupam Basu Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur

RTL Coding General Concepts

FPGA Based Digital Design Using Verilog HDL

Evolution of UPF: Getting Better All the Time

Design Process. Design : specify and enter the design intent. Verify: Implement: verify the correctness of design and implementation

CMOS VLSI Design. Final Project

Mixed Signal Verification of an FPGA-Embedded DDR3 SDRAM Memory Controller using ADMS

SPECMAN-E TESTBENCH. Al. GROSU 1 M. CARP 2

Four Best Practices for Prototyping MATLAB and Simulink Algorithms on FPGAs by Stephan van Beek, Sudhir Sharma, and Sudeepa Prakash, MathWorks

EE 5327 VLSI Design Laboratory Lab 8 (1 week) Formal Verification

Testing & Verification of Digital Circuits ECE/CS 5745/6745. Hardware Verification using Symbolic Computation

DRVerify: The Verification of Physical Verification

VHDL introduction Notes

Hardware Description Languages. Introduction to VHDL

Improved Circuit Reliability/Robustness. Carey Robertson Product Marketing Director Mentor Graphics Corporation

Equivalence Validation of Analog Behavioral Models

VLSI Testing. Fault Simulation. Virendra Singh. Indian Institute of Science Bangalore

Comprehensive AMS Verification using Octave, Real Number Modelling and UVM

Date Performed: Marks Obtained: /10. Group Members (ID):. Experiment # 11. Introduction to Verilog II Sequential Circuits

CURIE Academy, Summer 2014 Lab 1: Computer Engineering Hardware Perspective Sign-Off Sheet

Revision: August 30, Overview

Overview. CSE372 Digital Systems Organization and Design Lab. Hardware CAD. Two Types of Chips

VHDL MODEL OF SMART SENSOR

EEL 4783: Hardware/Software Co-design with FPGAs

DFT Trends in the More than Moore Era. Stephen Pateras Mentor Graphics

What is Verilog HDL? Lecture 1: Verilog HDL Introduction. Basic Design Methodology. What is VHDL? Requirements

Part 2: Principles for a System-Level Design Methodology

Hardware Implementation and Verification by Model-Based Design Workflow - Communication Models to FPGA-based Radio

By Matthew Noonan, Project Manager, Resource Group s Embedded Systems & Solutions

EE 466/586 VLSI Design. Partha Pande School of EECS Washington State University

Choosing an Intellectual Property Core

AIM Photonics Silicon Photonics PDK Overview. March 22, 2017 Brett Attaway

FPGA Design Challenge :Techkriti 14 Digital Design using Verilog Part 1

תכן חומרה בשפת VERILOG הפקולטה להנדסה

Design and Verification of FPGA Applications

ANALOG IP WITH INTELLIGENT IP FROM SYSTEM TO SILICON

A Brief Introduction to Verilog Hardware Definition Language (HDL)

CS 250 VLSI Design Lecture 11 Design Verification

Formal Verification: Not Just for Control Paths

DO-254 Testing of High Speed FPGA Interfaces by Nir Weintroub, CEO, and Sani Jabsheh, Verisense

Digital Design with FPGAs. By Neeraj Kulkarni

EECS 140 Laboratory Exercise 5 Prime Number Recognition

Model-Based Design for Altera FPGAs Using HDL Code Generation The MathWorks, Inc. 1

Functional Programming in Hardware Design

MAPP: The Berkeley Model and Algorithm Prototyping Platform

For a long time, programming languages such as FORTRAN, PASCAL, and C Were being used to describe computer programs that were

Cypress Adopts Questa Formal Apps to Create Pristine IP

Design and Verification of FPGA and ASIC Applications Graham Reith MathWorks

Putting Curves in an Orthogonal World

TOPIC : Verilog Synthesis examples. Module 4.3 : Verilog synthesis

An Introduction to Programmable Logic

Design Metrics. A couple of especially important metrics: Time to market Total cost (NRE + unit cost) Performance (speed latency and throughput)

Transcription:

Analog Verification Ken Kundert Copyright 2009, Designerʹs Guide Consulting, Inc. All Rights Reserved

Designs They Are A Changin The Complexity of Design is Growing Rapidly Size > 100K transistors 2010 2000 1990 Algorithmic Architectures In Multiple Dimensions! ΔΣ architectures Auto calibration Adaptive filtering Etc. Modes & Settings Power modes Bob Dylan, 1964 Digital trimming Multiple standards Etc.

Functional Errors Functional errors are often very simple errors Inverted signals Corrupt logic Flipped busses Unaccounted for dependencies (chicken/egg problem) Communication errors But are generally catastrophic Design

In Recent Verification Efforts We found swapped inputs logic error that precluded sleep mode busses swapped dependency loop (chicken & egg problem) inverted bias current wires swapped inverted input swapped reset & reset bar logic lines crossing supply domains w/o level shifters incorrect RTL undriven logic signal in analog top level errors in register map many spec errors And more

The Three Basic Issues Detailed verification only performed at block level All required signals are assumed to be present Assumptions on inter block dependencies never verified Verification on most modes never performed Only typical or worst case modes Any control logic that supports untested mode could contain hidden error No analog digital co verification 5

Transistor Level Verification Too expensive for functional verification 10K transistors, 30K cycles, 250 modes One week for one mode with timing simulator Need nightly regression tests 10K speed up needed Chip level requires 100K 1M speed ups

What s Needed Systematic approach to verifying design & specification Confidence that all flaws have been found More verification, earlier in design flow Errors are easier to fix & less disruptive Help with performance verification Accurate model of mixed signal section

The Answer Functional verification with Model based verification Dramatically accelerates the simulation Moves it earlier in design cycle Exhaustive regression testing Check every mode and every setting Automated pass/fail tests (self checking tests) Creation of a verified sign off quality toplevel model Often must be pure Verilog or VHDL

This is Analog Verification Exhaustive regression testing Traceable to transistor level Verifies both models and circuits Test benches verify behavior of models Methodology assures models are consistent with circuit Driven by analog verification engineer 9 We can now imagine a future where we are surprised when an analog chip does not function the first time.

Conclusions Complex system design requires a rigorous system verification methodology Chip design and analog implementation needs to be linked for verification AV can be done today Modeling and Regression Testing The bigger the system, the more benefit will be derived from using AV

Designer s Guide Consulting Adopting analog verification is a difficult process, filled with potential pitfalls We can help guide you through the process Teach classes Training your verification engineers Guide verification planning Consult on difficult models & tests How to create very fast analog models in verilog How to overcome performance issues Provide AV services

References H. Chang & K. Kundert. Verification of Complex Analog and RF IC Designs. The Proceedings of the IEEE. March 2007. K. Kundert & H. Chang. Verification of Complex Analog Integrated Circuits. CICC 06. K. Kundert & O. Zinke. The Designer s Guide to Verilog AMS. 2004. K. Kundert. Principles of top down mixed signal design. www.designers guide.org/design. A. Meyer. Principles of Functional Verification. 2003. Analog Verification Newsletter. www.designersguide.com/newsletters

For More Information www.designers guide.com