处理器验证激励在线筛选技术.pdfVIP

第24卷第5期 计算机辅助设计与图形学学报 V01．24 No．5 2012年5月 Journal of Computer—Aided Design 8．Computer Graphics May 2012 处理器验证激励在线筛选技术 郭 崎“2’3’ 1’(中国科学院计算技术研究所计算机体系结构国家重点实验室北京 100190) 2’(中国科学院研究生院北京 100039) 3’(北京龙芯中科技术服务中心有限公司 北京 i00190) (guoqi@ice．ao en) 摘 要：如何生成高质量的验证激励是功能验证中的核心问题之一．随着功能验证的不断进行。验证激励的有效性 也随之降低．为了提高验证激励的质量。提出一种在线筛选技术来处理验证激励．该技术采用单分类支持向量机来 在线地构建分类器，以对新生成的验证激励是否冗余进行预测，如果是冗余的。则不进人仿真阶段进行仿真．在此基 础上，进一步提出指令序列核函数来衡量不同指令序列的相似程度．实验结果表明，与约束随机生成技术相比。文中 技术可以减少约83％的验证激励及79％的验证时间． 关键词：功能验证；激励生成；在线学习；功能覆盖率；核函数 中图法分类号：TP391．7 Online Filtration of Stimuli for Microprocessor Verification Guo Qil’2’3’ ”(StateLaboratory ofComputerArchitecture．Institute ofComputing Technology·ChineseAcademyofSciences·Bering 100190) ”(Graduate School of Chinese Academy of Sciences，Beijing 100049) ”(Loongson Technologies Corporation Limited，Beijing 100190) Abstract：One of the most critical issues during functional verification is to generate highly effective stimuli．As verification proceeds，the effectiveness of verification stimuli decreases．To improve the effectiveness of stimuli，an online filteration technique to process is proposed to generated stimuli． This technique employs one-class support vector machines to online construct a classifier to predict whether or not a newly generated stimulus is redundant，and the predicted redundant stimulus will not be sent for simulation．Besides，we also propose an instruction sequence kernel to measure the similarities among instruction sequences．Experimental results demonstrate that this technique can reduce about 83％stimuli and 79％verification time in comparison with conventional constrained random generation． Key words；functional verification；stimuli generation；online learning；functional coverage；kernel function 随着芯片工艺不断向深亚微米及纳米级的方向 发展，集成电路的规模越来越大，这使得功能验证成 为了处理器设计中的主要挑战之一．事实上。功能验 证已经占据了整个设计流程中约70％的开发时间 和资源．在处理器的全芯片验证过程中，基于模拟的 验证仍然是最为主要的手段．然而．模拟验证的一个 收稿日期：2011—08—26；修回日期：2011—12—16．基金项目：国家“核高基”科技重大专项(2009ZX01028-002—003，2009ZX01029—001—003)； 国家自然科学基金61050