期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
使用支持向量机的微处理器验证向量优化方法
被引量：
1
1
作者
王朋宇
郭崎
+2 位作者
沈海华
陈云霁
张珩
《高技术通讯》
EI
CAS
CSCD
北大核心
2010年第1期68-74,共7页
为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。...
为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。利用训练后的分类器对于新产生的验证向量进行预测,并丢弃预测中不能提高覆盖率的冗余验证向量。实验数据表明该方法能准确地过滤冗余验证向量,提高仿真运行的验证向量的质量。和完全随机的验证向量生成方法相比,该方法达到相同的功能覆盖率仅需要前者1/3的验证向量。
展开更多
关键词
支持向量机(SVM)
功能覆盖率模型
微处理器验证
仿真
验证
验证
向量优化
在线阅读
下载PDF
职称材料
一种基于PLI和Simics的微处理器协同验证平台
2
作者
周文涛
樊晓桠
黄小平
《微电子学与计算机》
CSCD
北大核心
2010年第11期162-165,共4页
面向微处理器验证,构建了一种基于Verilog PLI和Simics模拟器的微处理器验证平台.该平台通过Ver-ilog PLI,利用设计的控制模块将待测微处理器设计模型与Simics模拟器相连,协同自动化比较运行结果.该平台应用在龙腾R处理器的验证中.结果...
面向微处理器验证,构建了一种基于Verilog PLI和Simics模拟器的微处理器验证平台.该平台通过Ver-ilog PLI,利用设计的控制模块将待测微处理器设计模型与Simics模拟器相连,协同自动化比较运行结果.该平台应用在龙腾R处理器的验证中.结果显示该平台有效增加了验证人员对验证过程的可观测性和可控性,具有灵活性高,仿真速度快等特点.
展开更多
关键词
微处理器验证
VERILOG
PLI
SIMICS
在线阅读
下载PDF
职称材料
题名
使用支持向量机的微处理器验证向量优化方法
被引量：
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 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
一种基于PLI和Simics的微处理器协同验证平台
2
作者
周文涛
樊晓桠
黄小平
机构
西北工业大学航空微电子中心
出处
《微电子学与计算机》
CSCD
北大核心
2010年第11期162-165,共4页
基金
国家自然科学基金项目(60773223)
文摘
面向微处理器验证,构建了一种基于Verilog PLI和Simics模拟器的微处理器验证平台.该平台通过Ver-ilog PLI,利用设计的控制模块将待测微处理器设计模型与Simics模拟器相连,协同自动化比较运行结果.该平台应用在龙腾R处理器的验证中.结果显示该平台有效增加了验证人员对验证过程的可观测性和可控性,具有灵活性高,仿真速度快等特点.
关键词
微处理器验证
VERILOG
PLI
SIMICS
Keywords
microprocessor verification
Verilog PLI
Simics
分类号
TP368.1 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
使用支持向量机的微处理器验证向量优化方法
王朋宇
郭崎
沈海华
陈云霁
张珩
《高技术通讯》
EI
CAS
CSCD
北大核心
2010
1
在线阅读
下载PDF
职称材料
2
一种基于PLI和Simics的微处理器协同验证平台
周文涛
樊晓桠
黄小平
《微电子学与计算机》
CSCD
北大核心
2010
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
