使用支持向量机的微处理器验证向量优化方法

摘要：

为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法.该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器.利用训练后的分类器对于新产生的验证向量进行预测,并丢弃预测中不能提高覆盖率的冗余验证向量.实验数据表明该方法能准确地过滤冗余验证向量,提高仿真运行的验证向量的质量.和完全随机的验证向量生成方法相比,该方法达到相同的功能覆盖率仅需要前者1/3的验证向量.

关键词：支持向量机(SVM)、功能覆盖率模型、微处理器验证、仿真验证、验证向量优化

所属期刊栏目：20

分类号：TP3;TM5

资助基金：国家自然科学基金60603049,60673146;863计划2007AA01Z112,2008AA110901;973计划2005CB321600;北京市自然科学基金4072024

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

页数：共7页

页码：68-74