基于vmm7816接口模块验证

基于vmm7816接口模块验证

ID:34600855

大小:8.86 MB

页数:65页

时间:2019-03-08

基于vmm7816接口模块验证_第1页
基于vmm7816接口模块验证_第2页
基于vmm7816接口模块验证_第3页
基于vmm7816接口模块验证_第4页
基于vmm7816接口模块验证_第5页
资源描述:

《基于vmm7816接口模块验证》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库

1、摘要随着芯片的复杂度的快速增长,验证成为集成电路开发过程中面临的最有挑战性的一个环节。验证要占整个设计开发60%~80%的工作量。越来越多的项目开始采用基于Systemverilog的验证方法学来获得更多的重用扩展性、更全面的功能覆盖率,以及更合理的层次化验证结构。本文基于VMMⅣerificationMethodologyMaIlual)验证方法学来验证U.key芯片中7816接口模块。实现了模块级验证高效、层次化、可重用验证平台的搭建。分析了7816模块的功能点,编写功能覆盖率模型,并且对F

2、IFO的异常状态进行了断言验证。并开发测试用例完成了7816所有功能的仿真验证。功能覆盖率为100%,条件覆盖率为95.1%,行覆盖率为98.7%,状态机跳转覆盖率为100%。本文描述了如何将功能覆盖率,RAL(RegisterAbstI.actionLayer),断言与以往的验证方法有效地结合。说明结合功能覆盖率、&址和断言为导向的验证方法提高了验证过程中的观测性,减少了验证周期,保证了验证的完备性。关键字:VMM7816验证AbstractAsthecomplexit),ofthera枷dg

3、row札ValidationwillbecomememoStchallengetointegratedcircuitiIltlledeVelopmentprocess.Inf.act,verificationworkaccountfor60~80percentoftotalproduCtdeVelopmentcycle.MorealldmoreoftheprojectbegantouSevalidationmethodologybasedonSystemVerilogt0getmorereuse

4、scalabili够,morecomprehensiVecoVerageoftllefhnctio玛a11dmorereaLsonablememerarcllicalstructureofvalidation.111ispaper,baSedontheVMMⅣerificationMethodologyMamlal)ValidationmethodologytoVeri匆7816interfacemodldeofUSB—keycllip.RealizememoduleleVelValidatio

5、nef!ficient,arrallgement,reusableteStplatfornl.ByaIlalysisofme78l6module‰ctionpom,州tea丘mctioncoveragemodel,andmeabno肌alstateofFIFO嬲sertionsValidation.T11ispaperIlaSdeVelopedteStcaset0s妇ulatea11dVeri:ficateallthe觚ctionSof7816module.AU血dexesofcodecoVer

6、age如lfiU吐屺requirelnentsofprojectte锄,胁ctioncoVerageis100%,ⅡleconditioncoVerageis95.1%,tllelinecoVerageis98.7%,tlleFSMCOVerageisl00%.111ispaperhausdiscussedhowt0e虢CtiVelycombiIle觚ctioncoverageandRAL∞giSterAb咖ctionLayer),aSsertioIls丽mthe伽itiomlmemodofVa

7、lidation.Combined晰tll丘mctioncoVeragea11dRALandaSsenions,theVerificationm甜lodimproVeⅡleValidationprocessofmeobservatioIl,rcducetheteStcycle,cnsurethecompl酏eIlessofthev甜idation.KeywOrd:VMM7816Veri6cation第一章绪论目前验证方法主要有仿真验证和FPGA验证。FPGA验证在此不作讨论。仿真验证就是利用专门

8、的EDA工具(如ModelSim、VCS、NC.verilog等)对用RTL描述的被测电路(DUT)施加各种激励,通过检查DUT的响应,来判断其功能的正确性。仿真验证可分为两个阶段:前仿真和后仿真。本文要讨论的是前仿真,也称为功能仿真。目前业界大多采用的前仿真流程可分为模块级仿真,子系统级仿真,系统级仿真三个阶段。模块级仿真是指对单一模块内部功能的仿真;子系统级仿真是对多个相关模块组成的子系统仿真;系统级仿真是对整个芯片进行模拟仿真。目前芯片设计规模非常庞大,设计模块数达到了几十上百甚至上千,而

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。