Functional coverage measurements and results in post-silicon validation of Core™2 Duo family

被引:13
作者
Bojan, Tommy [1 ]
Arreola, Manuel Aguilar [1 ]
Shlomo, Eran [1 ]
Shachar, Tal [1 ]
机构
[1] Intel Corp, Intel Dev Ctr, MTM Sci Ind Ctr, IL-31015 Haifa, Israel
来源
2007 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS | 2007年
关键词
D O I
10.1109/HLDVT.2007.4392804
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Post-Silicon verification is an activity that is still maturing with respect to functional coverage methodologies. The architectural and micro-architectural feedback from silicon can be used to enhance the level of quality of the test suite, and allows monitoring the frequency of interesting micro-architectural events. For the latest Intel Corporation's multi-core processors (Intel (R) Core (TM) 2 Duo processor, Intel Core (TM) 2 Extreme processor, Dual-Core Intel Xeon (R) processor 5100 series, Intel Core (TM) 2 Duo mobile processor,), validation uses Random Instruction Tool (RIT) generated tests, so the need for coverage increases in importance. There are different methods that are used to understand what the RIT is exercising. In this paper, three efficient orthogonal solution and results vectors are presented: (A) Front-Side-Bus (FSB) Checker and coverage approach exploiting the re-use of mature pre-silicon tools, (B) Extended Execution Trace (EET) mechanism which uses special microcode patches for external tracking of microcode flows, and (C) Performance Monitoring Hardware used to collect frequency coverage of specific internal events. With these approaches, effective Front-Side Bus, microcode and architectural coverage was collected, analyzed and used as feedback for better tuning the RIT generation parameters. These three solutions have been put to practice in projects code named Conroe, Woodcrest, Merom, and Penryn to further improve the quality of test generated by the System Validation's (SV) RIT.
引用
收藏
页码:145 / 150
页数:6
相关论文
共 8 条
[1]  
[Anonymous], 11496 IEEE
[2]  
BENTLEY B, DAC, P20
[3]  
Gluska A, 2003, DES AUT CON, P280
[4]   Practical methods in Coverage-Oriented verification of the Merom microprocessor [J].
Gluska, Alon .
43rd Design Automation Conference, Proceedings 2006, 2006, :332-337
[5]  
*INT CORP, 2006, INT 64 IA 32 ARCH SO, V1
[6]  
*INT CORP, INT INT SPEC DOC
[7]  
*JTAG STAND, 11491 IEEE
[8]  
SHANLEY T, 1998, PENTIUM PRO PENTIUM, pCH8