基于遗传算法实现覆盖率驱动的仿真验证技术研究

发布时间：2017-12-25 22:18

  本文关键词：基于遗传算法实现覆盖率驱动的仿真验证技术研究　出处：《浙江大学》2016年硕士论文　论文类型：学位论文

  更多相关文章： 集成电路验证 覆盖率驱动的仿真验证 简单遗传算法 精英遗传算法

【摘要】：随着集成电路产业的快速发展,保证仿真验证中芯片的功能定义与寄存器传输级(RTL)的描述一致,已成为当前芯片仿真验证过程中的关键问题。覆盖率驱动的仿真验证具有良好的可靠性和有效性,然而目前其在验证中采用的随机向量生成技术会产生大量的重复向量,导致覆盖率收敛缓慢、仿真验证效率低下,进而影响到芯片设计的整个进程。本文首先提出了一种将简单遗传算法(SGA)应用于覆盖率驱动的仿真验证中的具体方法。该方法对SGA在仿真中的编码层次进行了定义,将当前代和历史代的覆盖率信息引入个体适应度的评估中,通过筛选SGA提供的遗传策略将比例选择、均匀交叉、单点变异作为遗传策略,并对变异策略进行了一定的改进。该方法以NCC硬件加速器为验证对象,在Matlab和基于VMM方法学的验证平台中分别进行了实验,并且与使用全随机向量生成和不同遗传算法的仿真验证进行了对比。实验结果表明,该方法有效提升了覆盖率驱动的仿真验证效率。本文还进一步提出了基于精英策略的遗传算法(EGA),并将其应用到覆盖率驱动的仿真验证中。该方法利用精英个体对简单遗传算法进行改造,构建了一种具有特定结构和内容的精英向量集,同时使用精英选择和精英交叉策略进行遗传,并设计了一种具有自适应能力的精英交叉概率函数进行交叉操作。实验结果表明,在实际的验证环境中,本文提出的EGA不仅相较于全随机向量生成方法有了很大提高,相比于SGA也获得了更高的验证效率。
【学位授予单位】：浙江大学
【学位级别】：硕士
【学位授予年份】：2016
【分类号】：TP18;TN407

【相似文献】

相关期刊论文 前10条

1 吴瑞镛,徐大纹;具有年龄结构的遗传算法[J];桂林电子工业学院学报;2001年04期

2 杨艳丽,史维祥;一种新的优化算法—遗传算法的设计[J];液压气动与密封;2001年02期

3 杨宜康,李雪,彭勤科,黄永宣;具有年龄结构的遗传算法[J];计算机工程与应用;2002年11期

4 谷峰,吴勇,唐俊;遗传算法的改进[J];微机发展;2003年06期

5 ;遗传算法[J];计算机教育;2004年10期

6 赵义红,李正文,何其四;生物信息处理系统遗传算法探讨[J];成都理工大学学报(自然科学版);2004年05期

7 刘坤,刘伟波,吴忠强;基于模糊遗传算法的电液位置伺服系统控制[J];黑龙江科技学院学报;2005年04期

8 张英俐,刘弘 ,马金刚;遗传算法作曲系统研究[J];信息技术与信息化;2005年05期

9 丁发智;;浅谈遗传算法[J];乌鲁木齐成人教育学院学报;2005年04期

10 李冰洁;;遗传算法及其应用实例[J];吉林工程技术师范学院学报;2005年12期

相关会议论文 前10条

1 陈家照;廖海涛;张中位;罗寅生;;一种改进的遗传算法及其在路径规划中的应用[A];2009系统仿真技术及其应用学术会议论文集[C];2009年

2 李国云;刘颖;薛梅;邬志敏;;遗传算法在高温空冷冷凝器优化设计中的应用[A];第五届全国制冷空调新技术研讨会论文集[C];2008年

3 王志军;李守春;张爽;;改进的遗传算法在反演问题中的应用[A];新世纪 新机遇 新挑战——知识创新和高新技术产业发展（上册）[C];2001年

4 任燕翔;姜立;刘连民;从滋庆;;改进遗传算法在三维日照方案优化中的应用[A];工程三维模型与虚拟现实表现——第二届工程建设计算机应用创新论坛论文集[C];2009年

5 韩娟;;遗传算法概述[A];第三届河南省汽车工程科技学术研讨会论文集[C];2006年

6 庞国仲;王元西;;基于遗传算法控制步长的定性仿真方法[A];'2000系统仿真技术及其应用学术交流会论文集[C];2000年

7 张忠华;杨淑莹;;基于遗传算法的聚类设计[A];全国第二届信号处理与应用学术会议专刊[C];2008年

8 何翠红;区益善;;遗传算法及其在计算机编程中的应用[A];1995年中国智能自动化学术会议暨智能自动化专业委员会成立大会论文集（下册）[C];1995年

9 靳开岩;张乃尧;;几种实用遗传算法及其比较[A];1996年中国智能自动化学术会议论文集（下册）[C];1996年

10 王宏刚;曾建潮;李志宏;;摄动遗传算法[A];1996年中国智能自动化学术会议论文集（下册）[C];1996年

相关重要报纸文章 前1条

1 林京;《神经网络和遗传算法在水科学领域的应用》将面市[N];中国水利报;2002年

相关博士学位论文 前10条

1 蔡美菊;交互式遗传算法及其在隐性目标决策问题中的应用研究[D];合肥工业大学;2015年

2 张士伟;三维声学快速多极基本解法在机械噪声预测中的应用研究[D];沈阳工业大学;2016年

3 高军;无铅焊料本构模型及其参数识别方法研究[D];南京航空航天大学;2015年

4 周辉仁;递阶遗传算法理论及其应用研究[D];天津大学;2008年

5 郝国生;交互式遗传算法中用户的认知规律及其应用[D];中国矿业大学;2009年

6 侯格贤;遗传算法及其在跟踪系统中的应用研究[D];西安电子科技大学;1998年

7 马国田;遗传算法及其在电磁工程中的应用[D];西安电子科技大学;1998年

8 唐文艳;结构优化中的遗传算法研究和应用[D];大连理工大学;2002年

9 周激流;遗传算法理论及其在水问题中应用的研究[D];四川大学;2000年

10 刘冀成;基于改进遗传算法的生物电磁成像与磁场聚焦应用研究[D];四川大学;2005年

相关硕士学位论文 前10条

1 张英俐;基于遗传算法的作曲系统研究[D];山东师范大学;2006年

2 钟海萍;原对偶遗传算法与蚁群算法的一种融合算法[D];暨南大学;2013年

3 李志添;模糊遗传算法与资源优化配置的预测控制[D];华南理工大学;2015年

4 王琳琳;新型双层液压轿运车车厢的设计研究[D];上海工程技术大学;2015年

5 李海全;基于遗传算法的建筑体形系数及迎风面积比优化方法研究[D];华南理工大学;2015年

6 彭骞;基于遗传算法的山区高等级公路纵断面智能优化方法研究[D];昆明理工大学;2015年

7 周玉林;基于小波分析和遗传算法的配电网故障检测[D];昆明理工大学;2015年

8 郭颂;基于粗糙集和遗传算法的数字管道生产管理系统研究[D];昆明理工大学;2015年

9 吴南;数值逼近遗传算法的研究应用[D];华南理工大学;2015年

10 于光帅;一类优化算法的改进研究与应用[D];渤海大学;2015年

，

本文编号：1334667