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

摘要：

如何生成高质量的验证激励是功能验证中的核心问题之一.随着功能验证的不断进行,验证激励的有效性也随之降低,为了提高验证激励的质量,提出一种在线筛选技术来处理验证激励.该技术采用单分类支持向量机来在线地构建分类器,以对新生成的验证激励是否冗余进行预测,如果是冗余的,则不进人仿真阶段进行仿真.在此基础上,进一步提出指令序列核函数来衡量不同指令序列的相似程度.实验结果表明,与约束随机生成技术相比,文中技术可以减少约83％的验证激励及79％的验证时间.

关键词：功能验证、激励生成、在线学习、功能覆盖率、核函数

所属期刊栏目：24

分类号：TP391.7(计算技术、计算机技术)

资助基金：国家“核高基”科技重大专项2009ZX01028-002-003,2009ZX01029-001-003;国家自然科学基金61003064,61050002,61100163,61173001;国家“八六三”高技术研究发展计划2012AA011002;中国科学院战略性先导科技专项XPA06010400

在线出版日期：2012-10-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：690-698