Verification of Digitally Calibrated Analog Systems with Verilog-AMS Behavioral Models

Similar documents
DEPARTMENT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE MASSACHUSETTS INSTITUTE OF TECHNOLOGY CAMBRIDGE, MASSACHUSETTS 02139

DEPARTMENT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE MASSACHUSETTS INSTITUTE OF TECHNOLOGY CAMBRIDGE, MASSACHUSETTS 02139

Mixed Signal Virtual Components COLINE, a case study

EECS 427 Lecture 21: Design for Test (DFT) Reminders

Evaluation of Package Properties for RF BJTs

Digital Power: Consider The Possibilities

SAR Control Logic. GADCout <9:0> Figure 1. GADC diagram architecture.

2. There are many circuit simulators available today, here are just few of them. They have different flavors (mostly SPICE-based), platforms,

EECS 473 Advanced Embedded Systems. Lecture 9: Groups introduce their projects Power integrity issues

GE423 Laboratory Assignment 6 Robot Sensors and Wall-Following

Analog I/O. ECE 153B Sensor & Peripheral Interface Design Winter 2016

Teaching Top Down Design of Analog/Mixed Signal ICs Through Design Projects. Andersson, Martin; Wernehag, Johan; Axholt, Andreas; Sjöland, Henrik

Faculty of Engineering 4 th Year, Fall 2010

Physics 303 Fall Module 4: The Operational Amplifier

EECS150 Spring 2007 Lab Lecture #5. Shah Bawany. 2/16/2007 EECS150 Lab Lecture #5 1

New Current-Sense Amplifiers Aid Measurement and Control

MAINTENANCE MANUAL AUDIO MATRIX BOARD P29/

Lab 6: Instrumentation Amplifier

22. VLSI in Communications

Embedded Test System. Design and Implementation of Digital to Analog Converter. TEAM BIG HERO 3 John Sopczynski Karim Shik-Khahil Yanzhe Zhao

Debugging a Boundary-Scan I 2 C Script Test with the BusPro - I and I2C Exerciser Software: A Case Study

Fault Testing of Analog Circuits Using Combination of Oscillation Based Built-In Self- Test and Quiescent Power Supply Current Testing Method

I hope you have completed Part 2 of the Experiment and is ready for Part 3.

EECS 312: Digital Integrated Circuits Lab Project 1 Introduction to Schematic Capture and Analog Circuit Simulation

Appendix. RF Transient Simulator. Page 1

IBIS Data for CML,PECL and LVDS Interface Circuits

Lab 3 Final report: Embedded Systems Digital Potentiometer Subsystem TEAM: RAR

High-speed Serial Interface

A Bottom-Up Approach to on-chip Signal Integrity

Policy-Based RTL Design

Small, Dynamic Voltage Management Solution Based on TPS62300 High-Frequency Buck Converter and DAC6571

Lab 7: DELTA AND SIGMA-DELTA A/D CONVERTERS

Low Jitter, Low Emission Timing Solutions For High Speed Digital Systems. A Design Methodology

Hello, and welcome to this presentation of the STM32L4 comparators. It covers the main features of the ultra-lowpower comparators and some

Lab 15: Lock in amplifier (Version 1.4)

Measuring Power Supply Switching Loss with an Oscilloscope

EE283 Electrical Measurement Laboratory Laboratory Exercise #7: Digital Counter

Supply Voltage Supervisor TL77xx Series. Author: Eilhard Haseloff

EECS 473 Advanced Embedded Systems. Lecture 9: Groups introduce their projects Power integrity issues

Bluetooth Transceiver Design with VHDL-AMS

An Initial Case Study for BIRD95: Enhancing IBIS for SSO Power Integrity Simulation

I1 19u 5V R11 1MEG IDC Q7 Q2N3904 Q2N3904. Figure 3.1 A scaled down 741 op amp used in this lab

1 A1 PROs. Ver0.1 Ai9943. Complete 10-bit, 25MHz CCD Signal Processor. Features. General Description. Applications. Functional Block Diagram

ANALOG TO DIGITAL (ADC) and DIGITAL TO ANALOG CONVERTERS (DAC)

Chapter 1 Introduction to VLSI Testing

2352 Walsh Ave. Santa Clara, CA U. S. A. Tel.: (408) , Fax: (408)

Lecture 1. Tinoosh Mohsenin

Analog Technologies. Dual Mode Laser Driver LDA1-CP1-D

Digital Signal Processing for an Integrated Power-Meter

Pin # Pin Name Pin Type Description

University of North Carolina-Charlotte Department of Electrical and Computer Engineering ECGR 3157 Electrical Engineering Design II Fall 2013

MS2000 performs calibration on ADEPT card on startup, so the system maintains calibration.

Design for Reliability --

Volterra. VT1115MF Pulse Width Modulation (PWM) Controller. Partial Circuit Analysis

Development of a sampling ASIC for fast detector signals

CPR For Dummies Bathtub Drowning Prevention

ECE 6770 FINAL PROJECT

Digital-to-Analog Converter. Lab 3 Final Report

EECS240 Spring Advanced Analog Integrated Circuits Lecture 1: Introduction. Elad Alon Dept. of EECS

Technical Brief FAQ (FREQUENCLY ASKED QUESTIONS) For further information, please contact Crystal Semiconductor at (512) or 1 (800)

Exercise 3: Sound volume robot

Project 3 Build a 555-Timer

Lies, Damned Lies and Hardware Verification. Mike Bartley, Test and Verification Solutions

Analytical Chemistry II

Geared Oscillator Project Final Design Review. Nick Edwards Richard Wright

Hello, and welcome to this presentation of the FlexTimer or FTM module for Kinetis K series MCUs. In this session, you ll learn about the FTM, its

The rangefinder can be configured using an I2C machine interface. Settings control the

THAT Corporation APPLICATION NOTE 102

ADC Board 4 Channel Notes September 29, DRAFT - May not be correct

W H I T E P A P E R. Analog Signal Chain Calibration

Nyquist filter FIFO. Amplifier. Impedance matching. 40 MHz sampling ADC. DACs for gain and offset FPGA. clock distribution (not yet implemented)

L9: Analog Building Blocks (OpAmps, A/D, D/A)

Computer Controlled Curve Tracer

Improving Test Coverage and Eliminating Test Escapes Using Analog Defect Analysis

ECE ECE285. Electric Circuit Analysis I. Spring Nathalia Peixoto. Rev.2.0: Rev Electric Circuits I

Top-Down Design of Mixed-Signal Circuits

Sticks Diagram & Layout. Part II

Laboratory experiments and reports

EE 435 Switched Capacitor Amplifiers and Filters. Lab 7 Spring 2014 R 2 V OUT V IN. (a) (b)

PROCESS-VOLTAGE-TEMPERATURE (PVT) VARIATIONS AND STATIC TIMING ANALYSIS

Temperature Monitoring and Fan Control with Platform Manager 2

CHAPTER-5 DESIGN OF DIRECT TORQUE CONTROLLED INDUCTION MOTOR DRIVE

Temperature Monitoring and Fan Control with Platform Manager 2

Meeting the Challenges of Formal Verification

Digital Logic, Algorithms, and Functions for the CEBAF Upgrade LLRF System Hai Dong, Curt Hovater, John Musson, and Tomasz Plawski

Dr. Ralf Sommer. Munich, March 8th, 2006 COM BTS DAT DF AMF. Presenter Dept Titel presentation Date Page 1

4 x 10 bit Free Run A/D 4 x Hi Comparator 4 x Low Comparator IRQ on Compare MX839. C-BUS Interface & Control Logic

ECEN689: Special Topics in High-Speed Links Circuits and Systems Spring 2012

Multiple Instrument Station Module

Assoc. Prof. Dr. Burak Kelleci

AMS Verification for High Reliability and Safety Critical Applications by Martin Vlach, Mentor Graphics

B.E. SEMESTER III (ELECTRICAL) SUBJECT CODE: X30902 Subject Name: Analog & Digital Electronics

A Review of Phase Locked Loop Design Using VLSI Technology for Wireless Communication.

Lab 3: Embedded Systems

Analog CMOS Interface Circuits for UMSI Chip of Environmental Monitoring Microsystem

Sophomore Physics Laboratory (PH005/105) Analog Electronics Phase Locked Loop (PLL)

Using the VM1010 Wake-on-Sound Microphone and ZeroPower Listening TM Technology

Verification of competency for ELTR courses

LOW POWER SCANNER FOR HIGH-DENSITY ELECTRODE ARRAY NEURAL RECORDING

Pin # Pin Name Pin Type Description. 4 GND Signal ground Signal ground pin. Connect ADC and DAC grounds to here.

Transcription:

Verification of Digitally Calibrated Analog Systems with Verilog-AMS Behavioral Models BMAS Conference, San Jose, CA Robert O. Peruzzi, Ph. D. September, 2006

Agenda Introduction Human Error: Finding and correcting in writing and circuit design How self calibration increases the need for top level simulation and behavioral models Block diagram of a representative self-calibrated system Categories of design errors For each category Example of error Modeling strategy to expose that kind of error Verilog-AMS coding tips How error would be observable Conclusion 2 BMAS Conference: September, 2006

Introduction: Human Error Original initial sentence of ABSTRACT: This paper describes the use of behavioral models to verify the design of digitally calibrated analog/mixed-signal systems, to large for either a circuit simulator or a traditional digital simulator Reread the previous sentence. Do you see the error? Colin McAndrew, the conference chairman encouraged me to wait till the morning for the final proofreading before submitting the PDF version 3 BMAS Conference: September, 2006

Introduction: Human Error Apart from innovative ideas and discoveries of applications of physical laws, we must get it all right when we build integrated circuits Mask sets are expensive and re-spins take weeks or months Getting it right activities include visually checking schematics and text files, holding design reviews, using design tool audits and of course simulation Choose your simulator to fit the task Spectre or SPICE for circuit level HDL simulators for gates or RTL D Q CK Verilog-AMS for top level mixed signal VGA ADC DSP Verilog-AMS Simulator is especially useful for final verification 4 BMAS Conference: September, 2006

Why Calibration? Current trends: Mixed signal integrated circuits system on a chip. Mostly digital Analog Front End ADC DSP DAC Power Management Serial Interface Band-Gap Reference Control PLL Self Test Technology dimensions Digital clock speed, Circuit Area and cost, Power consumption Power supply voltage Design Difficulty (Because less headroom and more noise) 5 BMAS Conference: September, 2006

Why Calibration? Open loop analog buys back some headroom but you lose the good things that feedback provides Here s how mixed signal calibration stands in for analog feedback Digitize analog quantities (voltages, currents time intervals etc.) Calculate decision criteria from the digital variables Make decisions to vary controlling parameters (currents, voltages, capacitances etc.) Apply the decision by D/A conversion, switches etc. Re-measure and repeat until errors are limited Calibrate at start-up and periodically thereafter, to Mitigate offset, gain, frequency, or filter corner frequency errors. Reduce effect of drift with temperature, power supply voltage and aging But now there are lots of new opportunities to make mistakes! 6 BMAS Conference: September, 2006

Why Behavioral Models? Typical ICs are just too big to fit into a circuit simulator and overlapping partial simulations allow errors to fall through Calibration increases the need for top level verification More opportunities for error More inter-block communication More collaboration between designers More analog/digital interfaces Behavioral models are a powerful, flexible tool which enables simulating an IC from the top level 7 BMAS Conference: September, 2006

Representative Block Diagram Signal_in dgain[1:0] Amplifier with digital and current controlled Gain and current controlled Offset correction Signal_out ADC Control block and ADC are shared among all calibrations CONTROL I_Gain I_Offset V_Cal DAC DAC DAC Analog / Mixed Signal Digital 8 BMAS Conference: September, 2006

Categories of Design Errors 1. Faulty Calibration Algorithm 2. Bus Bit Order Errors 3. Digital Control Polarity Errors 4. Digital Signal Integrity Errors 5. Bias Current Errors 1. Polarity 2. Multiple Sinks 6. Reference Voltage Errors 1. Choosing Wrong Voltage Reference 2. Resistively Loading High Impedance Reference What other ways can we screw things up? 9 BMAS Conference: September, 2006

1. Faulty calibration algorithm Semantic errors such as forgetting to close a switch or to power up Semantic errors resulting in reversed polarity of correction Signal_in Oops! Forgot to close this switch before triggering the ADC Signal_out ADC CONTROL I_Gain I_Offset V_Cal DAC DAC DAC 10 BMAS Conference: September, 2006

Catching Algorithmic Errors Good behavioral modeling techniques: Monitor power supplies, bias currents and reference voltages. Display error message and disable model operation if out of limits React properly to all controlling inputs such as power-down (or enable), and controls for gain, polarity etc. Pessimistically model power-up timing limits. If there s a spec for the maximum time interval between a block s power-up and its normal operation, write the model to have no output until that time interval has passed Verilog AMS tip: Use transition() statements in the analog section of the model To trigger an analog solution from a digital input transition create an interim real variable in the digital section which responds stepwise to digital stimulus. Make the electrical variable (or another real variable) in the analog section becomes a transition() of the stepwise variable transition() forces analog solution points when the stepwise variable changes transition() eliminates the first order discontinuity of the signal step which could cause loss of convergence For the algorithmic error illustrated on the previous page: The control loop will not close because the amplifier output is not observed. The consequences are observable in waveforms. CONTROL may be designed to detect and flag the lack of response 11 BMAS Conference: September, 2006

2. Bus Bit Order Errors Digital designer produces DATA[7:0] Analog designer expects DATA[1:8] Top Level Digital Top Analog Top Digital Subcircuit DATA[7:0] Analog Subcircuit DATA[1:8] Have you seen this kind of miscommunication escape review? 12 BMAS Conference: September, 2006

Catching Bit-Order Errors Good behavioral modeling technique: Write models to blindly respond to actual inputs making no assumptions about expected inputs Verilog AMS tip: Make sure the model can respond to every possible input combination Use case statements for all legitimate input combinations All other combinations fall into the default statement, resulting in error messages and output shut down For the bit-order error illustrated on the previous page: The amplifier output won t change as expected because of the bit reversal, so the control loop will not close. The consequences are observable in waveforms. CONTROL may be designed to detect and flag the lack of response 13 BMAS Conference: September, 2006

3. Digital Control Polarity Errors Digital designer produces active low option control Analog designer expects active high option control Top Level Digital Top Analog Top Digital Subcircuit HighGain Analog Subcircuit HighGain Have you seen this error? How about power down versus enable? 14 BMAS Conference: September, 2006

4. Digital Signal Integrity Errors Setup and hold faults are more likely to escape detection in schematicbased digital circuits created by analog designers Analog Subcircuit D Q Logic D Q Digital Control CK CK These faults can be a nightmare to debug in the laboratory or in the field May depend on processing, power supply voltage, temperature (PVT) 15 BMAS Conference: September, 2006

Catching Digital Signal Integrity Errors Good behavioral modeling technique: Don t assume that if it isn t a one, it s a zero! if ( 1 ) else if ( 0 ) else (respond to error) Verilog AMS tip: Make it easier to debug problems by using informative display statements: Use %m to indicate hierarchically the module which is receiving bad input Use %g to indicate the time of the error Displaying the variable value is helpful when it is more than one bit wide $display( "ERROR : %g : %m : Illegal value: sel = %2b ", $realtime, sel); Simulate digital circuitry at the gate level using extracted parasitics, enabling timing audits For the Q = X error on the previous page: The analog module receiving digital input Q will display a message stating the time, the path to itself and the value of Q. Also, the analog module output shuts down, making the error difficult to ignore 16 BMAS Conference: September, 2006

5. Bias Current Errors 5.1 Bias current polarity error Bias Circuit Oops! Designer of destination circuit intended to take current from a PFET source 17 BMAS Conference: September, 2006

5. Bias Current Errors 5.2 Bias current multiple sink error Bias Circuit Oops! Designers of different destination circuits took current from the same PFET source But of course, your team is too smart to make this kind of mistake, right? 18 BMAS Conference: September, 2006

Catching Bias Current Errors Diagram of current source models: Choose large Rsrc: I * Rsrc < VDD If open circuited, Vcheck triggers an INFO message I Vcheck Rsrc VDD I Rsrc Diagram of destination current sink models (within larger block model): Choose a small Rsink, say 100 Ohms Monitor V_RI Incorrect polarity or incorrect current value becomes evident V_RI Rsink Vcheck V_RI Rsink Analog section of model continuously assigns V_RI = I * Rsink Digital section of model uses always @(above ) statements to trigger good/bad events as V_RI crosses thresholds good event allows normal operation bad event displays error message and shuts down output. 19 BMAS Conference: September, 2006

6. Reference Voltage Errors 6.1 Reference Voltage Choice Error Vbg Reference Generator Vp2 Vp1 Vn1 Vn2 Chose Vp2 but intended to choose lower of two Vp references Sloppy naming convention led to designer choosing the wrong reference voltage 20 BMAS Conference: September, 2006

6. Reference Voltage Errors 6.2 Reference Voltage Loading Error Vbg Reference Generator Vp Vn 1 Vnbuff Oops! Drawing current from un-buffered reference voltage. Should have connected to Vnbuff 21 BMAS Conference: September, 2006

Catching Reference Voltage Errors Diagram of voltage source model: Use realistic Rsrc found through circuit simulation or analysis Rsrc Videal Vref Analog section models load resistance and voltage-division develops Vref to be monitored in the digital section Digital section of model uses always @(above ) statements to trigger good/bad events as Vref crosses thresholds good event allows normal operation bad event displays error message and shuts down output 22 BMAS Conference: September, 2006

Conclusion There is no replacement for due diligence, concentration and thinking Top level simulations with behavioral models can increase your chances of getting all the bugs out of complex self calibrating systems Top level simulations with behavioral models are a powerful tool in your kit to fill the coverage gaps as below Circuit Simulation of Analog Sections Plus Digital Simulation of Digital Sections Plus Top Level Simulation with Behavioral Models 23 BMAS Conference: September, 2006