SlideShare une entreprise Scribd logo
1  sur  14
Télécharger pour lire hors ligne
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?

Contenu connexe

Tendances

Regression Testing with Symfony
Regression Testing with SymfonyRegression Testing with Symfony
Regression Testing with SymfonyJoachim Unger
 
Bristol 2009 q1_blackmore_tim
Bristol 2009 q1_blackmore_timBristol 2009 q1_blackmore_tim
Bristol 2009 q1_blackmore_timObsidian 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-environmentObsidian Software
 
Basics of Functional Verification - Arrow Devices
Basics of Functional Verification - Arrow DevicesBasics of Functional Verification - Arrow Devices
Basics of Functional Verification - Arrow DevicesArrow Devices
 
Software Fault Tolerance
Software Fault ToleranceSoftware Fault Tolerance
Software Fault ToleranceAnkit Singh
 
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 MethodologyJacob 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-systemsDharmalingam Ganesan
 
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 testLen Bass
 
Interface-Implementation Contract Checking
Interface-Implementation Contract CheckingInterface-Implementation Contract Checking
Interface-Implementation Contract CheckingDharmalingam Ganesan
 
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 EngineeringRamdas Mozhikunnath
 
Verification Engineer - Opportunities and Career Path
Verification Engineer - Opportunities and Career PathVerification Engineer - Opportunities and Career Path
Verification Engineer - Opportunities and Career PathRamdas Mozhikunnath
 
Ncerc rlmca202 adm m3 ssm
Ncerc rlmca202  adm m3 ssmNcerc rlmca202  adm m3 ssm
Ncerc rlmca202 adm m3 ssmssmarar
 
Context Driven Automation Gtac 2008
Context Driven Automation Gtac 2008Context Driven Automation Gtac 2008
Context Driven Automation Gtac 2008Pete Schneider
 

Tendances (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
 

Similaire à 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 StudyDVClub
 
Topic2a ss pipelines
Topic2a ss pipelinesTopic2a ss pipelines
Topic2a ss pipelinesturki_09
 
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 LanguageDr. Spock
 
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
 
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...Soham Mondal
 
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
 
Strength of Materials iLab
Strength of Materials iLabStrength of Materials iLab
Strength of Materials iLabBabatunde Ishola
 
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 DevOpsKovair
 
UVM_Full_Print_n.pptx
UVM_Full_Print_n.pptxUVM_Full_Print_n.pptx
UVM_Full_Print_n.pptxnikitha992646
 
UGM 2015: X1149 workshop
UGM 2015: X1149 workshopUGM 2015: X1149 workshop
UGM 2015: X1149 workshopInterlatin
 
Performance Testing Java Applications
Performance Testing Java ApplicationsPerformance Testing Java Applications
Performance Testing Java ApplicationsC4Media
 
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 ThemCompuware
 
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 testinggaoliang641
 
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...PROIDEA
 
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...Marta Pacyga
 
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 generationDilip Mathuria
 

Similaire à 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
 

Plus de 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)