基于vmm验证方法学的spi模块级验证平台的研究

《基于vmm验证方法学的spi模块级验证平台的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、巧聲《丢种Ａ峡善麵硕±学位论文Ｉ１基于ＶＭＭ验证方法学的ＳＰＩ模块缀，验证平台的研巧作者姓名刘克謝学校导隱名、职疏李跃讲教榜企业割繊名、职新臟峰高工申请学位类别工巧佩＋西安电子科技大学学位论文独创性（或创新任）声明秉承学校严谨的学学逍德，本人声明所呈交的论文足我个人巧导师风和优良的科指工作及取得的研巧成果。尽我所知，除了义中特别加Ｗ标注和致谢导下进行的研巧＾或撰写过的研究成果；也不包含中所罗列的内容心外，论文中不包含其他人己经发表？为获得西安

2、电子科技大学或其它教育机构的学位或证书丽使用过的材料。巧我同工作贡献巧己巧论义中作了明确的说明并表示了谢意。的同事对本研巧所做的任何一切法律责任。学位论文若有不实之处，本人承担ｗ＇Ｉｉ杉參刮日期：ｊ本人签名：却西安电子科技大学关于论文使用授权的说明保留和使巧学位论文的规定，旨Ｐ：研巧生在本入完全了解西安电子科技大学有关校攻读学位期间论文工作的知识产权属于西安电子科技大学。学校有权保留送交论文Ｗ公巧论文的全部或部分内容，允许采用影、的复印件，允许查阅借阅论文；学校可论

3、论文，结合学位论文研究成果完成的。同时本人保证印、缩印或其它复制手段保存。西安电子科技大学、，署名单位为义发明专利等成果解。密后适用本授权书论文在年的学密位保签：—名＿＿克轉１导师女：签名人本ｉ衣’＾．立＇？？７台山‘／；：＿１．期１日期日学校代码10701学号1311122900分类号TN4密级公开西安电子科技大学硕士学位论文基于VMM验证方法学的SPI模块级验证平台的研究作者姓名：刘克翔领域：软件工程学位类别：工程硕士学校导师姓名、职称：李跃进教授企业导师姓名、职称：

4、周悦峰高工学院：微电子学院提交日期：2015年12月ResearchofSPImodulelevelverificationplatformbasedonVMMAthesissubmittedtoXIDIANUNIVERSITYinpartialfulfillmentoftherequirementsforthedegreeofMasterinSoftwareEngineeringByLiuKexiangSupervisor:LiYuejinProfessorZhouYuefengSeniorEngineerD

5、ecember2015摘要摘要随着集成电路的规模及复杂度不断增大，数字电路验证的工作量也随之增加。相对于设计而言验证技术的发展速度较慢，传统的验证方法已经无法满足目前验证工作的需要，功能验证已成为限制设计水平的重要因素。所以，研究新的、高效率的、可复用的、易维护的验证方法具有相当重要的意义。在验证需求的推动下，VMM（VerificationMethodologyManual）验证方法学随之出现。VMM以SystemVerilog作为语言基础，既吸收了面向对象的编程方法，同时又具有硬件描述语言对集成电路的适应性

6、。本文对这种新型的验证方法学进行了深入的研究，根据VMM验证方法学的特点，搭建起一个自动化的、可复用的、更加完备的、具有更高效率的验证环境。通过对SPI（SerialPeripheralInterface）工作协议和模块设计要求的分析，提取出完备的验证功能点。基于这些验证功能点，建立了完全对应的功能覆盖率组。在验证过程中以功能覆盖率作为导向，以此来判断验证工作的完成度。根据验证功能点，编写了与之对应的测试用例。验证过程采用直接测试与随机测试相结合的方法，产生大量的、感兴趣的激励来驱动待测模块，使待测设计能够在各

7、种预想的情境下运行，确保了验证工作的完备性，加速了覆盖率的收集过程。使用受约束的随机化方法，提高了验证平台的自动化程度，增加了对边界情况的命中几率。使用了计分板、断言等自动化工具进行验证，提高了验证效率。建立了用来与待测设计进行通信的参考模型，该模型能够按照SPI协议,在多种传输模式下向DUT发送或接收指定格式的数据。使用VCS软件进行仿真，DVE软件进行波形检查，并对仿真结果进行了全面分析，分析覆盖率报告中的问题，确保待测设计符合设计要求，完成了待测模块的功能验证工作。本文主要研究了VMM验证方法学的特点与优

8、势，并以此为理论基础，进行SPI控制器模块级验证平台的搭建。在验证平台中创建了待测设计的功能覆盖率组，建立了符合协议规范的参考模型，实现了数据的自动比较功能，共开发了14条测试用例，16条断言语句，并实现了功能覆盖率的完全收集。通过实际的验证结果表明，基于VMM验证方法学所搭建的验证平台具有明确的验证导向，可重用的组件结构，较快的覆盖率收集速度，自动化的数据对比功能，可以高效地完成对S