SlideShare a Scribd company logo
1 of 29
Download to read offline
Advanced methodologies used for
top-level verification of mixed signal products

Roger Witlox/Marcel Oosterhuis
NXP, BU Automotive, PL Integrated IVN & Flexray
Agenda

 Our products (DUT)
 Second time right strategy
 Design Trends and Verification Scope
 Architecture
 Used methods
  –   Self Checking (vmonitor)
  –   Checkers
  –   Modelling
  –   Coverage
 Summary




                                                                         COMPANY CONFIDENTIAL   2
                                    Top-level verification of mixed signal products -   2010 Dec 6
Our products (DUT)

• Automotive Power
• In Vehicle Networking
       •     LIN, CAN, FlexRay
• Sensors
• Tire Pressure Monitoring
• Car Access & Immobilizers
• Telematics (Road pricing & E-Call)




                                                                            COMPANY CONFIDENTIAL   3
                                       Top-level verification of mixed signal products -   2010 Dec 6
FlexRay Bus Topology




                                                            COMPANY CONFIDENTIAL   4
                       Top-level verification of mixed signal products -   2010 Dec 6
Electronic Control Unit (ECU)

                               ‘Digital’
                              processing




                    ‘Analog mixed signal’
                 IVN                actuator/driver
                                     Bulb
                                     Led
             Physical layer          Motor
                                     Valve
                                     Engine
    CAN

                 power           sensor processing

                SMPS                 Temperature
                                     Wheel speed
                LDO(s)               Steering angle




                                                                                COMPANY CONFIDENTIAL   5
                                           Top-level verification of mixed signal products -   2010 Dec 6
Second time right strategy




                                                                         MRA == Tape-out
 Three instruments:
  – Product Potential Study (IP level, temperature, process)
  – Verification (simulation based, pre-silicon, top-level )
  – Validation (measurements, post-silicon)


 Verification goal:
  – Design first time functional correct.


                                                                                 COMPANY CONFIDENTIAL   6
                                            Top-level verification of mixed signal products -   2010 Dec 6
Design trends

 Increasing complexity of our products due to the following trends:
  – Power modes.
      • Green products:
           – E.g. normal, standby and sleep mode.
  – Digital trimming.
      • Adjust analog design after production.
  – Auto calibration.
      • Measure and program required trim values during test.
  – Integration.
      • More IPs on a chip:
           – E.g. LIN transceiver + voltage regulator

 Top-level verification saves time and money:
  – By finding bugs early in the design phase.
  – By avoiding re-spins.




                                                                                      COMPANY CONFIDENTIAL   7
                                                 Top-level verification of mixed signal products -   2010 Dec 6
Top-level Verification Scope

 Not a top-level product potential study (PPS).
  – Using only typical temperature and process parameters.
 Assumes IP is functionally correct.
  – No exhaustive verification of IP functions.
 Interconnect
  – Are all required top-level connection available and correct?
       • E.g. Swapped busses.
                                                                                X[0:7]             In[7:0]
 Interoperability
  – Is the functionality of the connections as expected?
       • E.g. Polarity or Chicken & Egg issues
                                                                                                 clk
                                                                             control                     PLL
            uv         enable
                                                                                                 bias

                                                                                  COMPANY CONFIDENTIAL          8
                                             Top-level verification of mixed signal products -          2010 Dec 6
Agenda

 Our products (DUT)
 Second time right strategy
 Design Trends and Verification Scope
 Architecture
 Used methods
  –   Self Checking (vmonitor)
  –   Checkers
  –   Modelling
  –   Coverage
 Summary




                                                                         COMPANY CONFIDENTIAL   9
                                    Top-level verification of mixed signal products -   2010 Dec 6
Design Architecture

 Analog IP is mainly connected via digital core.
  – Very few connection between analog blocks directly.
 Almost all chip pins have a “digital” behavior:
  – Transition between two valid steady states.



 Enables ‘digital’ verification techniques                                                  RX
                                                                             al
                                                                    OSC Digit                TX
                                                                      UV




                                                                             COMPANY CONFIDENTIAL 10
                                        Top-level verification of mixed signal products -   2010 Dec 6
Test-bench environment                                    TCL
                                                                           ON/OFF
                                                                          VSOURCE


                                                                          VMONITOR
                                                                          EXPECTED              DUT
                                                                          ERROR

 TCL input file:              PASS/FAIL         ERROR++
                                                                          VMONITOR
                                                                          EXPECTED
  – Controls test-bench components                                        ERROR

       • Enabling voltage sources.
       • Generating expected values for checkers.

 Central error signal to indicate passing/failing test-cases.
 Scripts:
  – Run a single test-case on the DUT with a selectable configuration
  – Regression to simulate all test-cases efficiently.
 Simulations:
  – Spectre (analog)
  – Nc-sim (digital)




                                                                                 COMPANY CONFIDENTIAL 11
                                            Top-level verification of mixed signal products -   2010 Dec 6
Test-bench architecture

 Verilog-AMS:
  – TB and verification components:
      • Manually (ASCII editor).
  – DUT and sub-components
      • Generated from the schematic by virtuoso (verilog-AMS netlist).

 Verification components for driving and checking signals
  – Verification library.
  – Digitally controlled:
      • Vsource (on/off, levels, rise time, fall time)
      • Vmonitor (enable, expected value, levels)




                                                                                     COMPANY CONFIDENTIAL 12
                                                Top-level verification of mixed signal products -   2010 Dec 6
Test-bench architecture
                          Testbench (vams)
                           VC (vams)                                               DUT
                                                                       VBAT
                                       vsource                                           UV
deposit ena_vbat = 1’b1                                                                 OSC
run 100 us
deposit txd = 1’b1
deposit lin_exp = 1’b0
run 250 us
deposit txd = 1’b0                                                                                    DIGITAL
                                                                        TXD
deposit lin_exp = 1’b1                                                                                 CORE
run 100 us                                                             RXD



       test1.tcl                                                       LIN
                                    error    vmonitor                                   TRX
                                             vsource



                                                                                       COMPANY CONFIDENTIAL 13
                                                  Top-level verification of mixed signal products -    2010 Dec 6
Resulting Waveforms


  VBAT                                                                                             12 V
                                                                                                   0V
                                                                                                   1
   TXD
                                                                                                   0


exp. val                                                                                           1
                                                                                                   0

                                                                                                   12 V
     LIN
                                                                                                   0V



                                                     deposit txd = 1’b1
       deposit ena_vbat = 1’b1
                                                     deposit lin_exp = 1’b0

                      deposit txd = 1’b1
                      deposit lin_exp = 1’b0


                                                                                    COMPANY CONFIDENTIAL 14
                                               Top-level verification of mixed signal products -   2010 Dec 6
Agenda

 Our products (DUT)
 Second time right strategy
 Design Trends and Verification Scope
 Architecture
 Used methods
  –   Self Checking (vmonitor)
  –   Checkers
  –   Modelling
  –   Coverage
 Summary




                                                                         COMPANY CONFIDENTIAL 15
                                    Top-level verification of mixed signal products -   2010 Dec 6
Self Checking

 Required for:
  – handling a large set of test-cases or comparing tape-outs:
      • Pass/Fail detection without eye-balling waveforms.
  – Continuous checking
      • No sampling

 Vmonitor:
  – Comparing expected value with actual value.
  – Can be applied for analog signal with “digital” behavior.
      • Two steady states.



             Expected (0/1)
                                  Vmonitor                 Error (0/1)
                 Actual (V)




                                                                                 COMPANY CONFIDENTIAL 16
                                            Top-level verification of mixed signal products -   2010 Dec 6
Vmonitor
                         1
    Expected value
                         0

                                                                               min max

                     X
                     1

                     X
V
                     0
                     X
            T


                             Monitor detects failure.                         Transition box


                                                                              COMPANY CONFIDENTIAL 17
                                         Top-level verification of mixed signal products -   2010 Dec 6
Checkers

 Splitting stimuli and expected value generation.
  – Enables re-usability.
  – Better maintainable:
      • No need to change expected value when changing stimuli.

 Models are used to generate the expected values.
  – By using the input stimuli.
  – Enables random stimuli generation.
 Checker
  – Combination of a model(s) and vmonitor(s).
 Checkers can be reused.
  – Within the project:
      • Checkers enabled during all use cases
  – Across projects:
      • Checkers are often IP specific and can be reused when IP is reused.




                                                                                COMPANY CONFIDENTIAL 18
                                           Top-level verification of mixed signal products -   2010 Dec 6
Checkers
                          Testbench (vams)
                           VC (vams)                                                      DUT
                                                                              VBAT
                                         vsource                                                UV
deposit ena_vbat = 1’b1                                                                        OSC
run 100 us
deposit txd = 1’b1                                                            RXD
#deposit lin_exp = 1’b0                                                       TXD
run 250 us
deposit txd = 1’b0                                                                                           DIGITAL
#deposit lin_exp = 1’b1                LIN checker                                                            CORE
run 100 us
                                                     model
                                        Expected value
                                                                              LIN
       test1.tcl            error                vmonitor                                      TRX
                                                     vsource



                                                                                              COMPANY CONFIDENTIAL 19
                                                         Top-level verification of mixed signal products -    2010 Dec 6
Modeling

 Use verilog-ams models to speed-up simulation.
 Possible for IP:
  – that is already verified in other test-cases (using the analog design).
  – that is not used in the current test-case.
 Typical example of IP that are candidate to be replaced:
  – Oscillators
 Selection between schematic or model is stored in a configuration file.




                                                                                COMPANY CONFIDENTIAL 20
                                           Top-level verification of mixed signal products -   2010 Dec 6
Modeling
                          Testbench (vams)
                           VC (vams)                                                      DUT
                                                                              VBAT
                                         vsource                                                UV
deposit ena_vbat = 1’b1                                                                        OSC
run 100 us
deposit txd = 1’b1                                                            RXD
#deposit lin_exp = 1’b0                                                       TXD
run 250 us
deposit txd = 1’b0                                                                                           DIGITAL
#deposit lin_exp = 1’b1                LIN checker                                                            CORE
run 100 us
                                                     model
                                        Expected value
      test1.tcl                                                               LIN
                            error                vmonitor                                      TRX
                                                     vsource
   Model



                                                                                              COMPANY CONFIDENTIAL 21
                                                         Top-level verification of mixed signal products -    2010 Dec 6
Coverage

 Used to give a better insight in the verification quality.
 Implemented using SystemVerilog
  – Merge of Verilog/Verilog-AMS/SystemVerilog planned.
 Usage:
  – Verification Component (vc_dig)
       • Cover the executed test-cases and the results (pass/fail).
  – Checker:
       • Cover the state in which the design has been during simulation.
  – Vmonitor:
       • How often a value has been checked.
       • The expected value that to be checked.
       • The delay between expected value an actual value.




                                                                                   COMPANY CONFIDENTIAL 22
                                              Top-level verification of mixed signal products -   2010 Dec 6
Coverage
            Testbench (vams)
              VC (vams)                                                                     DUT
               VC_DIG (sv)
                                                                                VBAT
                        ena_vbat           vsource                                                UV
                                                                                                 OSC
                                                                                RXD
                                                                                TXD
                                txd
                                       LIN checker                                                             DIGITAL
test1.tcl
                                                                                                                CORE
                                                     model


                                                                                LIN
                               error                 vmonitor                                    TRX
                                                     vsource
   SystemVerilog


                                                                                                COMPANY CONFIDENTIAL 23
                                                           Top-level verification of mixed signal products -    2010 Dec 6
Summary

 Initial projects:
   – Interconnect and Interoperability.
   – Directed Test Cases.
   – Self Checking.
 Enhanced:
   – Split Stimuli and checkers:
       • Enables constraint random stimuli.
       • Start using checkers.
       • Expected value retrieved from model.
   – Modeling.
   – Coverage.




                                                                                 COMPANY CONFIDENTIAL 24
                                            Top-level verification of mixed signal products -   2010 Dec 6
Q&A




                                           COMPANY CONFIDENTIAL 25
      Top-level verification of mixed signal products -   2010 Dec 6
Open Verification Methodology

 Natural next step
  – Split between stimuli and checks
      • Enables constraint random stimuli  OVM Sequences
      • Usage of checkers/scoreboards     OVM Scoreboards
  – TLM makes connections between modules easier
      • Analysis ports
  – Generic report mechanism


 Standard methodology
  – Guidelines for creating OVC, scoreboards and generating stimuli.




                                                                              COMPANY CONFIDENTIAL 26
                                         Top-level verification of mixed signal products -   2010 Dec 6
OVM example
Testbench (vams)
 VC (vams)                                                                         DUT
   OVM                            VC_DIG
               vsource ovc                                                               UV
                                                                       VBAT             OSC
                   SEQ   DRIVER   vsource_if   vsource

                                                                       RXD
     virtual                                                           TXD                            DIGITAL
   sequence                                                                                            CORE




                                                                       LIN
                   SEQ   DRIVER   vsource_if   vsource                                  TRX




                                                                                       COMPANY CONFIDENTIAL 27
                                                  Top-level verification of mixed signal products -    2010 Dec 6
Verification Components

 VSOURCE:
  – Sequence item (transfer):
        •   real vv;        // Output voltage value.
        •   real tr;       // Rise/fall time.
        •   real td;       // Delay.
        •   real r;        // Value of the internal series resistor.
        •   logic din;     // Switch-on of voltage source.
        •   logic connect; // Disconnect from analog network.
        •   logic mode; // Use vv or input voltage source for output voltage.
  – D2A done using an existing component (vsource).
 SPI:
  – Sequence item (transfer):
        •   bit [4:0] len; // Number of bits.
        •   bit [31:0] data;
  – D2A/A2D done via connectrules.
 FLEXRAY:
  – Sequence Item (transfer):
        •   abln_flr_state_t state; // lowpower, idle, data0, data1, disabled.
        •   int duration;
  – D2A/A2D done using an existing component (flr_transceiver).


                                                                                            COMPANY CONFIDENTIAL 28
                                                       Top-level verification of mixed signal products -   2010 Dec 6
Virtual Sequences

 Able to create a use-case from a central point.
 Use Case 1:
  – Ramp-up VBAT from 0V to 12 V.
  – Program device via SPI.
  – Transfer data on one flexray port.
 Use Case 2:
  – Ramp-up VBAT from 0V to 12 V.
  – Program device via SPI.
  – Transfer data on two flexray ports at almost the same time.
      • Use case for the arbiter.
      • Concurrent stimuli generation.




                                                                              COMPANY CONFIDENTIAL 29
                                         Top-level verification of mixed signal products -   2010 Dec 6

More Related Content

What's hot

VPX Profiles To Platforms, SIE Computing Solutions
VPX Profiles To Platforms, SIE Computing SolutionsVPX Profiles To Platforms, SIE Computing Solutions
VPX Profiles To Platforms, SIE Computing Solutionsjillmcolna
 
IXXAT--Industrial Ethernet Challenges/Solutions: Embedded World 2010
IXXAT--Industrial Ethernet Challenges/Solutions: Embedded World 2010IXXAT--Industrial Ethernet Challenges/Solutions: Embedded World 2010
IXXAT--Industrial Ethernet Challenges/Solutions: Embedded World 2010Altera Corporation
 
Hardware accelerated virtio networking for nfv linux con
Hardware accelerated virtio networking for nfv linux conHardware accelerated virtio networking for nfv linux con
Hardware accelerated virtio networking for nfv linux consprdd
 
Dc tco in_a_nutshell
Dc tco in_a_nutshellDc tco in_a_nutshell
Dc tco in_a_nutshellerjosito
 
ICE Presentation: Integrated Component Characterization Environment
ICE Presentation: Integrated Component Characterization EnvironmentICE Presentation: Integrated Component Characterization Environment
ICE Presentation: Integrated Component Characterization EnvironmentNMDG NV
 
New Trends with VME and OpenVPX - Part 2
New Trends with VME and OpenVPX - Part 2New Trends with VME and OpenVPX - Part 2
New Trends with VME and OpenVPX - Part 2Eurotech
 
PA Develops an LTE PHY for Catapult
PA Develops an LTE PHY for CatapultPA Develops an LTE PHY for Catapult
PA Develops an LTE PHY for Catapultgrahambell
 
AMC & VPX Form Factor Boards With High Speed SERDES: Embedded World 2010
AMC & VPX Form Factor Boards With High Speed SERDES: Embedded World 2010AMC & VPX Form Factor Boards With High Speed SERDES: Embedded World 2010
AMC & VPX Form Factor Boards With High Speed SERDES: Embedded World 2010Altera Corporation
 
PLNOG 13: Emil Gągała: EVPN – rozwiązanie nie tylko dla Data Center
PLNOG 13: Emil Gągała: EVPN – rozwiązanie nie tylko dla Data CenterPLNOG 13: Emil Gągała: EVPN – rozwiązanie nie tylko dla Data Center
PLNOG 13: Emil Gągała: EVPN – rozwiązanie nie tylko dla Data CenterPROIDEA
 
Products In 2012
Products In 2012Products In 2012
Products In 2012ymamoniat
 

What's hot (19)

Gareth edwards xilinx
Gareth edwards xilinxGareth edwards xilinx
Gareth edwards xilinx
 
VPX Profiles To Platforms, SIE Computing Solutions
VPX Profiles To Platforms, SIE Computing SolutionsVPX Profiles To Platforms, SIE Computing Solutions
VPX Profiles To Platforms, SIE Computing Solutions
 
IXXAT--Industrial Ethernet Challenges/Solutions: Embedded World 2010
IXXAT--Industrial Ethernet Challenges/Solutions: Embedded World 2010IXXAT--Industrial Ethernet Challenges/Solutions: Embedded World 2010
IXXAT--Industrial Ethernet Challenges/Solutions: Embedded World 2010
 
SpaceVPX Tutorial 06282016
SpaceVPX Tutorial 06282016SpaceVPX Tutorial 06282016
SpaceVPX Tutorial 06282016
 
Hardware accelerated virtio networking for nfv linux con
Hardware accelerated virtio networking for nfv linux conHardware accelerated virtio networking for nfv linux con
Hardware accelerated virtio networking for nfv linux con
 
Arthur q207
Arthur q207Arthur q207
Arthur q207
 
Dc tco in_a_nutshell
Dc tco in_a_nutshellDc tco in_a_nutshell
Dc tco in_a_nutshell
 
Open VPX Tutorial
Open VPX TutorialOpen VPX Tutorial
Open VPX Tutorial
 
NewGrid HeNB Gateway Datasheet
NewGrid HeNB Gateway DatasheetNewGrid HeNB Gateway Datasheet
NewGrid HeNB Gateway Datasheet
 
ICE Presentation: Integrated Component Characterization Environment
ICE Presentation: Integrated Component Characterization EnvironmentICE Presentation: Integrated Component Characterization Environment
ICE Presentation: Integrated Component Characterization Environment
 
Avenue Omg
Avenue OmgAvenue Omg
Avenue Omg
 
New Trends with VME and OpenVPX - Part 2
New Trends with VME and OpenVPX - Part 2New Trends with VME and OpenVPX - Part 2
New Trends with VME and OpenVPX - Part 2
 
PA Develops an LTE PHY for Catapult
PA Develops an LTE PHY for CatapultPA Develops an LTE PHY for Catapult
PA Develops an LTE PHY for Catapult
 
AMC & VPX Form Factor Boards With High Speed SERDES: Embedded World 2010
AMC & VPX Form Factor Boards With High Speed SERDES: Embedded World 2010AMC & VPX Form Factor Boards With High Speed SERDES: Embedded World 2010
AMC & VPX Form Factor Boards With High Speed SERDES: Embedded World 2010
 
The CTO's Espresso Guide to SON
The CTO's Espresso Guide to SONThe CTO's Espresso Guide to SON
The CTO's Espresso Guide to SON
 
PLNOG 13: Emil Gągała: EVPN – rozwiązanie nie tylko dla Data Center
PLNOG 13: Emil Gągała: EVPN – rozwiązanie nie tylko dla Data CenterPLNOG 13: Emil Gągała: EVPN – rozwiązanie nie tylko dla Data Center
PLNOG 13: Emil Gągała: EVPN – rozwiązanie nie tylko dla Data Center
 
Servotronix motion control
Servotronix motion controlServotronix motion control
Servotronix motion control
 
AJA D5 CE
AJA D5 CEAJA D5 CE
AJA D5 CE
 
Products In 2012
Products In 2012Products In 2012
Products In 2012
 

Similar to Advanced Methodologies Used for Top-Level Verification of Mixed Signal Products

Flex Stack Rapid Prototyping System
Flex Stack Rapid Prototyping SystemFlex Stack Rapid Prototyping System
Flex Stack Rapid Prototyping Systemfrankp617
 
COMPRION Corporate Brochure
COMPRION Corporate BrochureCOMPRION Corporate Brochure
COMPRION Corporate BrochureKathleen_Loeser
 
Design and development of automated tests for the IoT
Design and development of automated tests for the IoTDesign and development of automated tests for the IoT
Design and development of automated tests for the IoTAxel Rennoch
 
GenerationRFID Test & Embedded Electronics Technology Company
GenerationRFID Test & Embedded Electronics Technology CompanyGenerationRFID Test & Embedded Electronics Technology Company
GenerationRFID Test & Embedded Electronics Technology CompanyÀngels Pinyol Escala
 
Counterfeit Detection Services
Counterfeit Detection ServicesCounterfeit Detection Services
Counterfeit Detection ServicesUSBid Inc.
 
Agilent x1149 Boundary Scan Analyzer
Agilent x1149 Boundary Scan AnalyzerAgilent x1149 Boundary Scan Analyzer
Agilent x1149 Boundary Scan AnalyzerInterlatin
 
20160531 Testing Expo_Benefits and Requirements of Automotive Ethernet
20160531 Testing Expo_Benefits and Requirements of Automotive Ethernet20160531 Testing Expo_Benefits and Requirements of Automotive Ethernet
20160531 Testing Expo_Benefits and Requirements of Automotive EthernetGuenther Trautzl
 
Matrix Security Solutions: PROPAC
Matrix Security Solutions: PROPAC Matrix Security Solutions: PROPAC
Matrix Security Solutions: PROPAC Matrix Comsec
 
Pin pointpresentation
Pin pointpresentationPin pointpresentation
Pin pointpresentationLevan Huan
 
UGM 2015: X1149 workshop
UGM 2015: X1149 workshopUGM 2015: X1149 workshop
UGM 2015: X1149 workshopInterlatin
 
Sample of product development
Sample of product developmentSample of product development
Sample of product developmentTransit-Protect
 
Dcms solution for enterprise monitoring system
Dcms solution for enterprise monitoring systemDcms solution for enterprise monitoring system
Dcms solution for enterprise monitoring systemFanky Christian
 
Lahav Savir - Massively Scaleable Mobile Gateways
Lahav Savir - Massively Scaleable Mobile GatewaysLahav Savir - Massively Scaleable Mobile Gateways
Lahav Savir - Massively Scaleable Mobile GatewaysLahav Savir
 

Similar to Advanced Methodologies Used for Top-Level Verification of Mixed Signal Products (20)

Flex Stack Rapid Prototyping System
Flex Stack Rapid Prototyping SystemFlex Stack Rapid Prototyping System
Flex Stack Rapid Prototyping System
 
COMPRION Corporate Brochure
COMPRION Corporate BrochureCOMPRION Corporate Brochure
COMPRION Corporate Brochure
 
Design and development of automated tests for the IoT
Design and development of automated tests for the IoTDesign and development of automated tests for the IoT
Design and development of automated tests for the IoT
 
GenerationRFID Test & Embedded Electronics Technology Company
GenerationRFID Test & Embedded Electronics Technology CompanyGenerationRFID Test & Embedded Electronics Technology Company
GenerationRFID Test & Embedded Electronics Technology Company
 
Counterfeit Detection Services
Counterfeit Detection ServicesCounterfeit Detection Services
Counterfeit Detection Services
 
Agilent x1149 Boundary Scan Analyzer
Agilent x1149 Boundary Scan AnalyzerAgilent x1149 Boundary Scan Analyzer
Agilent x1149 Boundary Scan Analyzer
 
GT Labs Profile
GT Labs ProfileGT Labs Profile
GT Labs Profile
 
Cm1000 brochure
Cm1000 brochureCm1000 brochure
Cm1000 brochure
 
Sumanth
SumanthSumanth
Sumanth
 
20160531 Testing Expo_Benefits and Requirements of Automotive Ethernet
20160531 Testing Expo_Benefits and Requirements of Automotive Ethernet20160531 Testing Expo_Benefits and Requirements of Automotive Ethernet
20160531 Testing Expo_Benefits and Requirements of Automotive Ethernet
 
Flemish Living Lab Platform Presentation
Flemish Living Lab Platform PresentationFlemish Living Lab Platform Presentation
Flemish Living Lab Platform Presentation
 
Matrix Security Solutions: PROPAC
Matrix Security Solutions: PROPAC Matrix Security Solutions: PROPAC
Matrix Security Solutions: PROPAC
 
Pin pointpresentation
Pin pointpresentationPin pointpresentation
Pin pointpresentation
 
UGM CAN PXI
UGM CAN PXIUGM CAN PXI
UGM CAN PXI
 
UGM 2015: X1149 workshop
UGM 2015: X1149 workshopUGM 2015: X1149 workshop
UGM 2015: X1149 workshop
 
Sample of product development
Sample of product developmentSample of product development
Sample of product development
 
Dcms solution for enterprise monitoring system
Dcms solution for enterprise monitoring systemDcms solution for enterprise monitoring system
Dcms solution for enterprise monitoring system
 
Lahav Savir - Massively Scaleable Mobile Gateways
Lahav Savir - Massively Scaleable Mobile GatewaysLahav Savir - Massively Scaleable Mobile Gateways
Lahav Savir - Massively Scaleable Mobile Gateways
 
ZerLabs 2011
ZerLabs 2011ZerLabs 2011
ZerLabs 2011
 
Technical presentation on
Technical  presentation onTechnical  presentation on
Technical presentation on
 

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 EnterpriseDVClub
 
Cisco Base Environment Overview
Cisco Base Environment OverviewCisco Base Environment Overview
Cisco Base Environment OverviewDVClub
 
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 ChallengesDVClub
 
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 MethodologyDVClub
 
Validating Next Generation CPUs
Validating Next Generation CPUsValidating Next Generation CPUs
Validating Next Generation CPUsDVClub
 
Verification Automation Using IPXACT
Verification Automation Using IPXACTVerification Automation Using IPXACT
Verification Automation Using IPXACTDVClub
 
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 EnvironmentDVClub
 
Trends in Mixed Signal Validation
Trends in Mixed Signal ValidationTrends in Mixed Signal Validation
Trends in Mixed Signal ValidationDVClub
 
Verification In A Global Design Community
Verification In A Global Design CommunityVerification In A Global Design Community
Verification In A Global Design CommunityDVClub
 
Design Verification Using SystemC
Design Verification Using SystemCDesign Verification Using SystemC
Design Verification Using SystemCDVClub
 
Verification Strategy for PCI-Express
Verification Strategy for PCI-ExpressVerification Strategy for PCI-Express
Verification Strategy for PCI-ExpressDVClub
 
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 ProcessDVClub
 
Efficiency Through Methodology
Efficiency Through MethodologyEfficiency Through Methodology
Efficiency Through MethodologyDVClub
 
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 ValidationDVClub
 
OpenSPARC T1 Processor
OpenSPARC T1 ProcessorOpenSPARC T1 Processor
OpenSPARC T1 ProcessorDVClub
 
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 ExperienceDVClub
 
Using Assertions in AMS Verification
Using Assertions in AMS VerificationUsing Assertions in AMS Verification
Using Assertions in AMS VerificationDVClub
 
Low-Power Design and Verification
Low-Power Design and VerificationLow-Power Design and Verification
Low-Power Design and VerificationDVClub
 

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
 
Validating Next Generation CPUs
Validating Next Generation CPUsValidating Next Generation CPUs
Validating Next Generation CPUs
 
Verification Automation Using IPXACT
Verification Automation Using IPXACTVerification Automation Using IPXACT
Verification Automation Using IPXACT
 
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
 
Trends in Mixed Signal Validation
Trends in Mixed Signal ValidationTrends in Mixed Signal Validation
Trends in Mixed Signal Validation
 
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
 
OpenSPARC T1 Processor
OpenSPARC T1 ProcessorOpenSPARC T1 Processor
OpenSPARC T1 Processor
 
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
 

Recently uploaded

The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptx
The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptxThe Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptx
The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptxLoriGlavin3
 
Connect Wave/ connectwave Pitch Deck Presentation
Connect Wave/ connectwave Pitch Deck PresentationConnect Wave/ connectwave Pitch Deck Presentation
Connect Wave/ connectwave Pitch Deck PresentationSlibray Presentation
 
How AI, OpenAI, and ChatGPT impact business and software.
How AI, OpenAI, and ChatGPT impact business and software.How AI, OpenAI, and ChatGPT impact business and software.
How AI, OpenAI, and ChatGPT impact business and software.Curtis Poe
 
"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr Bagan"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr BaganFwdays
 
New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024BookNet Canada
 
The State of Passkeys with FIDO Alliance.pptx
The State of Passkeys with FIDO Alliance.pptxThe State of Passkeys with FIDO Alliance.pptx
The State of Passkeys with FIDO Alliance.pptxLoriGlavin3
 
Digital Identity is Under Attack: FIDO Paris Seminar.pptx
Digital Identity is Under Attack: FIDO Paris Seminar.pptxDigital Identity is Under Attack: FIDO Paris Seminar.pptx
Digital Identity is Under Attack: FIDO Paris Seminar.pptxLoriGlavin3
 
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptx
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptxMerck Moving Beyond Passwords: FIDO Paris Seminar.pptx
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptxLoriGlavin3
 
"Debugging python applications inside k8s environment", Andrii Soldatenko
"Debugging python applications inside k8s environment", Andrii Soldatenko"Debugging python applications inside k8s environment", Andrii Soldatenko
"Debugging python applications inside k8s environment", Andrii SoldatenkoFwdays
 
SALESFORCE EDUCATION CLOUD | FEXLE SERVICES
SALESFORCE EDUCATION CLOUD | FEXLE SERVICESSALESFORCE EDUCATION CLOUD | FEXLE SERVICES
SALESFORCE EDUCATION CLOUD | FEXLE SERVICESmohitsingh558521
 
Nell’iperspazio con Rocket: il Framework Web di Rust!
Nell’iperspazio con Rocket: il Framework Web di Rust!Nell’iperspazio con Rocket: il Framework Web di Rust!
Nell’iperspazio con Rocket: il Framework Web di Rust!Commit University
 
Developer Data Modeling Mistakes: From Postgres to NoSQL
Developer Data Modeling Mistakes: From Postgres to NoSQLDeveloper Data Modeling Mistakes: From Postgres to NoSQL
Developer Data Modeling Mistakes: From Postgres to NoSQLScyllaDB
 
The Ultimate Guide to Choosing WordPress Pros and Cons
The Ultimate Guide to Choosing WordPress Pros and ConsThe Ultimate Guide to Choosing WordPress Pros and Cons
The Ultimate Guide to Choosing WordPress Pros and ConsPixlogix Infotech
 
DevEX - reference for building teams, processes, and platforms
DevEX - reference for building teams, processes, and platformsDevEX - reference for building teams, processes, and platforms
DevEX - reference for building teams, processes, and platformsSergiu Bodiu
 
Use of FIDO in the Payments and Identity Landscape: FIDO Paris Seminar.pptx
Use of FIDO in the Payments and Identity Landscape: FIDO Paris Seminar.pptxUse of FIDO in the Payments and Identity Landscape: FIDO Paris Seminar.pptx
Use of FIDO in the Payments and Identity Landscape: FIDO Paris Seminar.pptxLoriGlavin3
 
Unleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding ClubUnleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding ClubKalema Edgar
 
Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024BookNet Canada
 
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024BookNet Canada
 
Are Multi-Cloud and Serverless Good or Bad?
Are Multi-Cloud and Serverless Good or Bad?Are Multi-Cloud and Serverless Good or Bad?
Are Multi-Cloud and Serverless Good or Bad?Mattias Andersson
 
Hyperautomation and AI/ML: A Strategy for Digital Transformation Success.pdf
Hyperautomation and AI/ML: A Strategy for Digital Transformation Success.pdfHyperautomation and AI/ML: A Strategy for Digital Transformation Success.pdf
Hyperautomation and AI/ML: A Strategy for Digital Transformation Success.pdfPrecisely
 

Recently uploaded (20)

The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptx
The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptxThe Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptx
The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptx
 
Connect Wave/ connectwave Pitch Deck Presentation
Connect Wave/ connectwave Pitch Deck PresentationConnect Wave/ connectwave Pitch Deck Presentation
Connect Wave/ connectwave Pitch Deck Presentation
 
How AI, OpenAI, and ChatGPT impact business and software.
How AI, OpenAI, and ChatGPT impact business and software.How AI, OpenAI, and ChatGPT impact business and software.
How AI, OpenAI, and ChatGPT impact business and software.
 
"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr Bagan"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr Bagan
 
New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
 
The State of Passkeys with FIDO Alliance.pptx
The State of Passkeys with FIDO Alliance.pptxThe State of Passkeys with FIDO Alliance.pptx
The State of Passkeys with FIDO Alliance.pptx
 
Digital Identity is Under Attack: FIDO Paris Seminar.pptx
Digital Identity is Under Attack: FIDO Paris Seminar.pptxDigital Identity is Under Attack: FIDO Paris Seminar.pptx
Digital Identity is Under Attack: FIDO Paris Seminar.pptx
 
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptx
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptxMerck Moving Beyond Passwords: FIDO Paris Seminar.pptx
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptx
 
"Debugging python applications inside k8s environment", Andrii Soldatenko
"Debugging python applications inside k8s environment", Andrii Soldatenko"Debugging python applications inside k8s environment", Andrii Soldatenko
"Debugging python applications inside k8s environment", Andrii Soldatenko
 
SALESFORCE EDUCATION CLOUD | FEXLE SERVICES
SALESFORCE EDUCATION CLOUD | FEXLE SERVICESSALESFORCE EDUCATION CLOUD | FEXLE SERVICES
SALESFORCE EDUCATION CLOUD | FEXLE SERVICES
 
Nell’iperspazio con Rocket: il Framework Web di Rust!
Nell’iperspazio con Rocket: il Framework Web di Rust!Nell’iperspazio con Rocket: il Framework Web di Rust!
Nell’iperspazio con Rocket: il Framework Web di Rust!
 
Developer Data Modeling Mistakes: From Postgres to NoSQL
Developer Data Modeling Mistakes: From Postgres to NoSQLDeveloper Data Modeling Mistakes: From Postgres to NoSQL
Developer Data Modeling Mistakes: From Postgres to NoSQL
 
The Ultimate Guide to Choosing WordPress Pros and Cons
The Ultimate Guide to Choosing WordPress Pros and ConsThe Ultimate Guide to Choosing WordPress Pros and Cons
The Ultimate Guide to Choosing WordPress Pros and Cons
 
DevEX - reference for building teams, processes, and platforms
DevEX - reference for building teams, processes, and platformsDevEX - reference for building teams, processes, and platforms
DevEX - reference for building teams, processes, and platforms
 
Use of FIDO in the Payments and Identity Landscape: FIDO Paris Seminar.pptx
Use of FIDO in the Payments and Identity Landscape: FIDO Paris Seminar.pptxUse of FIDO in the Payments and Identity Landscape: FIDO Paris Seminar.pptx
Use of FIDO in the Payments and Identity Landscape: FIDO Paris Seminar.pptx
 
Unleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding ClubUnleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding Club
 
Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
 
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
 
Are Multi-Cloud and Serverless Good or Bad?
Are Multi-Cloud and Serverless Good or Bad?Are Multi-Cloud and Serverless Good or Bad?
Are Multi-Cloud and Serverless Good or Bad?
 
Hyperautomation and AI/ML: A Strategy for Digital Transformation Success.pdf
Hyperautomation and AI/ML: A Strategy for Digital Transformation Success.pdfHyperautomation and AI/ML: A Strategy for Digital Transformation Success.pdf
Hyperautomation and AI/ML: A Strategy for Digital Transformation Success.pdf
 

Advanced Methodologies Used for Top-Level Verification of Mixed Signal Products

  • 1. Advanced methodologies used for top-level verification of mixed signal products Roger Witlox/Marcel Oosterhuis NXP, BU Automotive, PL Integrated IVN & Flexray
  • 2. Agenda Our products (DUT) Second time right strategy Design Trends and Verification Scope Architecture Used methods – Self Checking (vmonitor) – Checkers – Modelling – Coverage Summary COMPANY CONFIDENTIAL 2 Top-level verification of mixed signal products - 2010 Dec 6
  • 3. Our products (DUT) • Automotive Power • In Vehicle Networking • LIN, CAN, FlexRay • Sensors • Tire Pressure Monitoring • Car Access & Immobilizers • Telematics (Road pricing & E-Call) COMPANY CONFIDENTIAL 3 Top-level verification of mixed signal products - 2010 Dec 6
  • 4. FlexRay Bus Topology COMPANY CONFIDENTIAL 4 Top-level verification of mixed signal products - 2010 Dec 6
  • 5. Electronic Control Unit (ECU) ‘Digital’ processing ‘Analog mixed signal’ IVN actuator/driver Bulb Led Physical layer Motor Valve Engine CAN power sensor processing SMPS Temperature Wheel speed LDO(s) Steering angle COMPANY CONFIDENTIAL 5 Top-level verification of mixed signal products - 2010 Dec 6
  • 6. Second time right strategy MRA == Tape-out Three instruments: – Product Potential Study (IP level, temperature, process) – Verification (simulation based, pre-silicon, top-level ) – Validation (measurements, post-silicon) Verification goal: – Design first time functional correct. COMPANY CONFIDENTIAL 6 Top-level verification of mixed signal products - 2010 Dec 6
  • 7. Design trends Increasing complexity of our products due to the following trends: – Power modes. • Green products: – E.g. normal, standby and sleep mode. – Digital trimming. • Adjust analog design after production. – Auto calibration. • Measure and program required trim values during test. – Integration. • More IPs on a chip: – E.g. LIN transceiver + voltage regulator Top-level verification saves time and money: – By finding bugs early in the design phase. – By avoiding re-spins. COMPANY CONFIDENTIAL 7 Top-level verification of mixed signal products - 2010 Dec 6
  • 8. Top-level Verification Scope Not a top-level product potential study (PPS). – Using only typical temperature and process parameters. Assumes IP is functionally correct. – No exhaustive verification of IP functions. Interconnect – Are all required top-level connection available and correct? • E.g. Swapped busses. X[0:7] In[7:0] Interoperability – Is the functionality of the connections as expected? • E.g. Polarity or Chicken & Egg issues clk control PLL uv enable bias COMPANY CONFIDENTIAL 8 Top-level verification of mixed signal products - 2010 Dec 6
  • 9. Agenda Our products (DUT) Second time right strategy Design Trends and Verification Scope Architecture Used methods – Self Checking (vmonitor) – Checkers – Modelling – Coverage Summary COMPANY CONFIDENTIAL 9 Top-level verification of mixed signal products - 2010 Dec 6
  • 10. Design Architecture Analog IP is mainly connected via digital core. – Very few connection between analog blocks directly. Almost all chip pins have a “digital” behavior: – Transition between two valid steady states. Enables ‘digital’ verification techniques RX al OSC Digit TX UV COMPANY CONFIDENTIAL 10 Top-level verification of mixed signal products - 2010 Dec 6
  • 11. Test-bench environment TCL ON/OFF VSOURCE VMONITOR EXPECTED DUT ERROR TCL input file: PASS/FAIL ERROR++ VMONITOR EXPECTED – Controls test-bench components ERROR • Enabling voltage sources. • Generating expected values for checkers. Central error signal to indicate passing/failing test-cases. Scripts: – Run a single test-case on the DUT with a selectable configuration – Regression to simulate all test-cases efficiently. Simulations: – Spectre (analog) – Nc-sim (digital) COMPANY CONFIDENTIAL 11 Top-level verification of mixed signal products - 2010 Dec 6
  • 12. Test-bench architecture Verilog-AMS: – TB and verification components: • Manually (ASCII editor). – DUT and sub-components • Generated from the schematic by virtuoso (verilog-AMS netlist). Verification components for driving and checking signals – Verification library. – Digitally controlled: • Vsource (on/off, levels, rise time, fall time) • Vmonitor (enable, expected value, levels) COMPANY CONFIDENTIAL 12 Top-level verification of mixed signal products - 2010 Dec 6
  • 13. Test-bench architecture Testbench (vams) VC (vams) DUT VBAT vsource UV deposit ena_vbat = 1’b1 OSC run 100 us deposit txd = 1’b1 deposit lin_exp = 1’b0 run 250 us deposit txd = 1’b0 DIGITAL TXD deposit lin_exp = 1’b1 CORE run 100 us RXD test1.tcl LIN error vmonitor TRX vsource COMPANY CONFIDENTIAL 13 Top-level verification of mixed signal products - 2010 Dec 6
  • 14. Resulting Waveforms VBAT 12 V 0V 1 TXD 0 exp. val 1 0 12 V LIN 0V deposit txd = 1’b1 deposit ena_vbat = 1’b1 deposit lin_exp = 1’b0 deposit txd = 1’b1 deposit lin_exp = 1’b0 COMPANY CONFIDENTIAL 14 Top-level verification of mixed signal products - 2010 Dec 6
  • 15. Agenda Our products (DUT) Second time right strategy Design Trends and Verification Scope Architecture Used methods – Self Checking (vmonitor) – Checkers – Modelling – Coverage Summary COMPANY CONFIDENTIAL 15 Top-level verification of mixed signal products - 2010 Dec 6
  • 16. Self Checking Required for: – handling a large set of test-cases or comparing tape-outs: • Pass/Fail detection without eye-balling waveforms. – Continuous checking • No sampling Vmonitor: – Comparing expected value with actual value. – Can be applied for analog signal with “digital” behavior. • Two steady states. Expected (0/1) Vmonitor Error (0/1) Actual (V) COMPANY CONFIDENTIAL 16 Top-level verification of mixed signal products - 2010 Dec 6
  • 17. Vmonitor 1 Expected value 0 min max X 1 X V 0 X T Monitor detects failure. Transition box COMPANY CONFIDENTIAL 17 Top-level verification of mixed signal products - 2010 Dec 6
  • 18. Checkers Splitting stimuli and expected value generation. – Enables re-usability. – Better maintainable: • No need to change expected value when changing stimuli. Models are used to generate the expected values. – By using the input stimuli. – Enables random stimuli generation. Checker – Combination of a model(s) and vmonitor(s). Checkers can be reused. – Within the project: • Checkers enabled during all use cases – Across projects: • Checkers are often IP specific and can be reused when IP is reused. COMPANY CONFIDENTIAL 18 Top-level verification of mixed signal products - 2010 Dec 6
  • 19. Checkers Testbench (vams) VC (vams) DUT VBAT vsource UV deposit ena_vbat = 1’b1 OSC run 100 us deposit txd = 1’b1 RXD #deposit lin_exp = 1’b0 TXD run 250 us deposit txd = 1’b0 DIGITAL #deposit lin_exp = 1’b1 LIN checker CORE run 100 us model Expected value LIN test1.tcl error vmonitor TRX vsource COMPANY CONFIDENTIAL 19 Top-level verification of mixed signal products - 2010 Dec 6
  • 20. Modeling Use verilog-ams models to speed-up simulation. Possible for IP: – that is already verified in other test-cases (using the analog design). – that is not used in the current test-case. Typical example of IP that are candidate to be replaced: – Oscillators Selection between schematic or model is stored in a configuration file. COMPANY CONFIDENTIAL 20 Top-level verification of mixed signal products - 2010 Dec 6
  • 21. Modeling Testbench (vams) VC (vams) DUT VBAT vsource UV deposit ena_vbat = 1’b1 OSC run 100 us deposit txd = 1’b1 RXD #deposit lin_exp = 1’b0 TXD run 250 us deposit txd = 1’b0 DIGITAL #deposit lin_exp = 1’b1 LIN checker CORE run 100 us model Expected value test1.tcl LIN error vmonitor TRX vsource Model COMPANY CONFIDENTIAL 21 Top-level verification of mixed signal products - 2010 Dec 6
  • 22. Coverage Used to give a better insight in the verification quality. Implemented using SystemVerilog – Merge of Verilog/Verilog-AMS/SystemVerilog planned. Usage: – Verification Component (vc_dig) • Cover the executed test-cases and the results (pass/fail). – Checker: • Cover the state in which the design has been during simulation. – Vmonitor: • How often a value has been checked. • The expected value that to be checked. • The delay between expected value an actual value. COMPANY CONFIDENTIAL 22 Top-level verification of mixed signal products - 2010 Dec 6
  • 23. Coverage Testbench (vams) VC (vams) DUT VC_DIG (sv) VBAT ena_vbat vsource UV OSC RXD TXD txd LIN checker DIGITAL test1.tcl CORE model LIN error vmonitor TRX vsource SystemVerilog COMPANY CONFIDENTIAL 23 Top-level verification of mixed signal products - 2010 Dec 6
  • 24. Summary Initial projects: – Interconnect and Interoperability. – Directed Test Cases. – Self Checking. Enhanced: – Split Stimuli and checkers: • Enables constraint random stimuli. • Start using checkers. • Expected value retrieved from model. – Modeling. – Coverage. COMPANY CONFIDENTIAL 24 Top-level verification of mixed signal products - 2010 Dec 6
  • 25. Q&A COMPANY CONFIDENTIAL 25 Top-level verification of mixed signal products - 2010 Dec 6
  • 26. Open Verification Methodology Natural next step – Split between stimuli and checks • Enables constraint random stimuli OVM Sequences • Usage of checkers/scoreboards OVM Scoreboards – TLM makes connections between modules easier • Analysis ports – Generic report mechanism Standard methodology – Guidelines for creating OVC, scoreboards and generating stimuli. COMPANY CONFIDENTIAL 26 Top-level verification of mixed signal products - 2010 Dec 6
  • 27. OVM example Testbench (vams) VC (vams) DUT OVM VC_DIG vsource ovc UV VBAT OSC SEQ DRIVER vsource_if vsource RXD virtual TXD DIGITAL sequence CORE LIN SEQ DRIVER vsource_if vsource TRX COMPANY CONFIDENTIAL 27 Top-level verification of mixed signal products - 2010 Dec 6
  • 28. Verification Components VSOURCE: – Sequence item (transfer): • real vv; // Output voltage value. • real tr; // Rise/fall time. • real td; // Delay. • real r; // Value of the internal series resistor. • logic din; // Switch-on of voltage source. • logic connect; // Disconnect from analog network. • logic mode; // Use vv or input voltage source for output voltage. – D2A done using an existing component (vsource). SPI: – Sequence item (transfer): • bit [4:0] len; // Number of bits. • bit [31:0] data; – D2A/A2D done via connectrules. FLEXRAY: – Sequence Item (transfer): • abln_flr_state_t state; // lowpower, idle, data0, data1, disabled. • int duration; – D2A/A2D done using an existing component (flr_transceiver). COMPANY CONFIDENTIAL 28 Top-level verification of mixed signal products - 2010 Dec 6
  • 29. Virtual Sequences Able to create a use-case from a central point. Use Case 1: – Ramp-up VBAT from 0V to 12 V. – Program device via SPI. – Transfer data on one flexray port. Use Case 2: – Ramp-up VBAT from 0V to 12 V. – Program device via SPI. – Transfer data on two flexray ports at almost the same time. • Use case for the arbiter. • Concurrent stimuli generation. COMPANY CONFIDENTIAL 29 Top-level verification of mixed signal products - 2010 Dec 6