-
题名使用支持向量机的微处理器验证向量优化方法
被引量：1
- 1
-
-
作者
王朋宇
郭崎
沈海华
陈云霁
张珩
-
机构
中国科学院计算技术研究所计算机系统结构重点实验室
中国科学院研究生院
-
出处
《高技术通讯》
EI
CAS
CSCD
北大核心
2010年第1期68-74,共7页
-
基金
国家自然科学基金(60603049,60673146)
863计划(2007AA01Z112,2008AA110901)
+1 种基金
973计划(2005CB321600)
北京市自然科学基金(4072024)资助项目
-
文摘
为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。利用训练后的分类器对于新产生的验证向量进行预测,并丢弃预测中不能提高覆盖率的冗余验证向量。实验数据表明该方法能准确地过滤冗余验证向量,提高仿真运行的验证向量的质量。和完全随机的验证向量生成方法相比,该方法达到相同的功能覆盖率仅需要前者1/3的验证向量。
-
关键词
支持向量机(SVM)
功能覆盖率模型
微处理器验证
仿真验证
验证向量优化
-
Keywords
support vector machine （SVM）, functional coverage model, microprocessor verification, simulation verification, simulation vector optimization
-
分类号
TP332
[自动化与计算机技术—计算机系统结构]
-
-
题名基于多模拟器协同模拟的微处理器验证技术研究
- 2
-
-
作者
宋慧静
赵天磊
吴虎成
张民选
-
机构
国防科学技术大学计算机学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2015年第9期2130-2134,共5页
-
基金
国家自然科学基金项目(61202125)资助
-
文摘
提出并实现了一种基于Verilog模拟器与C模拟器协同模拟的微处理器验证平台Bug Finder.该平台通过System Verilog DPI(Direct Programming Interface)和操作系统共享内存机制,将待验证微处理器的RTL模型与GEM5模拟器相连,并自动比较每条指令的运行结果,可以发现深层次的设计错误并快速定位.在实际验证中的应用结果显示,Bug Finder平台可以快速定位到大量RTL设计和验证环境中的错误,有效缩短了处理器的验证周期.
-
关键词
微处理器验证
GEM5
SYSTEMVERILOG
DPI
协同模拟
快速定位错误
-
Keywords
microprocessor verification
GEM5
System Verilog DPI
co-simulation
rapid positioning error
-
分类号
TP368
[自动化与计算机技术—计算机系统结构]
-
