期刊文献+

基于精英策略的遗传算法在功能验证中的应用 被引量:5

Genetic Algorithm Used in Functional Verification Based on Elite Strategy
下载PDF
导出
摘要 针对集成电路功能验证中覆盖率收敛较慢的问题,通过分析简单遗传算法(SGA)中精英个体的特征,提出了一种应用于功能验证的精英策略。将本代优秀个体和本代适应度高的历史优秀个体视为精英个体,给予额外交叉机会。基于本文策略的精英遗传算法(EGA)可得到覆盖率广、重复性低的验证向量,缩短功能验证的时间。采用互相关函数的硬件计算单元作为验证模型,在Matlab中模拟功能验证的过程,实验结果表明:与SGA相比,EGA使验证时间缩短了14.8%,功能覆盖率从93%提高到95%,有效地提高了功能验证效率。 This paper addresses the problem of slow convergence occurring in integrated circuit functional verification. By analyzing the features of elites in simple genetic algorithm (SGA), this paper proposes an elite strategy for functional coverage, in which elites are selected in the qualified group and crossed by normal group. Elite genetic algorithm (EGA) based on elite strategy may generate verification vectors with high coverage and low reproducibility such that the functional verification can be accelerated. By adopting an NCC-computing cell as the verification model, the simulation on the function verification process in Matlab is made, whose results show that compared with SGA, EGA can reduce simulation time for 14. 8 % and functional coverage increase from 93% to 95%. The efficiency of integrated circuit functional verification is effectively raised.
出处 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2016年第5期676-681,共6页 Journal of East China University of Science and Technology
基金 浙江省自然科学基金(LY15F040001)
关键词 集成电路验证 功能覆盖率 遗传算法 精英策略 integrated circuit verification functional coverage genetic algorithm elite strategy
  • 相关文献

参考文献2

二级参考文献13

  • 1彭喜元,彭宇,戴毓丰.群智能理论及应用[J].电子学报,2003,31(z1):1982-1988. 被引量:79
  • 2罗春,杨军,凌明.基于遗传算法和覆盖率驱动的功能验证向量自动生成算法[J].应用科学学报,2005,23(4):375-379. 被引量:15
  • 3FINE S, ZIv A. Coverage directed test generation for functional verification using bayesian networks [C]// 40th Design Automation Conference, CA, 2003: 286- 291.
  • 4VERMAS S, HAaam I G. Automatic generation of functional coverage models from CTL IC]//High Level Design Validation and Test Workshop, IEEE International, CA, 2007: 159-164.
  • 5VERMAS S, HARRIS I G. Automntic generation of functional coverage models from behavioral Verilog descriptions [C]// Design, Automation & Test in Eu- rope Conference & Exhibition, 2007, Nice, 2007: 1-6.
  • 6MISHRA P, DUTT N. Functional coverage driven test generation for validation of pipelined processors [C]/ /Proceedings of the Conference on Design, Au- tomation and Test in Europe. 2005: 678-683.
  • 7GUZEY O, WANG L. Functional test selection based on unsupervised support vector analysis [C]// Proceedings of the 45th Annual Conference on De- sign automation, CMifornia, 2008: 262-267.
  • 8KENNEDY J, EBERHART R. Particle swarm optimiza- tion [C]//Proceeding, IEEE International Confer- ence On Neural Networks, Australia, 1995: 1942- 1948.
  • 9HUSMANN D, KELLER M, MAHBOUBI K. A novel sim- ulation and verification approach in an ASIC design process [J]. IEEE Transaction on Nuclear Science, 2002, 49(1): 30%311.
  • 10傅亮,卢鼎,张志敏,孙愿.通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法[J].计算机辅助设计与图形学学报,2009,21(4):454-460. 被引量:5

共引文献3

同被引文献28

引证文献5

二级引证文献15

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部