基于ovm的soc验证平台的设计与实现-软件工程专业论文.docxVIP

摘要 摘要 随着 SoC 设计规模和复杂程度的不断提高，其验证工作日益复杂，验证周期 也越来越长，已经占到整个芯片设计的 70%左右甚至更高，已成为 SoC 设计的主 要瓶颈。因此缩短产品的设计周期，减少验证时间，提高验证工作的效率和质量 成为当务之急。为了提高验证效率，就需要尽可能的提高验证系统的抽象级别、 增强验证平台的可重用性以及提高验证过程的自动化程度。 本文通过对当前常用验证技术优缺点分析的基础上，详细分析和研究了新兴 的 OVM 验证方法学。该验证方法学是一种集基于事务级建模，基于断言和基于 覆盖率驱动为一体的高级验证方法学，可以实现高效率、高覆盖率、验证过程高 度自动化以及可重用性高的验证平台。本文对 OVM 验证环境组件 OVC、类库结 构以及 OVM 的通讯机制和互连机制进行了深入的分析和研究。 本文还以 OVM 验证方法学为指导，根据对待测设计跟踪系统的结构和功能 特性的分析，搭建了基于 OVM 的验证平台。并根据制定好的验证情景，采用了 事务级建模、基于断言和基于覆盖率驱动等多种验证方法相结合的的验证方式， 对跟踪系统进行了详细的验证，并对验证结果进行了分析和总结。实践证明，本 文搭建的验证平台，在验证待测设计时，各验证组件和其他设计同时运行，实时 进行数据比较和断言检测，及时报告错误信息，实现错误的及时收集和准确定位， 并且以覆盖率为驱动，满足了验证的覆盖率要求，极大地提高了验证效率，而且， 该验证平台可重用性强，还被重用于其他跟踪接口的功能验证中。 关键词：SoC OVM 验证方法学 事务级建模 断言 覆盖率驱动  Abstract Abstract With the significant increasing of size and complexity of SoC design, the function verification is becoming more and more complex and difficult. The verification work is consuming up to 70% efforts or even more of the whole SoC design, and has become the main bottleneck of SoC design. Therefore, the way to shorten the product development time, reduce the verification time and improve the efficiency and quality of verification is becoming more and more urgent. To improve the efficiency of verification, a verification system with the character of high abstract level, strong reusability and high automation is in great need. The thesis focuses on the emerging verification methodology OVM (Open Verification Methodology), this verification methodology is an advanced one, which has integrated many advantages of the common verification techniques, such as TLM (Transaction-Level Modeling), assertion-based verification and CDV(coverage-driven verification). These characters have met the requirement of high efficiency, high coverage rate, high automation and strong reusability. In this paper, not only the OVM components(OVC) and the class library but also the communication mechanism and the connective mechanism have been analyzed and researched deeply. What’ more, based on the understandi