SlideShare a Scribd company logo
1 of 16
Download to read offline
Sunil Kumar
Intel, Bangalore
Trends in Mixed Signal Validation
Agenda
Mixed Signal System
Evolution of MSV
Verilog-AMS Overview
Mixed Signal Tools
Steps in MSV
Conclusion
Mixed Signal System
A system having some parts in analog domain and
some in digital domain
A typical chip has these mixed signal blocks:
PLLs and
CLK dist.
Power
Distribution
Thermal
Sensors
Resets
High Speed Interconnect
BIAS
Gen/Comp
Sideband IOs
Mixed Signal System: An Example
Serializer
De-
serializer
Clock and
Data
Recovery
PLL PLL
BIAS
Generation
BIAS
Generation
Evolution of MSV
Generation I
Analog Digital interactions were quite less
Analog was verified in CKT simulator while digital was
verified in digital simulator
A D were verified by manually review
Generation II
Analog blocks were modeled in Verilog/VHDL
These models were calibrated with CKT to some extent
Analog blocks were still verified in CKT simulators
A D were covered using the created models
The models were incapable of modeling analog behavior, e.g.,
voltage levels, ramp, termination effect etc
Evolution of MSV
Generation III
Share of Mixed signal circuits has grown rapidly
PLLs, DDR3/4, PCI Express, 10/40GbE, HyperTransport, FBD,
QPI
Digital models are not sufficient enough
HDLs have been created for analog and mixed signal
Verilog-AMS, VHDL-AMS
Analog and mixed signal blocks are modeled in AMS HDL
New tools came up to support these languages
Mentor’s ADMS, Cadence’s AMS, Synopsys’s Discovery-AMS
Most of these tools have started supporting Fast SPICE
SPICE
Verilog-A
Verilog-AMS Overview
Extension of Verilog HDL
Adds analog and mixed signal capabilities
Alignment of Verilog-AMS with the SystemVerilog is WIP
Verilog-D
MS Extension
Verilog-AMS
Verilog-AMS: Examples
`include “disciplines.vams”
module res10ohm (
res_in,
res_out
);
inout res_in, res_out;
electrical res_in, res_out;
parameter real RES_VALUE = 10.0;
analog begin
V(res_in, res_out) <+
RES_VALUE*I(res_in, res_out);
end
endmodule
`include “disciplines.vams”
module dig2ana (
dig_in,
ana_out
);
input dig_in;
output ana_out;
wire dig_in;
electrical ana_out;
real ana_value;
analog begin
if (dig_in == 1) ana_value = 1.1;
else ana_value = 0.0;
V(ana_out) <+ transition(ana_value, 0,
10e-12);/
end
endmodule
On Modeling
Validation is as good as the models
The models need to be accurate enough
And for speed, they need to have enough abstractions
Verilog-AMS
Verilog/SV SPICE
AccuracySpeed
Mixed Signal Tools
Combine two different methods of simulation
Event-driven simulation as found in logic simulators
Continuous-time simulation as found in circuit simulators
Use digital simulator and analog simulator
Mentor’s ADMS : Modelsim + Eldo
Synopsys’s Discovery-AMS: VCS + Nanosim
Cadence’s AMS: NC-Sim + Spectre
On top of these the tool has to
Split the netlist in Verilog and SPICE and insertion of connect
modules
Set up and run the simulation by synchronizing the time steps of
two simulators
Steps in MSV
Step 1: Modeling
Identify the CKT blocks which needs to be modeled in AMS
Create AMS models with inputs from CKT team
Extensively calibrate these models with the corresponding CKT blocks
Step 2: Block Validation
Extensive validation of all the closed loops and complex features in lower level
testbenches
Each analog block can have any one of the views: Digital, AMS, SPICE
Step 3: Cluster/System Level Validation
Validate the sequence and inter-dependencies of the features validated at block
level
Most of the traditional digital validation techniques can be used, e.g.,
randomization, coverage, Specman/SV based testbenches etc.
Reuse of corresponding digital validation environment is possible
Example: Charge Pump PLL
Ref: August, N., “A Robust and Efficient Pre-Silicon Validation Environment for Mixed-Signal Circuits on Intel's Test Chips”,
ISQED 2008
Analog Driver (Verilog-AMS Module)
Test (SV Program)
Harness (SV Class)
MSV Testbench in SV
BFM1 (SV Class)
BFMN (SV Class)
Checker1 (SV Class)
CheckerN (SV Class)
Interface1 InterfaceN
DUT (Mixed Analog and Digital)
Clock
Generator
Analog
Sources
Reset
Generator
SV Wrapper (SV Module)
Top Level (SV Module)
Ref: August, N., “A Robust and Efficient Pre-Silicon Validation Environment for Mixed-Signal Circuits on Intel's Test Chips”, ISQED 2008
Analog
Digital
Conclusions
Mixed Signal Validation has become an important component of
the validation space
The MSV tools have matured
Many fatal bugs which were earlier found only in post-silicon
can be uncovered in MSV
Most of the digital validation techniques can be used
References
Verilog-AMS Language Reference Manual
http://www.verilog.org/verilog-ams/htmlpages/public-
docs/lrm/2.3/VAMS-LRM-2-3.pdf
“The Designer’s Guide to Verilog-AMS”, Kenneth S.
Kundert and Olaf Zinke, Springer, 2004
Verilog-AMS models examples:
http://www.designers-guide.org/VerilogAMS/
Q&A

More Related Content

What's hot

Verification Automation Using IPXACT
Verification Automation Using IPXACTVerification Automation Using IPXACT
Verification Automation Using IPXACT
DVClub
 
Uvm presentation dac2011_final
Uvm presentation dac2011_finalUvm presentation dac2011_final
Uvm presentation dac2011_final
sean chen
 

What's hot (20)

OVERCOMING KEY CHALLENGES OF TODAY'S COMPLEX SOC: PERFORMANCE OPTIMIZATION AN...
OVERCOMING KEY CHALLENGES OF TODAY'S COMPLEX SOC: PERFORMANCE OPTIMIZATION AN...OVERCOMING KEY CHALLENGES OF TODAY'S COMPLEX SOC: PERFORMANCE OPTIMIZATION AN...
OVERCOMING KEY CHALLENGES OF TODAY'S COMPLEX SOC: PERFORMANCE OPTIMIZATION AN...
 
Verification Automation Using IPXACT
Verification Automation Using IPXACTVerification Automation Using IPXACT
Verification Automation Using IPXACT
 
Complete ASIC design flow - VLSI UNIVERSE
Complete ASIC design flow - VLSI UNIVERSEComplete ASIC design flow - VLSI UNIVERSE
Complete ASIC design flow - VLSI UNIVERSE
 
Sharam salamian
Sharam salamianSharam salamian
Sharam salamian
 
H S
H SH S
H S
 
Physical Design Services
Physical Design ServicesPhysical Design Services
Physical Design Services
 
Bringing Engineering Analysis Codes Into Real-Time Full-Scope Simulators
Bringing Engineering Analysis Codes Into Real-Time Full-Scope SimulatorsBringing Engineering Analysis Codes Into Real-Time Full-Scope Simulators
Bringing Engineering Analysis Codes Into Real-Time Full-Scope Simulators
 
FUSION APU & TRENDS/ CHALLENGES IN FUTURE SoC DESIGN
FUSION APU & TRENDS/ CHALLENGES IN FUTURE SoC DESIGNFUSION APU & TRENDS/ CHALLENGES IN FUTURE SoC DESIGN
FUSION APU & TRENDS/ CHALLENGES IN FUTURE SoC DESIGN
 
AMD_11th_Intl_SoC_Conf_UCI_Irvine
AMD_11th_Intl_SoC_Conf_UCI_IrvineAMD_11th_Intl_SoC_Conf_UCI_Irvine
AMD_11th_Intl_SoC_Conf_UCI_Irvine
 
ASIC design verification
ASIC design verificationASIC design verification
ASIC design verification
 
OLA Conf 2002 - OLA in SoC Design Environment - paper
OLA Conf 2002 - OLA in SoC Design Environment - paperOLA Conf 2002 - OLA in SoC Design Environment - paper
OLA Conf 2002 - OLA in SoC Design Environment - paper
 
SOC Verification using SystemVerilog
SOC Verification using SystemVerilog SOC Verification using SystemVerilog
SOC Verification using SystemVerilog
 
ASIC design Flow (Digital Design)
ASIC design Flow (Digital Design)ASIC design Flow (Digital Design)
ASIC design Flow (Digital Design)
 
Tierney bq207
Tierney bq207Tierney bq207
Tierney bq207
 
Qualifying a high performance memory subsysten for Functional Safety
Qualifying a high performance memory subsysten for Functional SafetyQualifying a high performance memory subsysten for Functional Safety
Qualifying a high performance memory subsysten for Functional Safety
 
Uvm presentation dac2011_final
Uvm presentation dac2011_finalUvm presentation dac2011_final
Uvm presentation dac2011_final
 
Spyglass dft
Spyglass dftSpyglass dft
Spyglass dft
 
Define Width and Height of Core and Die (http://www.vlsisystemdesign.com/PD-F...
Define Width and Height of Core and Die (http://www.vlsisystemdesign.com/PD-F...Define Width and Height of Core and Die (http://www.vlsisystemdesign.com/PD-F...
Define Width and Height of Core and Die (http://www.vlsisystemdesign.com/PD-F...
 
Lect01 flow
Lect01 flowLect01 flow
Lect01 flow
 
Functional verification techniques EW16 session
Functional verification techniques  EW16 sessionFunctional verification techniques  EW16 session
Functional verification techniques EW16 session
 

Similar to Trends in Mixed Signal Validation

A Systematic Approach to Creating Behavioral Models (white paper) v1.0
A Systematic Approach to Creating Behavioral Models (white paper) v1.0A Systematic Approach to Creating Behavioral Models (white paper) v1.0
A Systematic Approach to Creating Behavioral Models (white paper) v1.0
Robert O. Peruzzi, PhD, PE, DFE
 
Verilog Ams Used In Top Down Methodology For Wireless Integrated Circuits
Verilog Ams Used In Top Down Methodology For Wireless Integrated CircuitsVerilog Ams Used In Top Down Methodology For Wireless Integrated Circuits
Verilog Ams Used In Top Down Methodology For Wireless Integrated Circuits
Régis SANTONJA
 
[DCG 25] Александр Большев - Never Trust Your Inputs or How To Fool an ADC
[DCG 25] Александр Большев - Never Trust Your Inputs or How To Fool an ADC [DCG 25] Александр Большев - Never Trust Your Inputs or How To Fool an ADC
[DCG 25] Александр Большев - Never Trust Your Inputs or How To Fool an ADC
DefconRussia
 
Roy aeroVerifying Power Domains in AeroFONE
Roy aeroVerifying Power Domains in AeroFONERoy aeroVerifying Power Domains in AeroFONE
Roy aeroVerifying Power Domains in AeroFONE
DVClub
 

Similar to Trends in Mixed Signal Validation (20)

Mixed signal verification challenges
Mixed signal verification challengesMixed signal verification challenges
Mixed signal verification challenges
 
A Systematic Approach to Creating Behavioral Models (white paper) v1.0
A Systematic Approach to Creating Behavioral Models (white paper) v1.0A Systematic Approach to Creating Behavioral Models (white paper) v1.0
A Systematic Approach to Creating Behavioral Models (white paper) v1.0
 
Re usable continuous-time analog sva assertions
Re usable continuous-time analog sva assertionsRe usable continuous-time analog sva assertions
Re usable continuous-time analog sva assertions
 
Glsv00dare
Glsv00dareGlsv00dare
Glsv00dare
 
Vlsi
VlsiVlsi
Vlsi
 
C044061518
C044061518C044061518
C044061518
 
Digital Control Systems
Digital  Control   Systems Digital  Control   Systems
Digital Control Systems
 
Co emulation of scan-chain based designs
Co emulation of scan-chain based designsCo emulation of scan-chain based designs
Co emulation of scan-chain based designs
 
Verilog Ams Used In Top Down Methodology For Wireless Integrated Circuits
Verilog Ams Used In Top Down Methodology For Wireless Integrated CircuitsVerilog Ams Used In Top Down Methodology For Wireless Integrated Circuits
Verilog Ams Used In Top Down Methodology For Wireless Integrated Circuits
 
Lear unified env_paper-1
Lear unified env_paper-1Lear unified env_paper-1
Lear unified env_paper-1
 
Overview of RTaW SysML-Companion
Overview of RTaW SysML-Companion Overview of RTaW SysML-Companion
Overview of RTaW SysML-Companion
 
[DCG 25] Александр Большев - Never Trust Your Inputs or How To Fool an ADC
[DCG 25] Александр Большев - Never Trust Your Inputs or How To Fool an ADC [DCG 25] Александр Большев - Never Trust Your Inputs or How To Fool an ADC
[DCG 25] Александр Большев - Never Trust Your Inputs or How To Fool an ADC
 
Roy aeroVerifying Power Domains in AeroFONE
Roy aeroVerifying Power Domains in AeroFONERoy aeroVerifying Power Domains in AeroFONE
Roy aeroVerifying Power Domains in AeroFONE
 
Toward Automatic Generation of Models with Probes from the SDL System Specifi...
Toward Automatic Generation of Models with Probes from the SDL System Specifi...Toward Automatic Generation of Models with Probes from the SDL System Specifi...
Toward Automatic Generation of Models with Probes from the SDL System Specifi...
 
Never Trust Your Inputs or how to fool an ADC
Never Trust Your Inputs or how to fool an ADCNever Trust Your Inputs or how to fool an ADC
Never Trust Your Inputs or how to fool an ADC
 
Gene's law
Gene's lawGene's law
Gene's law
 
Hardware Description Language
Hardware Description Language Hardware Description Language
Hardware Description Language
 
slide8.ppt
slide8.pptslide8.ppt
slide8.ppt
 
Hardware Implementation and analysis of a Seven Level MLI with SVPWM
Hardware Implementation and analysis of a Seven Level  MLI with SVPWMHardware Implementation and analysis of a Seven Level  MLI with SVPWM
Hardware Implementation and analysis of a Seven Level MLI with SVPWM
 
Dill may-2008
Dill may-2008Dill may-2008
Dill may-2008
 

More from DVClub

IP Reuse Impact on Design Verification Management Across the Enterprise
IP Reuse Impact on Design Verification Management Across the EnterpriseIP Reuse Impact on Design Verification Management Across the Enterprise
IP Reuse Impact on Design Verification Management Across the Enterprise
DVClub
 
Cisco Base Environment Overview
Cisco Base Environment OverviewCisco Base Environment Overview
Cisco Base Environment Overview
DVClub
 
Intel Xeon Pre-Silicon Validation: Introduction and Challenges
Intel Xeon Pre-Silicon Validation: Introduction and ChallengesIntel Xeon Pre-Silicon Validation: Introduction and Challenges
Intel Xeon Pre-Silicon Validation: Introduction and Challenges
DVClub
 
Verification of Graphics ASICs (Part II)
Verification of Graphics ASICs (Part II)Verification of Graphics ASICs (Part II)
Verification of Graphics ASICs (Part II)
DVClub
 
Verification of Graphics ASICs (Part I)
Verification of Graphics ASICs (Part I)Verification of Graphics ASICs (Part I)
Verification of Graphics ASICs (Part I)
DVClub
 
Stop Writing Assertions! Efficient Verification Methodology
Stop Writing Assertions! Efficient Verification MethodologyStop Writing Assertions! Efficient Verification Methodology
Stop Writing Assertions! Efficient Verification Methodology
DVClub
 
Validation and Design in a Small Team Environment
Validation and Design in a Small Team EnvironmentValidation and Design in a Small Team Environment
Validation and Design in a Small Team Environment
DVClub
 
Verification In A Global Design Community
Verification In A Global Design CommunityVerification In A Global Design Community
Verification In A Global Design Community
DVClub
 
Design Verification Using SystemC
Design Verification Using SystemCDesign Verification Using SystemC
Design Verification Using SystemC
DVClub
 
Verification Strategy for PCI-Express
Verification Strategy for PCI-ExpressVerification Strategy for PCI-Express
Verification Strategy for PCI-Express
DVClub
 
SystemVerilog Assertions (SVA) in the Design/Verification Process
SystemVerilog Assertions (SVA) in the Design/Verification ProcessSystemVerilog Assertions (SVA) in the Design/Verification Process
SystemVerilog Assertions (SVA) in the Design/Verification Process
DVClub
 
Efficiency Through Methodology
Efficiency Through MethodologyEfficiency Through Methodology
Efficiency Through Methodology
DVClub
 
Pre-Si Verification for Post-Si Validation
Pre-Si Verification for Post-Si ValidationPre-Si Verification for Post-Si Validation
Pre-Si Verification for Post-Si Validation
DVClub
 
Intel Atom Processor Pre-Silicon Verification Experience
Intel Atom Processor Pre-Silicon Verification ExperienceIntel Atom Processor Pre-Silicon Verification Experience
Intel Atom Processor Pre-Silicon Verification Experience
DVClub
 
Using Assertions in AMS Verification
Using Assertions in AMS VerificationUsing Assertions in AMS Verification
Using Assertions in AMS Verification
DVClub
 
Low-Power Design and Verification
Low-Power Design and VerificationLow-Power Design and Verification
Low-Power Design and Verification
DVClub
 
UVM Update: Register Package
UVM Update: Register PackageUVM Update: Register Package
UVM Update: Register Package
DVClub
 
Verification of the QorIQ Communication Platform Containing CoreNet Fabric wi...
Verification of the QorIQ Communication Platform Containing CoreNet Fabric wi...Verification of the QorIQ Communication Platform Containing CoreNet Fabric wi...
Verification of the QorIQ Communication Platform Containing CoreNet Fabric wi...
DVClub
 
Verification of Wireless SoCs: No Longer in the Dark Ages
Verification of Wireless SoCs: No Longer in the Dark AgesVerification of Wireless SoCs: No Longer in the Dark Ages
Verification of Wireless SoCs: No Longer in the Dark Ages
DVClub
 
I Never Thought I Would Grow Up to be This Formal
I Never Thought I Would Grow Up to be This FormalI Never Thought I Would Grow Up to be This Formal
I Never Thought I Would Grow Up to be This Formal
DVClub
 

More from DVClub (20)

IP Reuse Impact on Design Verification Management Across the Enterprise
IP Reuse Impact on Design Verification Management Across the EnterpriseIP Reuse Impact on Design Verification Management Across the Enterprise
IP Reuse Impact on Design Verification Management Across the Enterprise
 
Cisco Base Environment Overview
Cisco Base Environment OverviewCisco Base Environment Overview
Cisco Base Environment Overview
 
Intel Xeon Pre-Silicon Validation: Introduction and Challenges
Intel Xeon Pre-Silicon Validation: Introduction and ChallengesIntel Xeon Pre-Silicon Validation: Introduction and Challenges
Intel Xeon Pre-Silicon Validation: Introduction and Challenges
 
Verification of Graphics ASICs (Part II)
Verification of Graphics ASICs (Part II)Verification of Graphics ASICs (Part II)
Verification of Graphics ASICs (Part II)
 
Verification of Graphics ASICs (Part I)
Verification of Graphics ASICs (Part I)Verification of Graphics ASICs (Part I)
Verification of Graphics ASICs (Part I)
 
Stop Writing Assertions! Efficient Verification Methodology
Stop Writing Assertions! Efficient Verification MethodologyStop Writing Assertions! Efficient Verification Methodology
Stop Writing Assertions! Efficient Verification Methodology
 
Validation and Design in a Small Team Environment
Validation and Design in a Small Team EnvironmentValidation and Design in a Small Team Environment
Validation and Design in a Small Team Environment
 
Verification In A Global Design Community
Verification In A Global Design CommunityVerification In A Global Design Community
Verification In A Global Design Community
 
Design Verification Using SystemC
Design Verification Using SystemCDesign Verification Using SystemC
Design Verification Using SystemC
 
Verification Strategy for PCI-Express
Verification Strategy for PCI-ExpressVerification Strategy for PCI-Express
Verification Strategy for PCI-Express
 
SystemVerilog Assertions (SVA) in the Design/Verification Process
SystemVerilog Assertions (SVA) in the Design/Verification ProcessSystemVerilog Assertions (SVA) in the Design/Verification Process
SystemVerilog Assertions (SVA) in the Design/Verification Process
 
Efficiency Through Methodology
Efficiency Through MethodologyEfficiency Through Methodology
Efficiency Through Methodology
 
Pre-Si Verification for Post-Si Validation
Pre-Si Verification for Post-Si ValidationPre-Si Verification for Post-Si Validation
Pre-Si Verification for Post-Si Validation
 
Intel Atom Processor Pre-Silicon Verification Experience
Intel Atom Processor Pre-Silicon Verification ExperienceIntel Atom Processor Pre-Silicon Verification Experience
Intel Atom Processor Pre-Silicon Verification Experience
 
Using Assertions in AMS Verification
Using Assertions in AMS VerificationUsing Assertions in AMS Verification
Using Assertions in AMS Verification
 
Low-Power Design and Verification
Low-Power Design and VerificationLow-Power Design and Verification
Low-Power Design and Verification
 
UVM Update: Register Package
UVM Update: Register PackageUVM Update: Register Package
UVM Update: Register Package
 
Verification of the QorIQ Communication Platform Containing CoreNet Fabric wi...
Verification of the QorIQ Communication Platform Containing CoreNet Fabric wi...Verification of the QorIQ Communication Platform Containing CoreNet Fabric wi...
Verification of the QorIQ Communication Platform Containing CoreNet Fabric wi...
 
Verification of Wireless SoCs: No Longer in the Dark Ages
Verification of Wireless SoCs: No Longer in the Dark AgesVerification of Wireless SoCs: No Longer in the Dark Ages
Verification of Wireless SoCs: No Longer in the Dark Ages
 
I Never Thought I Would Grow Up to be This Formal
I Never Thought I Would Grow Up to be This FormalI Never Thought I Would Grow Up to be This Formal
I Never Thought I Would Grow Up to be This Formal
 

Recently uploaded

Recently uploaded (20)

DBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor Presentation
 
Apidays Singapore 2024 - Scalable LLM APIs for AI and Generative AI Applicati...
Apidays Singapore 2024 - Scalable LLM APIs for AI and Generative AI Applicati...Apidays Singapore 2024 - Scalable LLM APIs for AI and Generative AI Applicati...
Apidays Singapore 2024 - Scalable LLM APIs for AI and Generative AI Applicati...
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected Worker
 
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
 
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
 
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
 
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ..."I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...
 
MS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectorsMS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectors
 
Navi Mumbai Call Girls 🥰 8617370543 Service Offer VIP Hot Model
Navi Mumbai Call Girls 🥰 8617370543 Service Offer VIP Hot ModelNavi Mumbai Call Girls 🥰 8617370543 Service Offer VIP Hot Model
Navi Mumbai Call Girls 🥰 8617370543 Service Offer VIP Hot Model
 
Ransomware_Q4_2023. The report. [EN].pdf
Ransomware_Q4_2023. The report. [EN].pdfRansomware_Q4_2023. The report. [EN].pdf
Ransomware_Q4_2023. The report. [EN].pdf
 
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodPolkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
 
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
 
Real Time Object Detection Using Open CV
Real Time Object Detection Using Open CVReal Time Object Detection Using Open CV
Real Time Object Detection Using Open CV
 
A Beginners Guide to Building a RAG App Using Open Source Milvus
A Beginners Guide to Building a RAG App Using Open Source MilvusA Beginners Guide to Building a RAG App Using Open Source Milvus
A Beginners Guide to Building a RAG App Using Open Source Milvus
 
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
 
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...
 
AXA XL - Insurer Innovation Award Americas 2024
AXA XL - Insurer Innovation Award Americas 2024AXA XL - Insurer Innovation Award Americas 2024
AXA XL - Insurer Innovation Award Americas 2024
 
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdfBoost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdf
 
ICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesICT role in 21st century education and its challenges
ICT role in 21st century education and its challenges
 
A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?
 

Trends in Mixed Signal Validation

  • 1. Sunil Kumar Intel, Bangalore Trends in Mixed Signal Validation
  • 2. Agenda Mixed Signal System Evolution of MSV Verilog-AMS Overview Mixed Signal Tools Steps in MSV Conclusion
  • 3. Mixed Signal System A system having some parts in analog domain and some in digital domain A typical chip has these mixed signal blocks: PLLs and CLK dist. Power Distribution Thermal Sensors Resets High Speed Interconnect BIAS Gen/Comp Sideband IOs
  • 4. Mixed Signal System: An Example Serializer De- serializer Clock and Data Recovery PLL PLL BIAS Generation BIAS Generation
  • 5. Evolution of MSV Generation I Analog Digital interactions were quite less Analog was verified in CKT simulator while digital was verified in digital simulator A D were verified by manually review Generation II Analog blocks were modeled in Verilog/VHDL These models were calibrated with CKT to some extent Analog blocks were still verified in CKT simulators A D were covered using the created models The models were incapable of modeling analog behavior, e.g., voltage levels, ramp, termination effect etc
  • 6. Evolution of MSV Generation III Share of Mixed signal circuits has grown rapidly PLLs, DDR3/4, PCI Express, 10/40GbE, HyperTransport, FBD, QPI Digital models are not sufficient enough HDLs have been created for analog and mixed signal Verilog-AMS, VHDL-AMS Analog and mixed signal blocks are modeled in AMS HDL New tools came up to support these languages Mentor’s ADMS, Cadence’s AMS, Synopsys’s Discovery-AMS Most of these tools have started supporting Fast SPICE
  • 7. SPICE Verilog-A Verilog-AMS Overview Extension of Verilog HDL Adds analog and mixed signal capabilities Alignment of Verilog-AMS with the SystemVerilog is WIP Verilog-D MS Extension Verilog-AMS
  • 8. Verilog-AMS: Examples `include “disciplines.vams” module res10ohm ( res_in, res_out ); inout res_in, res_out; electrical res_in, res_out; parameter real RES_VALUE = 10.0; analog begin V(res_in, res_out) <+ RES_VALUE*I(res_in, res_out); end endmodule `include “disciplines.vams” module dig2ana ( dig_in, ana_out ); input dig_in; output ana_out; wire dig_in; electrical ana_out; real ana_value; analog begin if (dig_in == 1) ana_value = 1.1; else ana_value = 0.0; V(ana_out) <+ transition(ana_value, 0, 10e-12);/ end endmodule
  • 9. On Modeling Validation is as good as the models The models need to be accurate enough And for speed, they need to have enough abstractions Verilog-AMS Verilog/SV SPICE AccuracySpeed
  • 10. Mixed Signal Tools Combine two different methods of simulation Event-driven simulation as found in logic simulators Continuous-time simulation as found in circuit simulators Use digital simulator and analog simulator Mentor’s ADMS : Modelsim + Eldo Synopsys’s Discovery-AMS: VCS + Nanosim Cadence’s AMS: NC-Sim + Spectre On top of these the tool has to Split the netlist in Verilog and SPICE and insertion of connect modules Set up and run the simulation by synchronizing the time steps of two simulators
  • 11. Steps in MSV Step 1: Modeling Identify the CKT blocks which needs to be modeled in AMS Create AMS models with inputs from CKT team Extensively calibrate these models with the corresponding CKT blocks Step 2: Block Validation Extensive validation of all the closed loops and complex features in lower level testbenches Each analog block can have any one of the views: Digital, AMS, SPICE Step 3: Cluster/System Level Validation Validate the sequence and inter-dependencies of the features validated at block level Most of the traditional digital validation techniques can be used, e.g., randomization, coverage, Specman/SV based testbenches etc. Reuse of corresponding digital validation environment is possible
  • 12. Example: Charge Pump PLL Ref: August, N., “A Robust and Efficient Pre-Silicon Validation Environment for Mixed-Signal Circuits on Intel's Test Chips”, ISQED 2008
  • 13. Analog Driver (Verilog-AMS Module) Test (SV Program) Harness (SV Class) MSV Testbench in SV BFM1 (SV Class) BFMN (SV Class) Checker1 (SV Class) CheckerN (SV Class) Interface1 InterfaceN DUT (Mixed Analog and Digital) Clock Generator Analog Sources Reset Generator SV Wrapper (SV Module) Top Level (SV Module) Ref: August, N., “A Robust and Efficient Pre-Silicon Validation Environment for Mixed-Signal Circuits on Intel's Test Chips”, ISQED 2008 Analog Digital
  • 14. Conclusions Mixed Signal Validation has become an important component of the validation space The MSV tools have matured Many fatal bugs which were earlier found only in post-silicon can be uncovered in MSV Most of the digital validation techniques can be used
  • 15. References Verilog-AMS Language Reference Manual http://www.verilog.org/verilog-ams/htmlpages/public- docs/lrm/2.3/VAMS-LRM-2-3.pdf “The Designer’s Guide to Verilog-AMS”, Kenneth S. Kundert and Olaf Zinke, Springer, 2004 Verilog-AMS models examples: http://www.designers-guide.org/VerilogAMS/
  • 16. Q&A