Functional coverage measurements and results in post-Silicon validation of Core™2 duo family

Tommy Bojan, Manuel Aguilar Arreola, Eran Shlomo, Tal Shachar
{"title":"Functional coverage measurements and results in post-Silicon validation of Core™2 duo family","authors":"Tommy Bojan, Manuel Aguilar Arreola, Eran Shlomo, Tal Shachar","doi":"10.1109/HLDVT.2007.4392804","DOIUrl":null,"url":null,"abstract":"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 (Intelreg CoreTM2 Duo processor, Intelreg CoreTM2 Extreme processor, Dual-Core Intelreg Xeonreg processor 5100 series, Intelreg CoreTM2 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.","PeriodicalId":339324,"journal":{"name":"2007 IEEE International High Level Design Validation and Test Workshop","volume":"6 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"32","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2007 IEEE International High Level Design Validation and Test Workshop","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HLDVT.2007.4392804","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 32

Abstract

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 (Intelreg CoreTM2 Duo processor, Intelreg CoreTM2 Extreme processor, Dual-Core Intelreg Xeonreg processor 5100 series, Intelreg CoreTM2 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.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Core™2 duo家族的功能覆盖测量和硅后验证结果
就功能覆盖方法而言,后硅验证是一项仍在成熟的活动。来自硅的体系结构和微体系结构反馈可用于提高测试套件的质量水平,并允许监视有趣的微体系结构事件的频率。对于最新的英特尔公司的多核处理器(Intelreg CoreTM2 Duo处理器,Intelreg CoreTM2 Extreme处理器,双核Intelreg Xeonreg处理器5100系列,Intelreg CoreTM2 Duo移动处理器),验证使用随机指令工具(RIT)生成的测试,因此对覆盖率的需求增加了重要性。有不同的方法可以用来理解RIT在做什么。本文提出了三种有效的正交解决方案和结果向量:(A)利用重用成熟的预硅工具的前端总线(FSB)检查器和覆盖方法,(B)使用特殊微码补丁对微码流进行外部跟踪的扩展执行跟踪(EET)机制,以及(C)用于收集特定内部事件频率覆盖的性能监控硬件。通过这些方法,收集、分析有效的前端总线、微码和体系结构覆盖率,并将其用作反馈,以更好地调整RIT生成参数。这三种解决方案已经在名为Conroe、Woodcrest、Merom和Penryn的项目代码中付诸实践,以进一步提高由系统验证(SV) RIT生成的测试质量。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Reliable network-on-chip based on generalized de Bruijn graph Automatic error diagnosis and correction for RTL designs A novel formal approach to generate high-level test vectors without ILP and SAT solvers Hierarchical cache coherence protocol verification one level at a time through assume guarantee Towards RTL test generation from SystemC TLM specifications
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1