Presentation is loading. Please wait.

Presentation is loading. Please wait.

Alon Flaisher Alon Gluska Eli Singerman Intel Corporation

Similar presentations


Presentation on theme: "Alon Flaisher Alon Gluska Eli Singerman Intel Corporation"— Presentation transcript:

1 Case study: Integrating FV and DV in the Verification of Intel® Core™2 Duo Microprocessor
Alon Flaisher Alon Gluska Eli Singerman Intel Corporation Israel Design Center

2 Presentation Goals Share how the integration of FV with dynamic verification improved the productivity & quality of Merom verification Highlight some of the barriers in effective deployment of FV Update how FV is used in today’s CPU designs and what are the future challenges A. Flaisher

3 Outline Challenges Applying FV in Merom Our FV/DV synergy approach
Examples Looking forward A. Flaisher

4 Challenges in Applying FV in Merom
Allocate resources for FV Replace traditional dynamic verification (DV) activities Choose the best designs to FV Quickly establish new FV environments A. Flaisher

5 Our Approach – FV/DV Integration
Replaced DV activities For each DUT decided what would be the effect on DV 75% of the proofs replaced DV activities, mainly coverage Enabled allocating resources for FV FV was also applied by VE (non FV experts) Familiar with the design, owned both activities Compared the complexity of the design vs. the proof Provided more flexibility in assigning engineers to FV FVE established FV environments for VE Better utilized expertise Joint decision where to apply FV Joint test plans and checking A. Flaisher

6 Example 1: ALU Cluster Independent execution units
FV done in 2nd half of the project Cluster level FV using symbolic simulation (STE/FL) FVE built a Cluster Formal Environment Active unit driven symbolically Remaining units driven with X’s The unit owner (VE) coded the spec/checkers for each micro- instruction in FL Thousands of micro-instructions Some are very simple to code, once you know the spec A. Flaisher

7 Example 1: ALU Cluster (Cont.)
FV/DV approach provided much higher verification quality for comparable investment! Higher quality verification 98% of the micro-instructions fully verified! Unit dependencies also verified Zero bugs found in silicon Reduction of effort Done instead of coverage (which requires huge investment) Good utilization of expertise FVers built the CFE and carried out highly complex proofs DVers wrote most specs A. Flaisher

8 Example 2: MS Unit The MS unit Unit was completely FV by an expert VE
Translates instructions to uop sequences Needs to support all combination of uops and events (any ROM) Unit was completely FV by an expert VE MS team chose FV as the main verification tool Used BMC on unit boundaries 1400 vars, bound 40 Reference model for checking Control ROM Decoders uip IA instruction uops MS Unit Clears A. Flaisher

9 Example 2: MS Unit (Cont.)
FV/DV provided much higher quality for less effort! FV found corner case bugs impractical for simulation Prevented bugs from being released Replaced most DV activities Enabled by the MS validation team Control ROM Decoders uip IA instruction uops MS Unit Clears A. Flaisher

10 Looking Forward FV integration to mainstream verification continues to grow in current CPU designs More FV resources in Sandy Bridge (Intel’s 2010 TOC) Good acceptance throughout the project Single spec language for RTL assertions and FV (SVA) Aggressive ABV methodology improves assertion FV ROI Sharing (unit level) checkers through SV reference-models A. Flaisher

11 Looking Forward (Cont.)
Good results from applying FV for bug-hunting Integrate FV for bug hunting in early stages Integrate FV to get highest confidence in later stages Key capabilities are still missing Sharing FV/DV environments Unit level capacity Solutions for system level properties Predictability and complexity analysis A. Flaisher

12 Q&A


Download ppt "Alon Flaisher Alon Gluska Eli Singerman Intel Corporation"

Similar presentations


Ads by Google