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

《基于遗传算法实现覆盖率驱动的仿真验证技术研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号：ＴＮ４７单位代码：１０３３５密级；么开学号：２１３１０１０４硕±学位论文戀中文论文题目：基于遺传义法实现覆盖率驱动的仿真證证技未巧究英文论文题目：ＶｅｒｉｆｉｃａｔｉｏｎＴｅｃｈｎｏｌｏｇｙＤｒｉｖｅｎｂｙＣｏｖｅｒａｇｅＢａｓｅｄｏｎＧｅｎｅｔｉｃＡｌｇｏｒｉｔｈｍ申请人姓名：指导教师：罗小华合作导师：专业名称：电路与系统研究方向：数字集成电路设计与验证所在学晓：电气工程学院论文提交日期２０１６年１

2、月基于遗传算法实现覆盖率驱动的仿真验证技术研究戀：茲，论文作者签名指导教师签名：皆」、气１论文评阅人；校外盲审评阅人２；校夕惰审３评阅人；校外盲审评阅人４；评阅人５；答辩委员会主席；严晓浪教授浙江大学委员１：孟建耀教授复旦大学委员２；张培勇副教授浙江大学委员３；虞小鹏副教授浙江大学６３９答辩日期．．：２０１ＩＩ浙江大学研究生学位论文独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研巧工作

3、及取得的研究成果。除了文中特别加标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得浙江大学或其他教育机构的学位或证书而使用过的材料一。与我同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。如：学位论文作者签名：签字日期片年＾月作日学位论文版权使用授权书本学位论文作者完全了解浙江大学有权保留并向国家有关部ｎ或机构送交本论文的复印件和磁盘，允许论文被查阅和借阅。本人授权浙江大学可＾将学位论文的全部或部分内容编入有关数据库进行检索和

4、传播，可１＾１采用影印、。、缩印或扫描等复制手段保存汇编学位论文（保密的学位论文在解密后适用本授权书）学位论文作者签名：：蜂导师签名签字日期；＞化年月口日签字日期：列年日＾（４浙江大学硕壬学化论文致谢致谢转眼间Ｚ年的读研生活巧将接近尾声，在这３年里我在浙江大学超大所攻读Ｌ了硕击学位，谨在此，回望这Ｈ年的学习生活，我受益良《乂徵薄的言语对曾经／心的感谢鼓励我、帮助我的人表示衷。—首先，我要特别感谢我的导师罗小华副教授。罗老师平易近人，Ｗ个亦师一亦友的身份为我打

5、开了集成电路设计和验证世界的扇口，让巧能够在这个高速发展的学科尽快的追赶前沿的步伐一，对集成电路验证方向有定的研究同时罗；一老师更是我的人生导师，，在巧对专业和兴趣产生迷茫时罗老师直教导我要追一直给精神上给我鼓励／公感寻人生中想做的事，并。在这里，我衷谢罗老师对我的教导，，祝愿他身体健康，工作顺利家庭幸福。其次要感谢浙江大学趙大所的严晓浪老师、何乐年老师、吴晓波老师、赵梦恋老师、沈海斌老师、史岭老师、虞小鹏老师、王维维老师和竺红卫老师。各位、的讲解老师在研究生课程上均给予我们细耐成，让我

6、奠定了集成电路专业基础。再次感谢我的高中同桌、现己在美国工作的多尔泰同学，曾经在超大所的你鼓励我考来这个优秀的集体，让我在研究生王年的生活中收获良多；感谢陈立生、一、张浩鹏师兄和李楠同学，几位在巧研的时候对我的学业和生活都充满关尼，在我迷茫的时候帮我寻找人生的方向；感谢高史义师兄对我学业上的引导，你对于我毕业论文给予了我很多指导；感谢我在ＡＭＤ实习时的各位罔事，各位带领初入社会的我了解到工业界验证工作是如何展开的。特别要感谢实验窒的各位同学，；感谢冯忱巧师兄在实验室王年对巧的照顾／你

7、让我学习到了遇事平和泰然的公态感谢卢宇峰、俞森、李益航、翁梦婷、张；一一晨秋这些我实验室亲爱的同学们，我们共同营造了个家般的学习生活氛围，让我这个在外求学的异乡学子能够感受到家的湿暖我会一直铭记我们的友谊。，最后，我要把我的感谢送给我最爱的家人，，你们默默不计回报的付出让我。能够在异乡充满勇气地追寻属于自氏的人生，探寻人生的精彩长风破浪会有时，直挂玄帆济沧海、。我将在成中铭记对于各位的感谢，在未来留下更为精彩的足迹。２０１６年１月于求是园Ｉ浙江大学硕壬学位沦文摘要搞要随着集

8、成电路产业的快速发展，保证仿真验证中思片的功能定义与寄存器传输级ＲＴＬ的描述一致已成为当前患片仿真验证过輕中的关键问题。覆盖率驱动（），的仿真验证具有良好的可靠性和有效性，然而目前其在验证中采用的随机向量生成技术会产生大量的重复向量，导致覆盖率收敛缓侵、仿真验证效率低下，进而影响到思片设计的整个进程。本文首先提出了一种将简单遗传算法巧ＧＡ