期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
覆盖率驱动的随机测试生成技术综述
被引量:
21
1
作者
沈海华
卫文丽
陈云霁
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2009年第4期419-431,441,共14页
随机测试生成技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一,其目标是通过覆盖率指导测试向量生成,减少重复测试向量,加速验证的收敛过程,提高验证的自动化程度...
随机测试生成技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一,其目标是通过覆盖率指导测试向量生成,减少重复测试向量,加速验证的收敛过程,提高验证的自动化程度和效率.文中全面综述了覆盖率驱动的随机测试生成技术的发展历程、研究现状和技术分类,并结合具体实例对各种方法及其面临的主要问题进行了讨论、评价和总结.
展开更多
关键词
验证
VLSI
随机测试生成
覆盖率驱动的测试生成
下载PDF
职称材料
基于遗传算法的全芯片级覆盖率驱动随机验证技术
被引量:
5
2
作者
沈海华
王朋宇
+1 位作者
卫文丽
郭崎
《计算机研究与发展》
EI
CSCD
北大核心
2009年第10期1612-1625,共14页
随机测试生成技术是当今大规模集成电路仿真验证流程中的重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点.遗传算法具有部分优化问题的黑盒特性,不需要了解问题的太多先验知识,适合处理黑盒优化问题.因此,将遗传算法...
随机测试生成技术是当今大规模集成电路仿真验证流程中的重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点.遗传算法具有部分优化问题的黑盒特性,不需要了解问题的太多先验知识,适合处理黑盒优化问题.因此,将遗传算法应用在覆盖率反馈驱动随机测试生成时,不需要复杂的领域先验知识,节约了大量的专家时间,提高了验证的自动化程度.分析了各种基于遗传算法的覆盖率驱动的随机测试生成方法,并在此基础上设计和实现了基于遗传算法的全芯片级覆盖率驱动随机验证平台.该平台被实际应用在龙芯处理器的验证中,实验结果表明,平台有效提高了验证效率.
展开更多
关键词
验证
大规模集成电路
随机测试生成
覆盖率驱动的测试生成
遗传算法
下载PDF
职称材料
题名
覆盖率驱动的随机测试生成技术综述
被引量:
21
1
作者
沈海华
卫文丽
陈云霁
机构
中国科学院计算技术研究所微处理器技术研究中心
中国科学院研究生院
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2009年第4期419-431,441,共14页
基金
国家“八六三”高技术研究发展计划(2008AA110901,2007AA01Z112)
国家自然科学基金(60603049)
北京市自然科学基金(4072024)
文摘
随机测试生成技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一,其目标是通过覆盖率指导测试向量生成,减少重复测试向量,加速验证的收敛过程,提高验证的自动化程度和效率.文中全面综述了覆盖率驱动的随机测试生成技术的发展历程、研究现状和技术分类,并结合具体实例对各种方法及其面临的主要问题进行了讨论、评价和总结.
关键词
验证
VLSI
随机测试生成
覆盖率驱动的测试生成
Keywords
verification
VLSI
random test generation
coverage directed test generation
分类号
TP302 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于遗传算法的全芯片级覆盖率驱动随机验证技术
被引量:
5
2
作者
沈海华
王朋宇
卫文丽
郭崎
机构
中国科学院计算机系统结构重点实验室
中国科学院计算技术研究所微处理器技术研究中心
中国科学院研究生院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2009年第10期1612-1625,共14页
基金
国家"九七三"重点基础研究发展计划基金项目(2005CB321600)
国家"八六三"高技术研究发展计划基金项目(2008AA110901
+3 种基金
2007AA01Z112)
国家自然科学基金项目(60603049
60803029)
北京市自然科学基金项目(4072024)~~
文摘
随机测试生成技术是当今大规模集成电路仿真验证流程中的重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点.遗传算法具有部分优化问题的黑盒特性,不需要了解问题的太多先验知识,适合处理黑盒优化问题.因此,将遗传算法应用在覆盖率反馈驱动随机测试生成时,不需要复杂的领域先验知识,节约了大量的专家时间,提高了验证的自动化程度.分析了各种基于遗传算法的覆盖率驱动的随机测试生成方法,并在此基础上设计和实现了基于遗传算法的全芯片级覆盖率驱动随机验证平台.该平台被实际应用在龙芯处理器的验证中,实验结果表明,平台有效提高了验证效率.
关键词
验证
大规模集成电路
随机测试生成
覆盖率驱动的测试生成
遗传算法
Keywords
verification
VI.SI
random test generation
coverage directed test generation
genetic algorithm
分类号
TP302 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
覆盖率驱动的随机测试生成技术综述
沈海华
卫文丽
陈云霁
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2009
21
下载PDF
职称材料
2
基于遗传算法的全芯片级覆盖率驱动随机验证技术
沈海华
王朋宇
卫文丽
郭崎
《计算机研究与发展》
EI
CSCD
北大核心
2009
5
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部