浙江大学学报（工学版）
浙江大學學報（工學版）
절강대학학보（공학판）
Journal of Zhejiang University(Engineering Science)
2015年
8期
1509-1515
,共7页
高史义%罗小华%卢宇峰%刘富春%张晨秋
高史義%囉小華%盧宇峰%劉富春%張晨鞦
고사의%라소화%로우봉%류부춘%장신추
遗传算法%功能覆盖率%快速收敛%比例选择算子%均匀交叉算子%二元变异算子
遺傳算法%功能覆蓋率%快速收斂%比例選擇算子%均勻交扠算子%二元變異算子
유전산법%공능복개솔%쾌속수렴%비례선택산자%균균교차산자%이원변이산자
genetic algorithm%functional coverage%rapid convergence%proportional selection operator%uniform crossover operator%binary mutation operator
针对集成电路验证向量生成与功能覆盖率收敛的问题,提出一种基于遗传算法的功能覆盖率收敛技术.通过计算分析遗传算法中遗传算子的概率分布函数,获得由比例选择算子、均匀交叉算子以及二元变异算子组成的遗传算法,得到覆盖率广、重复性低的验证向量,在最短仿真时间内达到预先设定的功能覆盖率.实验采用基于Turbo芯片的图像处理硬件加速器作为验证模型,将遗传算法嵌入到以System Verilog语言为基础的层次化验证平台中.结果表明,与全随机向量验证相比,该算法有效增加了功能覆盖率并使仿真时间缩短了25％左右,实现功能覆盖率的快速收敛,提高了验证效率.
針對集成電路驗證嚮量生成與功能覆蓋率收斂的問題,提齣一種基于遺傳算法的功能覆蓋率收斂技術.通過計算分析遺傳算法中遺傳算子的概率分佈函數,穫得由比例選擇算子、均勻交扠算子以及二元變異算子組成的遺傳算法,得到覆蓋率廣、重複性低的驗證嚮量,在最短倣真時間內達到預先設定的功能覆蓋率.實驗採用基于Turbo芯片的圖像處理硬件加速器作為驗證模型,將遺傳算法嵌入到以System Verilog語言為基礎的層次化驗證平檯中.結果錶明,與全隨機嚮量驗證相比,該算法有效增加瞭功能覆蓋率併使倣真時間縮短瞭25％左右,實現功能覆蓋率的快速收斂,提高瞭驗證效率.
침대집성전로험증향량생성여공능복개솔수렴적문제,제출일충기우유전산법적공능복개솔수렴기술.통과계산분석유전산법중유전산자적개솔분포함수,획득유비례선택산자、균균교차산자이급이원변이산자조성적유전산법,득도복개솔엄、중복성저적험증향량,재최단방진시간내체도예선설정적공능복개솔.실험채용기우Turbo심편적도상처리경건가속기작위험증모형,장유전산법감입도이System Verilog어언위기출적층차화험증평태중.결과표명,여전수궤향량험증상비,해산법유효증가료공능복개솔병사방진시간축단료25％좌우,실현공능복개솔적쾌속수렴,제고료험증효솔.
