基于uvm的片段处理单元验证平台与随机化验证方法

《基于uvm的片段处理单元验证平台与随机化验证方法》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、Ｉ巧聲《謂藏峡專国硕±学位论文胃圓磯基于ＵＶＭ的片段处理单元验证平台与随机＾１化验证方法ＢＩ作者姓名李卷Ｈ学校导师姓名、职敌包军林副教榜Ｐ＾论化导师姓名、职赖张繫赢工串请学位類工涯硕±４－Ｉ．－４７？＾Ｓｉ进．心巧西安电子科技大学学位论文独创性（或创新栓）声明秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研巧成果。尽我所知，除了文中特别加站标注和致谢中所罗列的内容抖外，论文中不包含其他人己经发表或撰写过的研巧成

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

3、复制手段保存论文。同时本人保证，结合学位论文研究成果完成的论文、发明专利等成果，署名单位为西安电子科技大学。保密的学位论文在＿年解密后适用本授权书。￣本人签名：导师签名：导為日期：王口２．立Ｉ日期：学校代码10701学号1311122853分类号TN4密级公开西安电子科技大学硕士学位论文基于UVM的片段处理单元验证平台与随机化验证方法作者姓名：李鑫领域：软件工程学位类别：工程硕士学校导师姓名、职称：包军林副教授企业导师姓名、职称：张骏高工学院：微电子学院提交日期：2016年1月TheUVM-basedPlatfo

4、rmandRandomizedVerificationofFragmentProcessingUnitAthesissubmittedtoXIDIANUNIVERSITYinpartialfulfillmentoftherequirementsforthedegreeofMasterinSoftwareEngineeringByLiXinSupervisor:BaoJunlinAssociateProfessorZhangJunSeniorEngineerJanuary2016摘要摘要在集成电路技术高度发展的今天，芯片设计的规模和复杂度都在不断增

5、加，所以全面验证的难度也比以往有了较大的提高。随着近年SystemVerilog语言逐渐成为数字芯片验证的主流语言，基于SystemVerilog语言的通用验证方法学由于其具有优秀的可移植性以及横向的可重用性，较以往传统的验证方法能够大幅提高验证工作的效率和质量。随着对计算机图形学的研究和芯片技术的发展，图形处理器（GPU）的相关技术在近三十年中取得了长足的进展。由最初的图形工作站形式，经过单芯片的图形处理芯片的阶段，到目前已经发展成为了可编程的大规模并行处理器。片段处理单元是GPU中3D功能流水线上的最后一个模块，主要完成了帧缓冲区清除、颜色缓

6、冲区累积操作、片段测试、混合操作和逻辑操作等功能。在以往传统的验证平台中，只是简单的针对片段处理单元进行直接测试，这种传统的验证方法不仅难以模拟出片段处理真实的工作状况，而且在对于后期仿真平台的维护和功能的添加上都有很大的难度。因此，采用一种先进的验证方法对于保证验证工作的完善性和可靠性都是十分必要的。围绕上述问题，本论文在研究当前主要验证方法学和工作经验的基础上，基于实习单位研发项目，完成了一种以通用验证方法学为基础的验证平台的构建，该平台不仅能够满足片段处理单元在功能流水线上的特定数据格式要求，并且加入了大量的随机化组件，令仿真尽可能地接近片

7、段处理单元的真实工作状况，与此同时由于使用了通用验证方法学的架构和方法，该平台在可移植性和后期的维护便利性上与传统的平台相比都有了较大的提高。首先，基于片段处理单元功能需求列表，编写了完整的功能测试点。其次，设计制定了18个验证项共235个功能点完成了片段处理单元的仿真验证，实现了功能点全覆盖，保证了片段处理单元功能验证的完整性。最后，仿真结果表明，论文完成验证平台的代码覆盖率92.72%，符合设计要求。该验证环境经过较小的改动便可以应用于3D引擎中其它模块的验证，这为后期验证人员的维护提供了便利，同时也提高了整个项目的工作效率。关键词：GPU，

8、片段处理单元，通用验证方法学，SystemVerilogIABSTRACTABSTRACTIntoday'shighlydevelope