SlideShare a Scribd company logo
Validating next generation CPUs Praveen Vishakantaiah President, Intel India Feb 22, 2008 DV Club Bangalore
“ Validation is increasingly in the critical path of product success and requires continuous innovation to meet customer satisfaction, schedule and margin requirements”
Agenda Current Challenges Addressing the challenges
CPU bug trends  Exponential growth of design complexity Deeply pipelined complex micro-architecture Logic bugs increase 3 - 4x per generation Up to 70% of design time and resources are spent during functional validation Pre-silicon logic bugs per generation (  Source : Tom Schubert, Intel, DAC 2003  ) 7855 2240 800 25000 Pentium Pentium Pro Pentium 4 Next ?
The Pre-Si Verification gap  EE Times 03/18/2004 Verification Capabilities is fast becoming the limiting factor for VLSI design improvements  EE Times 2004
Current Challenges – Technical Increasing CPU design complexity Multi core Chipset integration Power Management New technology like security Increasingly bulky validation environment Increase in development and maintenance cost Environment bugs >= Logic design bugs Increasing number of product variants Validation is not as incremental as design Increasing micro-architectural coverage space increases probability of escapes Decreasing simulation/emulation speed limits pre-silicon cycles Legacy features and compatibility validation High volumes magnify the cost of a validation escape – can not let it happen!
Current Challenges – Non-Technical Shorter TTM (Time to Market) Physical limits and cost of data centers CPU validation expertise More pronounced in India due to frequent job changes Cross site development Design and validation may not be co-located
Post-silicon validation SOC and Multi core leverage incremental design effort Design interactions are spatial in nature Effective design reuse is possible  Post Si Validation efforts currently not scaling incrementally  -  Logic interactions across widely separated areas introduces unexpected bugs  -  No effective coverage feedback mechanism -  When is Validation enough ? - Synthesis of approx coverage measure  - Effective Mathematical Models
Addressing the challenges Use experienced architects, micro-architects and front end designers Very likely to have lot more validation “burn” marks and will proactively code less bugs Will be able to help validators debug issues faster Raise the watermark for bugs and reduce iterations Validators drive requirements into architecture and micro-architecture Influence technology decisions to keep validation tractable Minimize feature creep during execution Reduce back end design impact on front end design Instrument design models to enable validation Assertions, instrumentation signals, comments Aim for sweet spot with Effectiveness vs. Efficiency trade offs Validation Environment Minimize custom tool development Reuse design, validation and debug tools across programs Scale emulation, formal verification and mixed signal validation
Validation coverage profile and  Efficacy   Probability of bugs  Time  Si Spin1  Si Spin2  Efficiency: Catch bugs fast  Effectiveness: Catch all customer visible bugs  Early detection and bug acceleration has significant business benefits
Q&A

More Related Content

PPTX
Software Myths
PPTX
Characteristics of Software
PPT
Lecture 1 introduction to software engineering 1
PPT
Software engg. pressman_ch-2
PPT
9. risk-management
PPT
software process
PPTX
11. estimation-1
Software Myths
Characteristics of Software
Lecture 1 introduction to software engineering 1
Software engg. pressman_ch-2
9. risk-management
software process
11. estimation-1

What's hot (19)

PPT
Software engineering
PPTX
Introduction to software engineering
PPT
INTRODUCTION TO SOFTWARE ENGINEERING
PPTX
Security Services and Approach by Nazar Tymoshyk
ODP
Agile Engineering
PPTX
Performance Aware Development
PPT
Unit 1 sepm software myths
PDF
[Europe merge world tour] Coverity Development Testing
PPT
Intro
PPTX
Migrate to microservices
PPTX
What is DevOps?
PDF
Software Engineering - Basics
PPTX
Empircal Studies of Performance Bugs & Performance Analysis Approaches for La...
PPT
The Pursuit Of Defect Reduction
PDF
Effort Used to Create Domain-Specific Modeling Languages
PPTX
Intro to Security in SDLC
PDF
Pete Marshall - casmadrid2015 - Continuous Delivery in Legacy Environments
PPT
software engineering models
Software engineering
Introduction to software engineering
INTRODUCTION TO SOFTWARE ENGINEERING
Security Services and Approach by Nazar Tymoshyk
Agile Engineering
Performance Aware Development
Unit 1 sepm software myths
[Europe merge world tour] Coverity Development Testing
Intro
Migrate to microservices
What is DevOps?
Software Engineering - Basics
Empircal Studies of Performance Bugs & Performance Analysis Approaches for La...
The Pursuit Of Defect Reduction
Effort Used to Create Domain-Specific Modeling Languages
Intro to Security in SDLC
Pete Marshall - casmadrid2015 - Continuous Delivery in Legacy Environments
software engineering models
Ad

Similar to Vishakantaiah validating (20)

PPT
Validating Next Generation CPUs
PDF
Zehr dv club_12052006
PDF
Intel Atom Processor Pre-Silicon Verification Experience
PDF
Sharam salamian
PDF
Postsilicon And Runtime Verification For Modern Processors Wagner
PDF
Pre-Si Verification for Post-Si Validation
PDF
EDCC14 Keynote, Newcastle 15may14
PDF
CPU Verification
PDF
Stinson post si and verification
PPT
Verification strategies
PDF
Verification for system companies (LI) - value proposition
PPTX
Embedded system hardware architecture ii
PPT
Software requirement verification & validation
PDF
Validation and Design in a Small Team Environment
PDF
Validation and-design-in-a-small-team-environment
PPTX
Crossing the Boundaries: Development Strategies for (P)SoCs
PDF
Deploying Functional Qualification at STMicroelectronics
PDF
Benjamin q4 2008_bristol
PPTX
Mirabilis_Presentation_SCC_July_2024.pptx
PPT
Requirement verification & validation
Validating Next Generation CPUs
Zehr dv club_12052006
Intel Atom Processor Pre-Silicon Verification Experience
Sharam salamian
Postsilicon And Runtime Verification For Modern Processors Wagner
Pre-Si Verification for Post-Si Validation
EDCC14 Keynote, Newcastle 15may14
CPU Verification
Stinson post si and verification
Verification strategies
Verification for system companies (LI) - value proposition
Embedded system hardware architecture ii
Software requirement verification & validation
Validation and Design in a Small Team Environment
Validation and-design-in-a-small-team-environment
Crossing the Boundaries: Development Strategies for (P)SoCs
Deploying Functional Qualification at STMicroelectronics
Benjamin q4 2008_bristol
Mirabilis_Presentation_SCC_July_2024.pptx
Requirement verification & validation
Ad

More from Obsidian Software (20)

PDF
Zhang rtp q307
PDF
Yang greenstein part_2
PDF
Yang greenstein part_1
PDF
Williamson arm validation metrics
PDF
Whipp q3 2008_sv
PDF
Tobin verification isglobal
PDF
Tierney bq207
PDF
The validation attitude
PPT
Thaker q3 2008
PDF
Thaker q3 2008
PDF
Strickland dvclub
PDF
Shultz dallas q108
PDF
Shreeve dv club_ams
PDF
Schulz sv q2_2009
PDF
Schulz dallas q1_2008
PDF
Salamian dv club_foils_intel_austin
PDF
Sakar jain
PDF
Runner sv q307
PDF
Roy omap validation_dvc_lub_092106
PDF
Roy aerofone power_verif
Zhang rtp q307
Yang greenstein part_2
Yang greenstein part_1
Williamson arm validation metrics
Whipp q3 2008_sv
Tobin verification isglobal
Tierney bq207
The validation attitude
Thaker q3 2008
Thaker q3 2008
Strickland dvclub
Shultz dallas q108
Shreeve dv club_ams
Schulz sv q2_2009
Schulz dallas q1_2008
Salamian dv club_foils_intel_austin
Sakar jain
Runner sv q307
Roy omap validation_dvc_lub_092106
Roy aerofone power_verif

Vishakantaiah validating

  • 1. Validating next generation CPUs Praveen Vishakantaiah President, Intel India Feb 22, 2008 DV Club Bangalore
  • 2. “ Validation is increasingly in the critical path of product success and requires continuous innovation to meet customer satisfaction, schedule and margin requirements”
  • 3. Agenda Current Challenges Addressing the challenges
  • 4. CPU bug trends Exponential growth of design complexity Deeply pipelined complex micro-architecture Logic bugs increase 3 - 4x per generation Up to 70% of design time and resources are spent during functional validation Pre-silicon logic bugs per generation ( Source : Tom Schubert, Intel, DAC 2003 ) 7855 2240 800 25000 Pentium Pentium Pro Pentium 4 Next ?
  • 5. The Pre-Si Verification gap EE Times 03/18/2004 Verification Capabilities is fast becoming the limiting factor for VLSI design improvements EE Times 2004
  • 6. Current Challenges – Technical Increasing CPU design complexity Multi core Chipset integration Power Management New technology like security Increasingly bulky validation environment Increase in development and maintenance cost Environment bugs >= Logic design bugs Increasing number of product variants Validation is not as incremental as design Increasing micro-architectural coverage space increases probability of escapes Decreasing simulation/emulation speed limits pre-silicon cycles Legacy features and compatibility validation High volumes magnify the cost of a validation escape – can not let it happen!
  • 7. Current Challenges – Non-Technical Shorter TTM (Time to Market) Physical limits and cost of data centers CPU validation expertise More pronounced in India due to frequent job changes Cross site development Design and validation may not be co-located
  • 8. Post-silicon validation SOC and Multi core leverage incremental design effort Design interactions are spatial in nature Effective design reuse is possible Post Si Validation efforts currently not scaling incrementally - Logic interactions across widely separated areas introduces unexpected bugs - No effective coverage feedback mechanism - When is Validation enough ? - Synthesis of approx coverage measure - Effective Mathematical Models
  • 9. Addressing the challenges Use experienced architects, micro-architects and front end designers Very likely to have lot more validation “burn” marks and will proactively code less bugs Will be able to help validators debug issues faster Raise the watermark for bugs and reduce iterations Validators drive requirements into architecture and micro-architecture Influence technology decisions to keep validation tractable Minimize feature creep during execution Reduce back end design impact on front end design Instrument design models to enable validation Assertions, instrumentation signals, comments Aim for sweet spot with Effectiveness vs. Efficiency trade offs Validation Environment Minimize custom tool development Reuse design, validation and debug tools across programs Scale emulation, formal verification and mixed signal validation
  • 10. Validation coverage profile and Efficacy Probability of bugs Time Si Spin1 Si Spin2 Efficiency: Catch bugs fast Effectiveness: Catch all customer visible bugs Early detection and bug acceleration has significant business benefits
  • 11. Q&A

Editor's Notes

  • #10: Prefer “validation-aware design” to DFV – emphasis needs to be on designers understanding what is needed to make validation effective & efficient