覆盖率驱动的交换芯片验证方法研究

《覆盖率驱动的交换芯片验证方法研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、巧姑丢种教作圓硕±学位论文Ｉ禱圓覆盖率驱动的交换益片验证方法研究巧者姓名＾冒＿還学校导臟名、职赖贾护军副教授企业导师脱、职赖郭蒙高工ｈＭ串请学位类别工雇硕壬ｆ西安电子科技大学学位论文独创性（或创新性）声明秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加标注和致谢中所罗列的内容外，论文中不包含其他人已经发表或撰写过的研究成果；也不包含一为获得西安电子科技大学或其它教育化构的学位或证巧而使用过的材料。与我同工作的同事对

2、本研究所做的任何贡献均已在论义中作了明碰的说明并表示了谢意。一学位论文若有不实之处，本人承担切法律责任。弓本人签名：Ｉ勝日期：矣啤＿西安电子科技大学关于论文使用授权的说明本人完全了解西安电子科技大学有关保留和使用学位论文的规定，目Ｐ；研究生在校攻读学位期间论文工作的知识产权属于西安电子科技大学。学校有权保留送交论文的复印件＾，允许查闽、借阅论文１；学校可＾＾公布论文的全部或部分内容，允许采用影印、缩印或其它复制手段保巧论文。同时本人保证，结合学位论文硏究成巧完成的论文、发明专利等成果，署名单位为西安电子科技火学。保密的学位

3、论义解密用。在＾年后适本授权书签＾：１＾：柄本人名签名导师．巧＂？＞斗八真？瓜（叫；日期＞：日朔学校代码10701学号1311122886分类号TN4密级公开西安电子科技大学硕士学位论文覆盖率驱动的交换芯片验证方法研究作者姓名：闫爱领域：软件工程学位类别：工程硕士学校导师姓名、职称：贾护军副教授企业导师姓名、职称：郭蒙高工学院：微电子学院提交日期：2016年1月ThestudyofcoveragedrivenverificationmethodforswitchingchipAthesissubmittedtoXIDIANUNIVERSITY

4、inpartialfulfillmentoftherequirementsforthedegreeofMasterinSoftwareEngineeringByYanAISupervisor:JiaHujunAssociateProfessorGuoMengSeniorEngineerJanuary2016摘要摘要当代集成电路芯片设计中，逻辑设计的规模和繁杂程度呈现快速增长的趋势，设计与验证实现的困难度随之大幅提升，为了确保芯片逻辑设计功能的正确性，需投入比以往更多的人力物力资源。经长时间的发展，验证技术在多方面技术实现上取得了长足的进步，但仍存在的问题是：验证工具和验

5、证方法的更新程度无法满足设计规模的增大程度的问题，验证技术远落后于设计发展，验证耗时过长，调试更加困难，因此验证成为制约大规模集成电路发展的瓶颈。与此同时，还要解决如何确保仿真的完备性和如何缩短仿真周期以提升验证效率这两大难题。覆盖率驱动的验证方法学是一种新型的验证方法学，主要是通过覆盖率主导验证过程的实现，其将代码覆盖率、功能覆盖率有机的结合，很大程度上减短验证耗时，以保证待测逻辑验证的完备性。同时本文采用带约束的随机激励的生成技术，最大限度的遍历了测试可能的输入情况，为测试的完备性提供了强有力的保障。截止目前覆盖率驱动的验证技术在验证界得到了大范围的应用，是新一代验

6、证方法学的发展规律，推动了验证方法向前发展。本文对覆盖率驱动的验证技术进行了深入的分析，对衡量覆盖率驱动技术先进性的各个因素进行了深入讨论。并从传统定向测试角度切入，对覆盖率驱动的随机验证得以被实践应用做了理论分析。同时采用Accellera公司推出的行业前沿的UVM方法学，为验证提供了一套标准的SystemVerilog类库，类库的应用实现了基于覆盖率驱动的平台结构的开发。从覆盖率驱动的平台结构实现、覆盖率建模分析、激励生成方案和结果检查机制四个方面，研究了覆盖率驱动的验证方法同传统验证方法的区别，提出了分解功能点的方法和通过分析覆盖率属性来搭建一套完整的功能覆盖率模

7、型。此外，本文采用事务级的建模方法，将平台环境的抽象层次拔高，使数据从管脚级抽象到事务级，通过抽象将底层的细节隐藏起来，以实现高度自动化验证。本文以光纤通道交换芯片的通信端口模块的验证为背景，分析了光纤通道网络和以此作为传输媒介的交换机的基本知识，同时对通信端口模块逻辑设计与传输规范进行了深入研究论，述了通信端口模块对验证过程提出的挑战，制定了通信端口模块的验证策略。同时应用UVM验证方法对通信端口实施了实际验证。结果表明：覆盖率驱动的验证技术可实现验证耗时减少至原有耗时的50%～60%以上，验证速率大幅提高；其中覆盖率指标中的代码覆盖率