SlideShare ist ein Scribd-Unternehmen logo
1 von 14
Downloaden Sie, um offline zu lesen
Progressive migration from ‘e’ to
SystemVerilog : Case Study

Monday, May 11, 2009
Chris Brown
Agenda

• Briefly describe application space
• Describe advantages/challenges/solutions in
  staging the migration
• Describe an approach for allowing multiple vendor
  simulation solution
• Conclusions
TIUK SERDES
Design Team
• TIUK is part of TI ASIC business unit
• Design SERDES
   – very high speed low swing IOs
   – 12.5GBPs on 65nm technology
• Complex mixed signal designs
   – > 1 million CMOS elements
   – Very high speed digital
      • Bespoke DSP algorithms to recover data from highly lossy
        transmission lines
   – Complex high speed analog
      • PLLs, RX/TX analog front ends
      • 6GSS very low power ADCs
• E based verification environment
   – Developed/used for > 8 years
   – Many successful tape outs
Staged Migration

• Positives
  – Reduced risk
  – Allows learning in a small constrained environment
  – Team members can be trained in small groups to avoid
    all team out of office at same time
  – We don’t have the resource to stop everything to write a
    new testbench in one go
  – Resource requirements amortized over several projects
• Negatives
  – Takes longer to gain benefits
  – Specman/e must coexist with SVTB!
Proof of Concept


   Specman Testbench                Verilog DUT


     Parallel or serial              Parallel or serial
        scan BFM                      scan controller




     PRBS Generator                       PRBS Verifier




   PRBS = Psuedo Random Binary Sequence
Technical Challenges
with Migration
• Specman/e and SVTB may both need to progress
  time
  – Who is the master?
  – How does the time wheel work?
• Some parts of the testbench in E others in SVTB
  – 2 testcases!
  – How do you communicate between the 2 different
    parts?
Solutions

• SVTB is the master
• Testcase written in SVTB as if everything has
  been converted
• SVTB tells remaining E code what to do
• Partition testbench to minimize communications
  between SVTB and E
• Pass information via verilog
  – SVTB sends information to verilog via an interface
  – Extend E units to add code to extract information from
    verilog instead of from other E units/structs
Proof of Concept
After Conversion



   SVTB Testbench       Verilog DUT


    SVTB Parallel and    Parallel or serial
     serial scan BFM      scan controller



      Specman PRBS         PRBS Verifier
        Generator
Multi-simulator support

• TIUK provides hard IP to internal/external customers
• Provide verilog models for customers to simulate at chip
  level
• Customers can use all 3 major verilog simulators and
  verilog model must be verified on these simulators
• E allowed testbench to be used with all 3 simulators
  without modification
• SVTB is currently 1 standard language with at least 3
  dialects
   – Use lowest common denominators? Yuk!
• Variable legal latency through IP means must use
  intelligent testbench and not vector playback
Pioneer Testbench
tool (SNPS)
• Allows testbench to exist in Pioneer only
• Allows design to exist in other simulator
• Automatically (seamlessly) connects between
  testbench and DUT
• Uses PLI so a performance overhead exists
  – Only use for model QC on other simulators, not as part
    of design development/verification work
• As SVTB implementation stabilizes across
  vendors need for Pioneer will reduce
Pioneer



   SVTB Testbench                           Verilog DUT


    SVTB Parallel and                         Parallel or serial
     serial scan BFM                           scan controller
                          Automatically
                          generated
                          connections

      Specman PRBS                             PRBS Verifier
        Generator



   Testbench in Pioneer                   Design in 3rd party simulator
Conclusions

• Have presented staged migration from E to an
  SVTB
  – Staged migration minimizes risk and amortizes
    conversion costs across multiple projects
• Pioneer enables multi-vendor IP simulation
  – avoids need to use lowest common denominator of the
    vendor implementations
Acknowledgements
• Dave Wiltshire (TIUK)
• Neil Bulman (TIUK)
• Yassine Eben Amine (SNPS)
Questions?

Weitere ähnliche Inhalte

Was ist angesagt?

Bristol 2009 q1_blackmore_tim
Bristol 2009 q1_blackmore_timBristol 2009 q1_blackmore_tim
Bristol 2009 q1_blackmore_tim
Obsidian Software
 
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
Obsidian Software
 
Case Study of End to End Formal Verification Methodology
Case Study of End to End Formal Verification MethodologyCase Study of End to End Formal Verification Methodology
Case Study of End to End Formal Verification Methodology
Jacob Ryan Maas
 
Ivv workshop model-based-testing-of-nasa-systems
Ivv workshop model-based-testing-of-nasa-systemsIvv workshop model-based-testing-of-nasa-systems
Ivv workshop model-based-testing-of-nasa-systems
Dharmalingam Ganesan
 
Interface-Implementation Contract Checking
Interface-Implementation Contract CheckingInterface-Implementation Contract Checking
Interface-Implementation Contract Checking
Dharmalingam Ganesan
 

Was ist angesagt? (19)

Regression Testing with Symfony
Regression Testing with SymfonyRegression Testing with Symfony
Regression Testing with Symfony
 
Bristol 2009 q1_blackmore_tim
Bristol 2009 q1_blackmore_timBristol 2009 q1_blackmore_tim
Bristol 2009 q1_blackmore_tim
 
Qtp 101
Qtp 101Qtp 101
Qtp 101
 
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
 
Basics of Functional Verification - Arrow Devices
Basics of Functional Verification - Arrow DevicesBasics of Functional Verification - Arrow Devices
Basics of Functional Verification - Arrow Devices
 
Manual testing - Introduction to Manual Software testing
Manual testing - Introduction to Manual Software testingManual testing - Introduction to Manual Software testing
Manual testing - Introduction to Manual Software testing
 
Software Fault Tolerance
Software Fault ToleranceSoftware Fault Tolerance
Software Fault Tolerance
 
Case Study of End to End Formal Verification Methodology
Case Study of End to End Formal Verification MethodologyCase Study of End to End Formal Verification Methodology
Case Study of End to End Formal Verification Methodology
 
Ivv workshop model-based-testing-of-nasa-systems
Ivv workshop model-based-testing-of-nasa-systemsIvv workshop model-based-testing-of-nasa-systems
Ivv workshop model-based-testing-of-nasa-systems
 
UNIT testing
UNIT testingUNIT testing
UNIT testing
 
Architecting for the cloud storage build test
Architecting for the cloud storage build testArchitecting for the cloud storage build test
Architecting for the cloud storage build test
 
Interface-Implementation Contract Checking
Interface-Implementation Contract CheckingInterface-Implementation Contract Checking
Interface-Implementation Contract Checking
 
Advances in Verification - Workshop at BMS College of Engineering
Advances in Verification - Workshop at BMS College of EngineeringAdvances in Verification - Workshop at BMS College of Engineering
Advances in Verification - Workshop at BMS College of Engineering
 
Knol x session
Knol x sessionKnol x session
Knol x session
 
Verification Engineer - Opportunities and Career Path
Verification Engineer - Opportunities and Career PathVerification Engineer - Opportunities and Career Path
Verification Engineer - Opportunities and Career Path
 
Ncerc rlmca202 adm m3 ssm
Ncerc rlmca202  adm m3 ssmNcerc rlmca202  adm m3 ssm
Ncerc rlmca202 adm m3 ssm
 
Context Driven Automation Gtac 2008
Context Driven Automation Gtac 2008Context Driven Automation Gtac 2008
Context Driven Automation Gtac 2008
 
Zehr dv club_12052006
Zehr dv club_12052006Zehr dv club_12052006
Zehr dv club_12052006
 
Bangalore march07
Bangalore march07Bangalore march07
Bangalore march07
 

Ähnlich wie Chris brown ti

Progressive Migration From 'e' to SystemVerilog: Case Study
Progressive Migration From 'e' to SystemVerilog: Case StudyProgressive Migration From 'e' to SystemVerilog: Case Study
Progressive Migration From 'e' to SystemVerilog: Case Study
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
 
Finding Bugs Faster with Assertion Based Verification (ABV)
Finding Bugs Faster with Assertion Based Verification (ABV)Finding Bugs Faster with Assertion Based Verification (ABV)
Finding Bugs Faster with Assertion Based Verification (ABV)
DVClub
 
The art of system and solution testing
The art of system and solution testingThe art of system and solution testing
The art of system and solution testing
gaoliang641
 

Ähnlich wie Chris brown ti (20)

Progressive Migration From 'e' to SystemVerilog: Case Study
Progressive Migration From 'e' to SystemVerilog: Case StudyProgressive Migration From 'e' to SystemVerilog: Case Study
Progressive Migration From 'e' to SystemVerilog: Case Study
 
Topic2a ss pipelines
Topic2a ss pipelinesTopic2a ss pipelines
Topic2a ss pipelines
 
Improving Batch-Process Testing Techniques with a Domain-Specific Language
Improving Batch-Process Testing Techniques with a Domain-Specific LanguageImproving Batch-Process Testing Techniques with a Domain-Specific Language
Improving Batch-Process Testing Techniques with a Domain-Specific Language
 
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
 
OSVC_Meta-Data based Simulation Automation to overcome Verification Challenge...
OSVC_Meta-Data based Simulation Automation to overcome Verification Challenge...OSVC_Meta-Data based Simulation Automation to overcome Verification Challenge...
OSVC_Meta-Data based Simulation Automation to overcome Verification Challenge...
 
Finding Bugs Faster with Assertion Based Verification (ABV)
Finding Bugs Faster with Assertion Based Verification (ABV)Finding Bugs Faster with Assertion Based Verification (ABV)
Finding Bugs Faster with Assertion Based Verification (ABV)
 
Strength of Materials iLab
Strength of Materials iLabStrength of Materials iLab
Strength of Materials iLab
 
Presentation on 3 Pillars of DevOps - Kovair DevOps
Presentation on 3 Pillars of DevOps - Kovair DevOpsPresentation on 3 Pillars of DevOps - Kovair DevOps
Presentation on 3 Pillars of DevOps - Kovair DevOps
 
Hemanth_Krishnan_resume
Hemanth_Krishnan_resumeHemanth_Krishnan_resume
Hemanth_Krishnan_resume
 
UVM_Full_Print_n.pptx
UVM_Full_Print_n.pptxUVM_Full_Print_n.pptx
UVM_Full_Print_n.pptx
 
Gandhi
GandhiGandhi
Gandhi
 
UGM 2015: X1149 workshop
UGM 2015: X1149 workshopUGM 2015: X1149 workshop
UGM 2015: X1149 workshop
 
ASIC design verification
ASIC design verificationASIC design verification
ASIC design verification
 
Performance Testing Java Applications
Performance Testing Java ApplicationsPerformance Testing Java Applications
Performance Testing Java Applications
 
SCM Transformation Challenges and How to Overcome Them
SCM Transformation Challenges and How to Overcome ThemSCM Transformation Challenges and How to Overcome Them
SCM Transformation Challenges and How to Overcome Them
 
The art of system and solution testing
The art of system and solution testingThe art of system and solution testing
The art of system and solution testing
 
PLNOG15 :Assuring Performance, Scalability and Reliability in NFV Deployments...
PLNOG15 :Assuring Performance, Scalability and Reliability in NFV Deployments...PLNOG15 :Assuring Performance, Scalability and Reliability in NFV Deployments...
PLNOG15 :Assuring Performance, Scalability and Reliability in NFV Deployments...
 
PLNOG15 :Assuring Performance, Scalability and Reliability in NFV Deployments...
PLNOG15 :Assuring Performance, Scalability and Reliability in NFV Deployments...PLNOG15 :Assuring Performance, Scalability and Reliability in NFV Deployments...
PLNOG15 :Assuring Performance, Scalability and Reliability in NFV Deployments...
 
Design for testability and automatic test pattern generation
Design for testability and automatic test pattern generationDesign for testability and automatic test pattern generation
Design for testability and automatic test pattern generation
 
CPU Verification
CPU VerificationCPU Verification
CPU Verification
 

Mehr von Obsidian Software (20)

Zhang rtp q307
Zhang rtp q307Zhang rtp q307
Zhang rtp q307
 
Yang greenstein part_2
Yang greenstein part_2Yang greenstein part_2
Yang greenstein part_2
 
Yang greenstein part_1
Yang greenstein part_1Yang greenstein part_1
Yang greenstein part_1
 
Williamson arm validation metrics
Williamson arm validation metricsWilliamson arm validation metrics
Williamson arm validation metrics
 
Whipp q3 2008_sv
Whipp q3 2008_svWhipp q3 2008_sv
Whipp q3 2008_sv
 
Vishakantaiah validating
Vishakantaiah validatingVishakantaiah validating
Vishakantaiah validating
 
Tobin verification isglobal
Tobin verification isglobalTobin verification isglobal
Tobin verification isglobal
 
Tierney bq207
Tierney bq207Tierney bq207
Tierney bq207
 
The validation attitude
The validation attitudeThe validation attitude
The validation attitude
 
Thaker q3 2008
Thaker q3 2008Thaker q3 2008
Thaker q3 2008
 
Thaker q3 2008
Thaker q3 2008Thaker q3 2008
Thaker q3 2008
 
Strickland dvclub
Strickland dvclubStrickland dvclub
Strickland dvclub
 
Stinson post si and verification
Stinson post si and verificationStinson post si and verification
Stinson post si and verification
 
Shultz dallas q108
Shultz dallas q108Shultz dallas q108
Shultz dallas q108
 
Shreeve dv club_ams
Shreeve dv club_amsShreeve dv club_ams
Shreeve dv club_ams
 
Sharam salamian
Sharam salamianSharam salamian
Sharam salamian
 
Schulz sv q2_2009
Schulz sv q2_2009Schulz sv q2_2009
Schulz sv q2_2009
 
Schulz dallas q1_2008
Schulz dallas q1_2008Schulz dallas q1_2008
Schulz dallas q1_2008
 
Salamian dv club_foils_intel_austin
Salamian dv club_foils_intel_austinSalamian dv club_foils_intel_austin
Salamian dv club_foils_intel_austin
 
Sakar jain
Sakar jainSakar jain
Sakar jain
 

Chris brown ti

  • 1. Progressive migration from ‘e’ to SystemVerilog : Case Study Monday, May 11, 2009 Chris Brown
  • 2. Agenda • Briefly describe application space • Describe advantages/challenges/solutions in staging the migration • Describe an approach for allowing multiple vendor simulation solution • Conclusions
  • 3. TIUK SERDES Design Team • TIUK is part of TI ASIC business unit • Design SERDES – very high speed low swing IOs – 12.5GBPs on 65nm technology • Complex mixed signal designs – > 1 million CMOS elements – Very high speed digital • Bespoke DSP algorithms to recover data from highly lossy transmission lines – Complex high speed analog • PLLs, RX/TX analog front ends • 6GSS very low power ADCs • E based verification environment – Developed/used for > 8 years – Many successful tape outs
  • 4. Staged Migration • Positives – Reduced risk – Allows learning in a small constrained environment – Team members can be trained in small groups to avoid all team out of office at same time – We don’t have the resource to stop everything to write a new testbench in one go – Resource requirements amortized over several projects • Negatives – Takes longer to gain benefits – Specman/e must coexist with SVTB!
  • 5. Proof of Concept Specman Testbench Verilog DUT Parallel or serial Parallel or serial scan BFM scan controller PRBS Generator PRBS Verifier PRBS = Psuedo Random Binary Sequence
  • 6. Technical Challenges with Migration • Specman/e and SVTB may both need to progress time – Who is the master? – How does the time wheel work? • Some parts of the testbench in E others in SVTB – 2 testcases! – How do you communicate between the 2 different parts?
  • 7. Solutions • SVTB is the master • Testcase written in SVTB as if everything has been converted • SVTB tells remaining E code what to do • Partition testbench to minimize communications between SVTB and E • Pass information via verilog – SVTB sends information to verilog via an interface – Extend E units to add code to extract information from verilog instead of from other E units/structs
  • 8. Proof of Concept After Conversion SVTB Testbench Verilog DUT SVTB Parallel and Parallel or serial serial scan BFM scan controller Specman PRBS PRBS Verifier Generator
  • 9. Multi-simulator support • TIUK provides hard IP to internal/external customers • Provide verilog models for customers to simulate at chip level • Customers can use all 3 major verilog simulators and verilog model must be verified on these simulators • E allowed testbench to be used with all 3 simulators without modification • SVTB is currently 1 standard language with at least 3 dialects – Use lowest common denominators? Yuk! • Variable legal latency through IP means must use intelligent testbench and not vector playback
  • 10. Pioneer Testbench tool (SNPS) • Allows testbench to exist in Pioneer only • Allows design to exist in other simulator • Automatically (seamlessly) connects between testbench and DUT • Uses PLI so a performance overhead exists – Only use for model QC on other simulators, not as part of design development/verification work • As SVTB implementation stabilizes across vendors need for Pioneer will reduce
  • 11. Pioneer SVTB Testbench Verilog DUT SVTB Parallel and Parallel or serial serial scan BFM scan controller Automatically generated connections Specman PRBS PRBS Verifier Generator Testbench in Pioneer Design in 3rd party simulator
  • 12. Conclusions • Have presented staged migration from E to an SVTB – Staged migration minimizes risk and amortizes conversion costs across multiple projects • Pioneer enables multi-vendor IP simulation – avoids need to use lowest common denominator of the vendor implementations
  • 13. Acknowledgements • Dave Wiltshire (TIUK) • Neil Bulman (TIUK) • Yassine Eben Amine (SNPS)