SlideShare ist ein Scribd-Unternehmen logo
1 von 10
Downloaden Sie, um offline zu lesen
Intel Xeon Pre-Silicon Validation
       Introduction & Challenges



Paul Zehr




December 5, 2006
Agenda
This talk is intended to be an intro to Xeon pre-
silicon validation work & challenges:
       Please stop me & ask questions
Introduction
 • What is a “typical” Xeon processor
Challenges
 • Re-Use
 • Some managerial issues
 • The usual…


                                             2
What is a Xeon Processor?
                         Silicon

         Processor     Processor     Processor
           Core          Cores         Cores


          Cache…               Power-related


                 New                  RAS
             Technologies…


  Can be anything from a simple cache size increase to
    full blown from-scratch development of features
                                                         3
Parameters Driving Xeon Validation

 TTM is the key driving factor
  • Quick ramp time new features need comprehending quickly
 Relatively “small” teams
 Validation “dominates” wrt team size
  • Bonus: high demand for talented DV engineers
 Focus is on what’s new & changed
  • Still need to validate full chip
  • Beware: minor design changes can have broad impact
 Heavy re-use of other design environments
  • Combining environments always sounds easier at proj.
   conception…
 Tend to be cross-site efforts
 Trend: More & more from-scratch design being added

                                                      4
Challenges: Re-Use
 First, a few examples:
  • Merced’s bus cluster
  • Whitefield
 Expectation is that gluing various pieces of design
 together is fast & easy
  • State of the “parent” design can be an issue…
 Varying design languages / environments
 A lot of code implemented for “single use”
  • Poorly written code from parent projects
  • Never intended to be proliferated in the first place
 Engineers need to understand original intent
 Re-use of unfinished code

                                                           5
Challenges: Managerial
 Influence of validation on project design during
 concept phase
  • Stop feature creep at the source…
  • “simple” arch deltas can cause inordinate validation
 Cross-site teams
 Documentation & training from parent project(s)
 Retention
 • Need experienced teams to meet goals, but,
 • Also need development challenges to retain…

                                                    6
Challenges: The Usual
 Model Size & Speed
 • Emulation & Formal help, but…
 • Speed exacerbated by ever-growing number of clock
   domains
  •Ever-increasing sets of tools doesn’t help either
 Emulation:
  • Long initial RTL model build time (months).
  • Less granular checking
  • Debug requires extra steps
  • Not a real effective way to get out early bugs.
 Formal for specific areas, but isn’t mature
  • Meaning: We still simulate everything
                                                       7
Challenges (cont.)
 Stimulus: We tend to be very repetitive:
  • “Start-Up” code is almost identical for 1000’s of tests
  • RIT example: S/W semaphores (or barriers) & interrupt handlers
      – Many RIT generators code “macros” – same code each time
      – Some people have gotten creative here, but needs more
  • Challenge is to minimize duplicate code – especially in the large
    bug-hunting runs.
 Checking: Escapes rarely due to lack of checking
  • Checker overhead still an issue
      – Code ‘em into RTL – helps emulation as well
      – Could aid in post-Si debug if done properly
 Coverage: Again, adds overhead to the model
  • A lot of philosophical differences here – internally & externally…
  • Need better solutions with less overhead – See checking.
 Debug: Vendors need to understand varying needs
  • Large, monolithic all-in-one solutions don’t suit all
                                                               8
A bit more on stimulus & coverage
~100 %
Covered




 Low %
Covered


                                    9
Challenges (cont.)
 Cross over between pre & post Si
 • Portability of tests between post & pre silicon
    – Implications on environment
 • Circuits/phys. design & implementation need
  functional tests to find timing & noise
    – Intent verification requires ability to run on pre-si
      models




                                                      10

Weitere ähnliche Inhalte

Was ist angesagt?

Dfr Presentation
Dfr   PresentationDfr   Presentation
Dfr Presentationeraz
 
Postdoc Symposium - Abram Hindle
Postdoc Symposium - Abram HindlePostdoc Symposium - Abram Hindle
Postdoc Symposium - Abram HindleICSM 2011
 
Постоянное тестирование интеграции
Постоянное тестирование интеграцииПостоянное тестирование интеграции
Постоянное тестирование интеграцииSQALab
 
JIRA Studio: Development in the Cloud - Atlassian Summit 2010
JIRA Studio: Development in the Cloud - Atlassian Summit 2010JIRA Studio: Development in the Cloud - Atlassian Summit 2010
JIRA Studio: Development in the Cloud - Atlassian Summit 2010Atlassian
 
Distributed agile testing_for_enterprises
Distributed agile testing_for_enterprisesDistributed agile testing_for_enterprises
Distributed agile testing_for_enterprisesThoughtWorks Studios
 
Continuous delivery chernivcy
Continuous delivery chernivcyContinuous delivery chernivcy
Continuous delivery chernivcyVolodymyr Yelchev
 
The View - Lotusscript coding best practices
The View - Lotusscript coding best practicesThe View - Lotusscript coding best practices
The View - Lotusscript coding best practicesBill Buchan
 
Evolutionary change with Kanban
Evolutionary change with KanbanEvolutionary change with Kanban
Evolutionary change with KanbanChris McDermott
 
Performance Tuning: Pulling a Rabbit From a Hat - Atlassian Summit 2010
Performance Tuning: Pulling a Rabbit From a Hat - Atlassian Summit 2010Performance Tuning: Pulling a Rabbit From a Hat - Atlassian Summit 2010
Performance Tuning: Pulling a Rabbit From a Hat - Atlassian Summit 2010Atlassian
 
Blue Monitor Software Development
Blue Monitor Software DevelopmentBlue Monitor Software Development
Blue Monitor Software Developmenturbantech
 
Squeezing Blood From a Stone V1.2
Squeezing Blood From a Stone V1.2Squeezing Blood From a Stone V1.2
Squeezing Blood From a Stone V1.2Jen Costillo
 
Shirly Ronen - Documenting an agile defect
Shirly Ronen - Documenting an agile defectShirly Ronen - Documenting an agile defect
Shirly Ronen - Documenting an agile defectAgileSparks
 
PuppetConf 2016: Successful Puppet Implementation in Large Organizations – Ja...
PuppetConf 2016: Successful Puppet Implementation in Large Organizations – Ja...PuppetConf 2016: Successful Puppet Implementation in Large Organizations – Ja...
PuppetConf 2016: Successful Puppet Implementation in Large Organizations – Ja...Puppet
 
Scala: An experience report
Scala: An experience reportScala: An experience report
Scala: An experience reportMark Needham
 

Was ist angesagt? (17)

Dfr Presentation
Dfr   PresentationDfr   Presentation
Dfr Presentation
 
Postdoc Symposium - Abram Hindle
Postdoc Symposium - Abram HindlePostdoc Symposium - Abram Hindle
Postdoc Symposium - Abram Hindle
 
Постоянное тестирование интеграции
Постоянное тестирование интеграцииПостоянное тестирование интеграции
Постоянное тестирование интеграции
 
JIRA Studio: Development in the Cloud - Atlassian Summit 2010
JIRA Studio: Development in the Cloud - Atlassian Summit 2010JIRA Studio: Development in the Cloud - Atlassian Summit 2010
JIRA Studio: Development in the Cloud - Atlassian Summit 2010
 
Dayal rtp q2_07
Dayal rtp q2_07Dayal rtp q2_07
Dayal rtp q2_07
 
Distributed agile testing_for_enterprises
Distributed agile testing_for_enterprisesDistributed agile testing_for_enterprises
Distributed agile testing_for_enterprises
 
Continuous delivery chernivcy
Continuous delivery chernivcyContinuous delivery chernivcy
Continuous delivery chernivcy
 
The View - Lotusscript coding best practices
The View - Lotusscript coding best practicesThe View - Lotusscript coding best practices
The View - Lotusscript coding best practices
 
Evolutionary change with Kanban
Evolutionary change with KanbanEvolutionary change with Kanban
Evolutionary change with Kanban
 
Performance Tuning: Pulling a Rabbit From a Hat - Atlassian Summit 2010
Performance Tuning: Pulling a Rabbit From a Hat - Atlassian Summit 2010Performance Tuning: Pulling a Rabbit From a Hat - Atlassian Summit 2010
Performance Tuning: Pulling a Rabbit From a Hat - Atlassian Summit 2010
 
Blue Monitor Software Development
Blue Monitor Software DevelopmentBlue Monitor Software Development
Blue Monitor Software Development
 
Agile meets waterfall
Agile meets waterfallAgile meets waterfall
Agile meets waterfall
 
Squeezing Blood From a Stone V1.2
Squeezing Blood From a Stone V1.2Squeezing Blood From a Stone V1.2
Squeezing Blood From a Stone V1.2
 
Shirly Ronen - Documenting an agile defect
Shirly Ronen - Documenting an agile defectShirly Ronen - Documenting an agile defect
Shirly Ronen - Documenting an agile defect
 
PuppetConf 2016: Successful Puppet Implementation in Large Organizations – Ja...
PuppetConf 2016: Successful Puppet Implementation in Large Organizations – Ja...PuppetConf 2016: Successful Puppet Implementation in Large Organizations – Ja...
PuppetConf 2016: Successful Puppet Implementation in Large Organizations – Ja...
 
ITS-Fidel
ITS-FidelITS-Fidel
ITS-Fidel
 
Scala: An experience report
Scala: An experience reportScala: An experience report
Scala: An experience report
 

Andere mochten auch (20)

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
 
Low power design-ver_26_mar08
Low power design-ver_26_mar08Low power design-ver_26_mar08
Low power design-ver_26_mar08
 
Boston 2009 q1_kappler_chris
Boston 2009 q1_kappler_chrisBoston 2009 q1_kappler_chris
Boston 2009 q1_kappler_chris
 
Thaker q3 2008
Thaker q3 2008Thaker q3 2008
Thaker q3 2008
 
Colwell validation attitude
Colwell validation attitudeColwell validation attitude
Colwell validation attitude
 
Benjamin q4 2008_bristol
Benjamin q4 2008_bristolBenjamin q4 2008_bristol
Benjamin q4 2008_bristol
 
Chris brown ti
Chris brown tiChris brown ti
Chris brown ti
 
Dill may-2008
Dill may-2008Dill may-2008
Dill may-2008
 
Arthur q207
Arthur q207Arthur q207
Arthur q207
 
The validation attitude
The validation attitudeThe validation attitude
The validation attitude
 
Lafauci dv club oct 2006
Lafauci dv club oct 2006Lafauci dv club oct 2006
Lafauci dv club oct 2006
 
Ludden power7 verification
Ludden power7 verificationLudden power7 verification
Ludden power7 verification
 
3 d to _hpc
3 d to _hpc3 d to _hpc
3 d to _hpc
 
Herrington dv club_sept19-1
Herrington dv club_sept19-1Herrington dv club_sept19-1
Herrington dv club_sept19-1
 
Roy omap validation_dvc_lub_092106
Roy omap validation_dvc_lub_092106Roy omap validation_dvc_lub_092106
Roy omap validation_dvc_lub_092106
 
Jonathan bromley doulos
Jonathan bromley doulosJonathan bromley doulos
Jonathan bromley doulos
 
Mintz q207
Mintz q207Mintz q207
Mintz q207
 
Dv club foils_intel_austin
Dv club foils_intel_austinDv club foils_intel_austin
Dv club foils_intel_austin
 

Ähnlich wie Zehr dv club_12052006

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
 
TDD and Related Techniques for Non Developers (2012)
TDD and Related Techniques for Non Developers (2012)TDD and Related Techniques for Non Developers (2012)
TDD and Related Techniques for Non Developers (2012)Peter Kofler
 
Project Sherpa: How RightScale Went All in on Docker
Project Sherpa: How RightScale Went All in on DockerProject Sherpa: How RightScale Went All in on Docker
Project Sherpa: How RightScale Went All in on DockerRightScale
 
How to test a Mainframe Application
How to test a Mainframe ApplicationHow to test a Mainframe Application
How to test a Mainframe ApplicationMichael Erichsen
 
10 Reasons You MUST Consider Pattern-Aware Programming
10 Reasons You MUST Consider Pattern-Aware Programming10 Reasons You MUST Consider Pattern-Aware Programming
10 Reasons You MUST Consider Pattern-Aware ProgrammingPostSharp Technologies
 
The View - 30 proven Lotuscript tips
The View - 30 proven Lotuscript tipsThe View - 30 proven Lotuscript tips
The View - 30 proven Lotuscript tipsBill Buchan
 
Test driven development v1.0
Test driven development v1.0Test driven development v1.0
Test driven development v1.0Ganesh Kondal
 
Improving the Design of Existing Software
Improving the Design of Existing SoftwareImproving the Design of Existing Software
Improving the Design of Existing SoftwareSteven Smith
 
Continuous Delivery Decision points
Continuous Delivery Decision pointsContinuous Delivery Decision points
Continuous Delivery Decision pointsKelly Looney
 
VMworld 2013: Building a Validation Factory for VMware Partners
VMworld 2013: Building a Validation Factory for VMware Partners VMworld 2013: Building a Validation Factory for VMware Partners
VMworld 2013: Building a Validation Factory for VMware Partners VMworld
 
Oracle R12 Upgrade Lessons Learned
Oracle R12 Upgrade Lessons LearnedOracle R12 Upgrade Lessons Learned
Oracle R12 Upgrade Lessons Learnedbpellot
 
Cleaning Code - Tools and Techniques for Large Legacy Projects
Cleaning Code - Tools and Techniques for Large Legacy ProjectsCleaning Code - Tools and Techniques for Large Legacy Projects
Cleaning Code - Tools and Techniques for Large Legacy ProjectsMike Long
 
Adopting Agile
Adopting AgileAdopting Agile
Adopting AgileCoverity
 
NDC London 2020 - Challenges of Managing CoreFx Repo -- Karel Zikmund
NDC London 2020 - Challenges of Managing CoreFx Repo -- Karel ZikmundNDC London 2020 - Challenges of Managing CoreFx Repo -- Karel Zikmund
NDC London 2020 - Challenges of Managing CoreFx Repo -- Karel ZikmundKarel Zikmund
 
Driving application development through behavior driven development
Driving application development through behavior driven developmentDriving application development through behavior driven development
Driving application development through behavior driven developmentEinar Ingebrigtsen
 
Art of refactoring - Code Smells and Microservices Antipatterns
Art of refactoring - Code Smells and Microservices AntipatternsArt of refactoring - Code Smells and Microservices Antipatterns
Art of refactoring - Code Smells and Microservices AntipatternsEl Mahdi Benzekri
 

Ähnlich wie Zehr dv club_12052006 (20)

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
 
TDD and Related Techniques for Non Developers (2012)
TDD and Related Techniques for Non Developers (2012)TDD and Related Techniques for Non Developers (2012)
TDD and Related Techniques for Non Developers (2012)
 
Project Sherpa: How RightScale Went All in on Docker
Project Sherpa: How RightScale Went All in on DockerProject Sherpa: How RightScale Went All in on Docker
Project Sherpa: How RightScale Went All in on Docker
 
How to test a Mainframe Application
How to test a Mainframe ApplicationHow to test a Mainframe Application
How to test a Mainframe Application
 
CNUG TDD June 2014
CNUG TDD June 2014CNUG TDD June 2014
CNUG TDD June 2014
 
10 Reasons You MUST Consider Pattern-Aware Programming
10 Reasons You MUST Consider Pattern-Aware Programming10 Reasons You MUST Consider Pattern-Aware Programming
10 Reasons You MUST Consider Pattern-Aware Programming
 
The View - 30 proven Lotuscript tips
The View - 30 proven Lotuscript tipsThe View - 30 proven Lotuscript tips
The View - 30 proven Lotuscript tips
 
Manual Software testing - software development life cycle
Manual Software testing - software development life cycleManual Software testing - software development life cycle
Manual Software testing - software development life cycle
 
Test driven development v1.0
Test driven development v1.0Test driven development v1.0
Test driven development v1.0
 
Improving the Design of Existing Software
Improving the Design of Existing SoftwareImproving the Design of Existing Software
Improving the Design of Existing Software
 
DevOps 101
DevOps 101DevOps 101
DevOps 101
 
Continuous Delivery Decision points
Continuous Delivery Decision pointsContinuous Delivery Decision points
Continuous Delivery Decision points
 
VMworld 2013: Building a Validation Factory for VMware Partners
VMworld 2013: Building a Validation Factory for VMware Partners VMworld 2013: Building a Validation Factory for VMware Partners
VMworld 2013: Building a Validation Factory for VMware Partners
 
Oracle R12 Upgrade Lessons Learned
Oracle R12 Upgrade Lessons LearnedOracle R12 Upgrade Lessons Learned
Oracle R12 Upgrade Lessons Learned
 
Software development life cycle
Software development life cycleSoftware development life cycle
Software development life cycle
 
Cleaning Code - Tools and Techniques for Large Legacy Projects
Cleaning Code - Tools and Techniques for Large Legacy ProjectsCleaning Code - Tools and Techniques for Large Legacy Projects
Cleaning Code - Tools and Techniques for Large Legacy Projects
 
Adopting Agile
Adopting AgileAdopting Agile
Adopting Agile
 
NDC London 2020 - Challenges of Managing CoreFx Repo -- Karel Zikmund
NDC London 2020 - Challenges of Managing CoreFx Repo -- Karel ZikmundNDC London 2020 - Challenges of Managing CoreFx Repo -- Karel Zikmund
NDC London 2020 - Challenges of Managing CoreFx Repo -- Karel Zikmund
 
Driving application development through behavior driven development
Driving application development through behavior driven developmentDriving application development through behavior driven development
Driving application development through behavior driven development
 
Art of refactoring - Code Smells and Microservices Antipatterns
Art of refactoring - Code Smells and Microservices AntipatternsArt of refactoring - Code Smells and Microservices Antipatterns
Art of refactoring - Code Smells and Microservices Antipatterns
 

Mehr von Obsidian Software (20)

Vishakantaiah validating
Vishakantaiah validatingVishakantaiah validating
Vishakantaiah validating
 
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
 
Tobin verification isglobal
Tobin verification isglobalTobin verification isglobal
Tobin verification isglobal
 
Tierney bq207
Tierney bq207Tierney bq207
Tierney bq207
 
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
 
Runner sv q307
Runner sv q307Runner sv q307
Runner sv q307
 
Roy aerofone power_verif
Roy aerofone power_verifRoy aerofone power_verif
Roy aerofone power_verif
 
Robert page-abstract
Robert page-abstractRobert page-abstract
Robert page-abstract
 
Rash
RashRash
Rash
 
Pedneau dv employment_081705
Pedneau dv employment_081705Pedneau dv employment_081705
Pedneau dv employment_081705
 
Oop dv club_rev2b-4
Oop dv club_rev2b-4Oop dv club_rev2b-4
Oop dv club_rev2b-4
 

Zehr dv club_12052006

  • 1. Intel Xeon Pre-Silicon Validation Introduction & Challenges Paul Zehr December 5, 2006
  • 2. Agenda This talk is intended to be an intro to Xeon pre- silicon validation work & challenges: Please stop me & ask questions Introduction • What is a “typical” Xeon processor Challenges • Re-Use • Some managerial issues • The usual… 2
  • 3. What is a Xeon Processor? Silicon Processor Processor Processor Core Cores Cores Cache… Power-related New RAS Technologies… Can be anything from a simple cache size increase to full blown from-scratch development of features 3
  • 4. Parameters Driving Xeon Validation TTM is the key driving factor • Quick ramp time new features need comprehending quickly Relatively “small” teams Validation “dominates” wrt team size • Bonus: high demand for talented DV engineers Focus is on what’s new & changed • Still need to validate full chip • Beware: minor design changes can have broad impact Heavy re-use of other design environments • Combining environments always sounds easier at proj. conception… Tend to be cross-site efforts Trend: More & more from-scratch design being added 4
  • 5. Challenges: Re-Use First, a few examples: • Merced’s bus cluster • Whitefield Expectation is that gluing various pieces of design together is fast & easy • State of the “parent” design can be an issue… Varying design languages / environments A lot of code implemented for “single use” • Poorly written code from parent projects • Never intended to be proliferated in the first place Engineers need to understand original intent Re-use of unfinished code 5
  • 6. Challenges: Managerial Influence of validation on project design during concept phase • Stop feature creep at the source… • “simple” arch deltas can cause inordinate validation Cross-site teams Documentation & training from parent project(s) Retention • Need experienced teams to meet goals, but, • Also need development challenges to retain… 6
  • 7. Challenges: The Usual Model Size & Speed • Emulation & Formal help, but… • Speed exacerbated by ever-growing number of clock domains •Ever-increasing sets of tools doesn’t help either Emulation: • Long initial RTL model build time (months). • Less granular checking • Debug requires extra steps • Not a real effective way to get out early bugs. Formal for specific areas, but isn’t mature • Meaning: We still simulate everything 7
  • 8. Challenges (cont.) Stimulus: We tend to be very repetitive: • “Start-Up” code is almost identical for 1000’s of tests • RIT example: S/W semaphores (or barriers) & interrupt handlers – Many RIT generators code “macros” – same code each time – Some people have gotten creative here, but needs more • Challenge is to minimize duplicate code – especially in the large bug-hunting runs. Checking: Escapes rarely due to lack of checking • Checker overhead still an issue – Code ‘em into RTL – helps emulation as well – Could aid in post-Si debug if done properly Coverage: Again, adds overhead to the model • A lot of philosophical differences here – internally & externally… • Need better solutions with less overhead – See checking. Debug: Vendors need to understand varying needs • Large, monolithic all-in-one solutions don’t suit all 8
  • 9. A bit more on stimulus & coverage ~100 % Covered Low % Covered 9
  • 10. Challenges (cont.) Cross over between pre & post Si • Portability of tests between post & pre silicon – Implications on environment • Circuits/phys. design & implementation need functional tests to find timing & noise – Intent verification requires ability to run on pre-si models 10