基于vmm验证方法学的nand flash控制器的验证

《基于vmm验证方法学的nand flash控制器的验证》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、Ｉ巧聲柄雜少每国硕±学位论文胃ＭＭ（＾Ｓ基于ＶＭＭ验通方法学的ＮＡＮＤＦｌａｓｈ控制器的验证作者齡周亚运学校导师姓名、职称李小明副教授企业导师姓名、职赖龍高工申请学位類＂工巧丽＋ｉＨ＾Ｖｍｉｐｐ．西安电子科技大学学位论文独创性喊创新性庐明秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加标注和致谢中所罗列的内容外，论文中不包含其他人己经发表或撰写过的研究成果；也

2、不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的材料一。与我同工作的同事对本研巧所做的任何贡献均已在论文中作了明确的说明并表示了谢意。一学位论文若有不实之处切法律责任。，本人承担Ｖ每１＞本人签名：日期；７（７／八巧）西安电子科技大学关于论文使用授权的说明目本人完全了解西安电子科技大学有关保留和使用学位论文的规定，Ｐ：研究生在校攻读学位期间论文工作的知识产权属于西安电子科技大学。学校有权保留送交论文、的复印件，允许查阅借阅论文；学校可公布论文的全部或部分内容，允许采用影

3、印、缩印或其它复制手段保存论文。同时本人保证，结合学位论文研究成果完成的论。文、明专利等成果，署名单位为西安电子科技大学发保密的学位论文在年解密后适用授权书。＿＿本：：本人签名名导师签＿時畔；Ｖ文、；日期日期学校代码10701学号1311122895分类号TN4密级公开西安电子科技大学硕士学位论文基于VMM验证方法学的NANDFlash控制器的验证作者姓名：周亚卓领域：软件工程学位类别：工程硕士学校导师姓名、职称：李小明副教授企业导师姓名、职称：杨帆高工学院：微电子学院提交日期：2016年1月Th

4、eVerificationofNANDFlashControllerBasedonVMMAthesissubmittedtoXIDIANUNIVERSITYinpartialfulfillmentoftherequirementsforthedegreeofMasterinSoftwareEngineeringByZhouYazhuoSupervisor:LiXiaomingAssociateProfessorYangFanSeniorEngineerJanuary2016摘要摘要随着半导体工艺的发展，集成电路设计规模不断增大，

5、芯片设计复杂度日益增加，芯片验证工作也越来越困难。验证是集成电路设计中必不可缺的一部分，它保障了芯片设计的功能满足规范的定义和要求，减少由于功能缺陷导致的投片次数，缩短产品上市时间，但设计的飞速发展与验证方法的发展之间鸿沟仍然巨大。最近的统计数据[1]表明，对一个复杂逻辑芯片而言，整个产品周期中60~70%的时间都用于验证工作。然而，传统的验证方法很难满足现在复杂的芯片验证，研究高效的、自动化的、可复用的验证方法将是验证工程师们重点关注的方向。本文的主要内容是基于VMM验证方法学搭建一个适用于异步、ONFI、Toggle三种接口

6、标准的NANDFlash控制器的验证环境。VMM是基于SystemVerilog搭建的一种层次化的验证平台，该平台支持受约束的随机激励、覆盖率驱动和自动化对比等功能。本文在详细分析了异步、ONFI、Toggle三种类型的NANDFlash的工作协议后，结合NANDFlash控制器的架构和功能特点，提取出主要的功能验证点。基于这些待测功能点，本文提出了一种可复用的验证平台结构，并对验证平台内的组件的功能和实现方式等进行了详细的分析论述。本文通过创建受约束的随机测试用例实现对待测功能点的验证，并建立与功能验证对应的功能覆盖率组，在验

7、证过程中以功能覆盖率作为导向来判断验证工作的完成度，结合覆盖率的统计结果对未被覆盖的功能点添加定向测试用例，并且采用将参考模型和待测设计的输出结果进行自动化对比的方法来提高验证效率。验证过程采用直接测试与随机测试相结合的方法，使待测设计能够在遍历更多的情景，确保验证工作的完备性。使用受约束的随机方法提高了验证平台的自动化程度，增加了对边界情况的测试。本文使用VCS工具完成仿真工作，并利用DVE软件来查看波形文件完成代码调试，通过对仿真过程中生成的文件和波形对仿真结果进行分析。本文最后通过分析功能仿真结果和覆盖率报告，将仿真过程中

8、出现的功能缺陷和设计人员沟通并及时修改，保证NANDFlash控制器满足设计规范。覆盖率也能达到目标要求，其中功能覆盖率达到100%，代码覆盖率达到99.15%。本文搭建的验证平台有很强的复用性，易移植到其它NANDFlash控制器项目中，大大的提高了验证效率，