SystemVerilog参考验证方法学介绍.doc

SYNOPSYS 基于 SystemVerilog语言的验证方法学 PAGE  -  PAGE 22 - 前 言 文章主要介绍《VMM for SystemVerilog》一书描述的如何利用SystemVerilog语言，采用验证方法学以及验证库开发出先进验证环境。文章分为四部分，第一部分概述了用SystemVerilog语言验证复杂SoC的基本方法。第二部分主要介绍使用先进验证技术进行RTL验证并定义一个能在项目之间进行验证单元重用的分层验证平台结构。第三部分将涉及到系统级验证，包括SystemVerilog 与SystemC交互等方面。当与一个合适方法相结合，SystemVerilog提供了建立一个完整RTL以及系统级（ESL）验证环境需要的所有结构及特性。同时完全支持与System C或与一个以C为基础的软件测试环境交互。第四部分讨论验证所采用的验证策略，VMM方法学，以及利用《VMM for SystemVerilog》中定义的标准库来支持方法学。这些库涉及到文章中讨论的基本方法，XVC，XVC管理器，软件验证等方面。 采用《VMM for SystemVerilog》书中提供的方法学是应对目前复杂芯片而带来验证挑战的有用方法。此书基于业界多年领先的Synopsys公司以及ARM公司专家，及其客户提供经验编写而成，因而对开发团队有益。采用此方法学将提高验证效率，为一次投片成功提供更大可能。此文章全面介绍关于用SystemVerilog验证复杂SoC。更多书中信息可在 HYPERLINK 中找到。事实上业界已经认可VMM验证方法，此书日文版已经发行，与VMM相关书籍也已诞生，除Synopsys之外的几个EDA厂家也提供相关练习，甚至在California Extension Santa Cruz大学开展了VMM课程。 HYPERLINK / \t _new /提供了更多业界对VMM验证方法支持信息。 目 录  TOC \o 1-3 \h \z \u  HYPERLINK \l _Toc164473768 1 SystemVerilog验证方法学介绍  PAGEREF _Toc164473768 \h 4  HYPERLINK \l _Toc164473769 1.1 验证面临挑战  PAGEREF _Toc164473769 \h 4  HYPERLINK \l _Toc164473770 1.2 SystemVerilog验证技术  PAGEREF _Toc164473770 \h 4  HYPERLINK \l _Toc164473771 1.3 产生带约束随机仿真  PAGEREF _Toc164473771 \h 4  HYPERLINK \l _Toc164473772 1.4 覆盖率驱动验证  PAGEREF _Toc164473772 \h 5  HYPERLINK \l _Toc164473773 1.5 断言  PAGEREF _Toc164473773 \h 7  HYPERLINK \l _Toc164473774 1.6 小结  PAGEREF _Toc164473774 \h 8  HYPERLINK \l _Toc164473775 2 SystemVerilog验证方法学：RTL  PAGEREF _Toc164473775 \h 8  HYPERLINK \l _Toc164473776 2.1 分层测试平台结构  PA