由新思公司和ARM公司合著的图书SystemVerilog验证方法手册描述了用于验证的SystemVerilog的应用，最近由Springer Science + Business Media Inc.出版，定价129美元。  

    该VMM对SystemVerilog验证就如复用方法手册(RMM)对IP复用的意义一样。RMM于1998年出版，已成为定义芯片设计内IP复用的完整方法。  

    据Springer称，VMM文档集数年的诀窍和行业最佳实践于一体，面向先进、高效验证环境的构造，采用行业标准SystemVerilog声明(assertion)、测试平台和功能覆盖。该书由新思公司的Janick Bergeron和Eduard Cerny、ARM公司的Alan Hunter和Andrew Nightingale所著，已被30多家半导体公司的验证工程师审核过。  

    新思公司RTL验证市场高级总监Steve Smith表示，VMM的创建是为用户带来曾经是专有的技术，为非常流行的设计语言增加了验证特性。  

    新思宣布提供面向VMM标准库实现的SystemVerilog源代码，据称能跟快速并容易地使用户采用书中介绍的验证技术和方法。新思VCS RTL验证方案客户可免费获得源代码。