期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于遗传算法的功能覆盖率收敛技术
被引量:
2
1
作者
高史义
罗小华
+2 位作者
卢宇峰
刘富春
张晨秋
《浙江大学学报(工学版)》
EI
CAS
CSCD
北大核心
2015年第8期1509-1515,共7页
针对集成电路验证向量生成与功能覆盖率收敛的问题,提出一种基于遗传算法的功能覆盖率收敛技术.通过计算分析遗传算法中遗传算子的概率分布函数,获得由比例选择算子、均匀交叉算子以及二元变异算子组成的遗传算法,得到覆盖率广、重复性...
针对集成电路验证向量生成与功能覆盖率收敛的问题,提出一种基于遗传算法的功能覆盖率收敛技术.通过计算分析遗传算法中遗传算子的概率分布函数,获得由比例选择算子、均匀交叉算子以及二元变异算子组成的遗传算法,得到覆盖率广、重复性低的验证向量,在最短仿真时间内达到预先设定的功能覆盖率.实验采用基于Turbo芯片的图像处理硬件加速器作为验证模型,将遗传算法嵌入到以System Verilog语言为基础的层次化验证平台中.结果表明,与全随机向量验证相比,该算法有效增加了功能覆盖率并使仿真时间缩短了25%左右,实现功能覆盖率的快速收敛,提高了验证效率.
展开更多
关键词
遗传算法
功能覆盖率
快速收敛
比例选择算子
均匀交叉算子
二元变异算子
下载PDF
职称材料
题名
基于遗传算法的功能覆盖率收敛技术
被引量:
2
1
作者
高史义
罗小华
卢宇峰
刘富春
张晨秋
机构
浙江
大学
电气工程
学院
北京大学工学院杭州未来科技城研究院
出处
《浙江大学学报(工学版)》
EI
CAS
CSCD
北大核心
2015年第8期1509-1515,共7页
基金
浙江省自然科学基金资助项目(LY15F040001)
文摘
针对集成电路验证向量生成与功能覆盖率收敛的问题,提出一种基于遗传算法的功能覆盖率收敛技术.通过计算分析遗传算法中遗传算子的概率分布函数,获得由比例选择算子、均匀交叉算子以及二元变异算子组成的遗传算法,得到覆盖率广、重复性低的验证向量,在最短仿真时间内达到预先设定的功能覆盖率.实验采用基于Turbo芯片的图像处理硬件加速器作为验证模型,将遗传算法嵌入到以System Verilog语言为基础的层次化验证平台中.结果表明,与全随机向量验证相比,该算法有效增加了功能覆盖率并使仿真时间缩短了25%左右,实现功能覆盖率的快速收敛,提高了验证效率.
关键词
遗传算法
功能覆盖率
快速收敛
比例选择算子
均匀交叉算子
二元变异算子
Keywords
genetic algorithm
functional coverage
rapid convergence
proportional selection operator
uniform crossover operator
binary mutation operator
分类号
TN47 [电子电信—微电子学与固体电子学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于遗传算法的功能覆盖率收敛技术
高史义
罗小华
卢宇峰
刘富春
张晨秋
《浙江大学学报(工学版)》
EI
CAS
CSCD
北大核心
2015
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部