基于SVA功能验证方法的中断延迟控制器和GPIO的验证研究-软件工程(集成电路设计)专业论文.docxVIP

学校代码 分 类 号  10701 TN4 学 号 1211122862 密 级 公开 TN82西安电子科技大学 TN82 硕士学位论文 基于 SVA 功能验证方法的中断延迟控制器 和 GPIO 的验证研究 作者姓名： 马恒 领 域： 软件工程（集成电路设计方向） 学位类别： 工程硕士 学校导师姓名、职称： 企业导师姓名、职称： 马佩军 副教授 郝朝龙 高级工程师 提交日期： 2015 年 1 月 Study on the Verification of Interrupt Delay Controller and GPIO Based on SVA-Based Functional Verification Methods A thesis submitted to XIDIAN UNIVERSITY in partial fulfillment of the requirements for the degree of Master in Software Engineering（Integrated Circuit Design） By Ma heng Supervisor: Ma peijun Hao zhaolong January 2015 西安电子科技大学 学位论文独创性（或创新性）声明 秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在 导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标 注和致谢中所罗列的内容以外，论文中不包含其他人已经发表或撰写过的研究成 果；也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的 材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说 明并表示了谢意。 学位论文若有不实之处，本人承担一切法律责任。 本人签名： 日 期： 西安电子科技大学 关于论文使用授权的说明 本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即：研究 生在校攻读学位期间论文工作的知识产权单位属于西安电子科技大学。学校有权 保留送交论文的复印件，允许查阅、借阅论文；学校可以公布论文的全部或部分 内容，允许采用影印、缩印或其它复制手段保存论文。同时本人保证，获得学位 后结合学位论文研究成果撰写的文章，署名单位为西安电子科技大学。 必威体育官网网址的学位论文在 年解密后适用本授权书。 本人签名： 导师签名： 日 期： 日 期： 摘要 随着集成电路一直在向高性能、高集成度、低功耗的 SoC 方向发展，功能验 证在设计开发过程中变得越来越复杂和越来越重要。传统的验证技术和方法在开 发周期，验证效率以及验证平台的可观性、可控性和可复用性等方面的表现已经 不能够满足当前的需求。伴随着电子设计自动化技术的快速发展，各种各样的新 型的验证技术和方法就如何提高验证效率，缩短开发周期以及开发可移植的验证 组件和环境等方面做了很多的探索，他们已经在诸多方面弥补了传统验证技术和 方法的不足。 本文基于断言验证方法，主要研究了 System Verilog Assertion 的功能验证技术 在实际项目中的应用。根据 SVA 的语言与验证技术特点，分析阐述了其在验证环 境开发和使用过程中的优势。针对中断延迟控制器，提出了一个单靠形式化方法 的功能验证设计方案，根据其功能规范的要求，使用 SVA 编写了用于断言和假设 的属性，通过 Jasper 形式验证技术，实现了验证平台的搭建以及完成了该模块的 功能验证工作。该方法在保证验证质量的同时有效的缩短了开发周期，提高了验 证效率。另外，基于当前流行的 OVM 验证方法学对通用输入输出控制模块提出 了一种断言覆盖率驱动的验证设计方案，在 OVM 类库的基础上实现了用于待测 设计的 OVC 组件，通过断言模块的功能检测和覆盖率分析搭建了一个完整的验证 平台，实现了一个高层次化，高覆盖率，可复用性强的验证环境。 本文研究开发的验证环境和平台成功的完成了待测设计的功能验证，并已经 应用到实际的项目中。中断延迟控制器的形式化验证方法已经推广到其他相似功 能模块的验证工作，通用输入输出控制模块的验证组件和断言模块很好的复用到 其他的项目。研究结果和实践表明，基于 SVA 的验证技术和方法实现的形式验证 环境的功能覆盖率达到 100%，并且有效地节省了开发时间，缩短了的验证周期； 实现的 OVM 验证平台具有很高的可复用性，并且其功能覆盖率达到 100%，代码 覆盖率达到 97.9%。 关 键 词：功能验证， SVA， 形式验证， OVM， 属性检查 论文类型：应用基础技术 I ABSTRACT As integrated circuits have been developed in the direc