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

• 作者: 张珩 沈海华 王朋宇 郭崎 陈云霁
• 来源期刊: 高技术通讯
• 学科: 工学
• 关键词: 支持向量机(SVM) 功能覆盖率模型 微处理器验证 仿真验证 验证向量优化
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 先进制造与自动化技术
• 页码范围: 68-74
• 页数: 7页
• 分类号: TP3
• 字数: 7204字
• 语种: 中文
• DOI: 10.3772/j.issn.1002-0470.2010.01.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈云霁		27	233	8.0	15.0
2	张珩	中国科学院计算技术研究所计算机系统结构重点实验室	52	651	11.0	24.0
3	沈海华	中国科学院计算技术研究所计算机系统结构重点实验室	17	218	7.0	14.0
4	郭崎		4	15	2.0	3.0
5	王朋宇	中国科学院计算技术研究所计算机系统结构重点实验室	2	25	2.0	2.0