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

作者：郭崎

来源：计算机辅助设计与图形学学报, 2012, (05): 690-698.

• 功能验证
• 激励生成
• 在线学习
• 功能覆盖率
• 核函数 functional verification
• stimuli generation
• online learning
• functional coverage
• kernel function

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

• 单位
  中国科学院计算技术研究所; 中国科学院研究生院; 计算机体系结构国家重点实验室