FPGA-12-VMM（验证方法学）

thinkfunny

引言

  V! c% ]$ r% j& R7 D0 l验证方法学手册即为《Verification Methodology Manual》的直译。
' I4 V+ k: f+ I( P! A
　　VMM是大规模集成电路(IC)设计验证领域的一种高级验证方法学。
　　VMM验证方法学主要由ARM和synopsys公司的设计验证领域的专家共同设计，用于开发先进的验证环境。
　　VMM验证方法学的语言基础是systemverilog语言。它所有的方法学基础都是来自于systemverilog，并吸收了C语言的一些先进思想。
　　VMM验证方法学主要描述如何使用 SystemVerilog 创建采用覆盖率主导、随机约束生成、基于断言验证技术的综合验证环境，同时为可互用验证组件指定了建库数据块。
　　VMM验证方法学的基础性指导性书籍为《SystemVerilog 验证方法学》，英文书籍名为《Verification Methodology Manual For Systemverilog》，由验证届泰斗Janick Bergeron（伯杰龙）领衔编著。Janick Bergeron是为Synopsys公司工作的科学家。他是验证领域最著名最畅销的书《Writing Testbenches：Functional Verification of HDL Models》的作者，他也是验证规范仲裁主持人。
　　目前VMM验证方法学主要由synopsys公司来提供以及维护。synopsys公司随其VCS仿真器提供了《vmm_user_guide.pdf》，其中包含了VMM的标准库。

游客，如果您要查看本帖隐藏内容请回复

, r$ @' I9 V9 L' _2 w1 C
  [/ [' d$ J; o* G
( }2 _3 [$ c- l6 q/ J- _- ?

fanichicl

看看什么东东。