基于uvm的spi接口ip核的验证平台设计

《基于uvm的spi接口ip核的验证平台设计》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、密級：保密期限：告备乂爹硕±学位论文１？＇１．■ｉ，．？、，．．，．咕．４‘．产；：ｉ■－．．ｉ基于ＵＶＭ的ＳＰＩ接口ＩＰ核的验证平台设计ＤｅｓｉｇｎＶｅｄｆｉｃａｔｉｏｎＴｅｓｔｂｅｎｃｈｏｆＳＰＩＩｎｔｅｒｆａｃｅＩＰＣｏｒｅＢａｓｅｄｏｎＵＶＭｋ－若‘．义；■■＇，＾；学号Ｐ１３２０１０１５姓名吴星星学位类别工学硕±学科专业＇由的亡了化（工程领域）电路与系统￣指导教

2、师吴秀龙教授完成时间２０１６年５月答辩委员会＾主席签名独创烛声巧本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。据我所知，除了文中特别加Ｗ标注和致谢的地方外，论文中不包含其他人己经发表或撰写过的研究成果，也不包含为获得安徽大学或其他教育机构的学位或证书而使用过的材料一。与我同工作的同志对本研究所做的任何贡献均己在论文中作了明确的说明并表示谢意。学位论文作者签名：签字日期：年月２已日＿Ｔ３ＡＩ学位论文版权使用授权书本学位论文作者完全了解安徽大学有关保留，有

3、权、使用学位论文的规定保留并向国家有关部口或机构送交论文的复印件和磁盘，允许论文被查阅和借阅。本人授权安徽大学可Ｗ将学位论文的全部或部分内容编入有关数据库进行检索，可Ｗ采用影印、缩印或担描等复制手段保存、汇编学位论文。（保密的学位论文在解密后适用本授权书）；学位论义作者签名：足４參导师签名－签字日期：２＜ｗ足年月义义日签字日期：年ｊｒ月义２日摘要，验证的难度与工作量也随之增加随着集成电路规模和复杂度的急剧提高。一般情况下，系统级苍片（ＳｏＣ，ＳｙｓｔｅｍｏｎＣｈｉｐ）的验证环节所花费的

4、时间是整个芯片研发周期的７０％Ｗ上。采用传统的集成电路验证技术来搭建验证平台不仅需要花费大量的工作时间，而且这些传统的验证方法己经不能够满足现代集成电路的验证要求。因此，提高验证效率和验证质量已然成为集成电路（１Ｃ，ＩｎｔｅｇｒａｔｅｄＣｉｒｃｕｉｔ）验证领域的重大课题。本文采用了通用验证方法学（ＵＶＭ，ＵｎｉｖｅｒｓａｌＶｅ她ｃａｔｉｏｎＭｅｔｈｏｄｏｌｏｇｙ）来提高验证工作的速度与效率。主要介绍了验证技术的基本理论和ＵＶＭ验证方法学，对ＵＶＭ验证平台的架构和主要基本组件的结构与功能也做了深入的研究，

5、一Ｓ并且详细剖析了验证平台中些重要的机制。ｙｓｔｅｍＶｅｒｉｌｏｇ语言最突出的优点在于能够提高验证平台的抽象层次和可重用性，满足验证对于语言功能的要求。基于ＳｙｓｔｅｍＶｅｒｉｌｏｇ语言的封装、继承、多态、约束和功能覆盖率等特性，ＵＶＭ方法学充分发挥了验证语言的优点。ＳＰ一Ｉ，Ｓｅｒｈｅｆａｃｅ串行外设接口（ｉａｌＰｅｒｉｐｒａｌ虹ｔｅｒ）技术是种同步全双工高速通信总线，因其简单易用且节省ＰＣＢ空间等持性被广泛集成于越来越多的芯片Ｐ口一中ＳＩＩＰ，些功能验证点。。本文在深入分析接核工作原理的基础上提取

6、出在Ｓｙｎｏｐｓｙｓ公司的ＶＣＳ软件环境下，采用ＵＶＭ方法学和ＳｙｓｔｅｍＶｅｒｉｌｏｇ语言，一ＳＨ口个可用于接ＩＰ核验证的结构化平台ＳＰＩ口巧设计了。它实现了对接核的工作时序、数据传输完整性、寄存器访问等功能的验证，完成了功能覆盖率和代码覆盖率的统计，具有层次化和可重用性等特点，从而使得验证效率得到了极大地提局。关键词：通用验证方法学；验；串行外设接曰证平台；覆盖率；Ｉ基于ＵＶＭ的ＳＨ接口ＩＰ核的验证平台设计ＡｂｓｔｒａｃｔｉｍｏｖｅｍｅｎｔｏｆＩｎｔｅｒａｔｅｉｒｃｕｉｔａｌＷｉｔｈ

7、ｔｈｅｆｌｅａｎｄｃｏｍｅｘｉｔｔｈｅｉｅｒｃｅｐｒｇｄＣｓｃｐｙ，ｈａｒｄｎｅｓｓｏｆｖｅｒｉｆｉｃａｔｉｏｎａｎｄｗｏｒｋｌｏａｄｉｓｉｎｃｒｅａｓｉｎｇｒｅｓｐｅｃｔｉｖｅｌｙ．Ｇｅｎｅｒａｌｌｙ，〇ｖｅｒｉ円ｃａｔｔｉｍｅｏｆＳｏＣＳｓｂｍｏｎＣｈｉｏｃｃｕａｌｍｏｔｏｂ１ＩＣｉｏｎｙｉｅｓｓｖｅｒ７０／ｏｆ；ｈｅ（ｐ）ｐｄｅｖｅｉｌｄｌｆｉｉｌｏｍｅｎｔｅｆｏｒｔｅｒｉｏｄ．Ｔｏｂｕａｔｅｓｔｂｅｎｃｈａｌｉｎｔｒａｄｉｔｉｏｎａｖｅｒｉｃａｔｏｎ

8、ｐｐ，ｐｐｙｇｂｃｈｎｏｌｏｇｙｎｅｅｄｓｔｏｃｏｓｔｍｕｃｈｔｉｍｅ．Ａｎｄｅｖｅｎ，化ｅｔｒａｄｉｔｉｏｎａｌｖｅｒｉｆｉｃａｔｉｏｎｍｅｔｈｏｄｏｌｏｃａｎ