期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
使用支持向量机的微处理器验证向量优化方法
被引量：
1
1
作者
王朋宇
郭崎
+2 位作者
沈海华
陈云霁
张珩
《高技术通讯》
EI
CAS
CSCD
北大核心
2010年第1期68-74,共7页
为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。...
为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。利用训练后的分类器对于新产生的验证向量进行预测,并丢弃预测中不能提高覆盖率的冗余验证向量。实验数据表明该方法能准确地过滤冗余验证向量,提高仿真运行的验证向量的质量。和完全随机的验证向量生成方法相比,该方法达到相同的功能覆盖率仅需要前者1/3的验证向量。
展开更多
关键词
支持向量机(SVM)
功能覆盖率模型
微处理器验证
仿真验证
验证向量优化
在线阅读
下载PDF
职称材料
面向总线系统的高层次结构化激励生成算法
2
作者
程开丰
罗汉青
梁利平
《湖南大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2018年第4期148-154,160,共8页
为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次...
为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次化输入激励空间等价类划分算法和对应的高层次功能覆盖率模型,最后基于树的搜索提出了2种结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的总线系统的功能验证中,实际结果表明,相比代码覆盖率,高层次功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励生成能够将覆盖率收敛所需的激励数减少96%.
展开更多
关键词
总线系统
有向二分图
模型
等价类划分
高层次
功能覆盖率模型
结构化激励生成
在线阅读
下载PDF
职称材料
Cache一致性验证的结构化激励生成算法
3
作者
程开丰
罗汉青
梁利平
《湖南大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2018年第10期108-114,共7页
为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突访存操作分类成基本同步和复杂同步,并进一步抽象成有向二分图...
为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突访存操作分类成基本同步和复杂同步,并进一步抽象成有向二分图模型,由此提出一种通用的层次化输入空间等价类划分算法和对应的高层次HSPC(Host Slave Pair Coverage)功能覆盖率模型,最后基于树的搜索提出了结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的Cache一致性的功能验证中,实际结果表明,相比传统基于代码的覆盖率,高层次HSPC功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励能够将覆盖率收敛所需的激励数减少96.3%.
展开更多
关键词
CACHE一致性
有向二分图
模型
等价类划分
高层次
功能覆盖率模型
结构化激励生成
在线阅读
下载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
职称材料
题名
面向总线系统的高层次结构化激励生成算法
2
作者
程开丰
罗汉青
梁利平
机构
中国科学院大学微电子研究所
出处
《湖南大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2018年第4期148-154,160,共8页
基金
国家科技重大专项项目(2013ZX03003015)~~
文摘
为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次化输入激励空间等价类划分算法和对应的高层次功能覆盖率模型,最后基于树的搜索提出了2种结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的总线系统的功能验证中,实际结果表明,相比代码覆盖率,高层次功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励生成能够将覆盖率收敛所需的激励数减少96%.
关键词
总线系统
有向二分图
模型
等价类划分
高层次
功能覆盖率模型
结构化激励生成
Keywords
bus system
directed bipartite graph model
equivalence partition
high level functional coverage model
structural stimuli generation
分类号
TP302 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
Cache一致性验证的结构化激励生成算法
3
作者
程开丰
罗汉青
梁利平
机构
中国科学院大学中国科学院微电子研究所嵌入式与多核DSP实验室
出处
《湖南大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2018年第10期108-114,共7页
基金
新一代宽带无线移动通信网国家科技重大专项(2013ZX03003015)。
文摘
为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突访存操作分类成基本同步和复杂同步,并进一步抽象成有向二分图模型,由此提出一种通用的层次化输入空间等价类划分算法和对应的高层次HSPC(Host Slave Pair Coverage)功能覆盖率模型,最后基于树的搜索提出了结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的Cache一致性的功能验证中,实际结果表明,相比传统基于代码的覆盖率,高层次HSPC功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励能够将覆盖率收敛所需的激励数减少96.3%.
关键词
CACHE一致性
有向二分图
模型
等价类划分
高层次
功能覆盖率模型
结构化激励生成
Keywords
Cache coherence
directed bipartite graph model
equivalence partition
high level functional coverage model
structural stimuli generation
分类号
TP302 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
使用支持向量机的微处理器验证向量优化方法
王朋宇
郭崎
沈海华
陈云霁
张珩
《高技术通讯》
EI
CAS
CSCD
北大核心
2010
1
在线阅读
下载PDF
职称材料
2
面向总线系统的高层次结构化激励生成算法
程开丰
罗汉青
梁利平
《湖南大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2018
0
在线阅读
下载PDF
职称材料
3
Cache一致性验证的结构化激励生成算法
程开丰
罗汉青
梁利平
《湖南大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2018
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
