A functional verification methodology supports the art and science of verifying electronic systems. Specifically, the AVM is a methodology to build pieces of software, called testbenches, whose function is to verify electronic designs. The AVM provides a structure for developing testbench architectures and a library of base classes and utilities you can use to construct testbenches.

“功能验证方法学也就是验证电子系统的艺术和科学。AVM是一种构建软件验证平台的方法学，它提供了一个开发验证平台的架构和可以在构造验证平台过程中使用的、带有基类和应用函数的库。”

从上文可以看出，AVM是由两部分构成的：方法（具体说是一种架构）和（支持这一方法的）库。

这两部分是相辅相成的。没有可循的方法，一个功能丰富而强大的库是用不起来的；没有方便现成的库，一套再高明的方法也是空洞而无用的。

Mentor在免费提供这一库的同时，还提供了Cookbook，清晰地阐述了AVM的方法，给出了方法的应用实例。

所以，《高级验证方法学》（即Cookbook）的内容是由方法论介绍和方法论在实际验证中的应用两部分构成的。

虽然AVM是免费和开放的，而且可以合法地用于第三方工具，但是Mentor在各个场合反复声明“第三方工具需要具备和Questa同样的对 Systemverilog特征的支持”。而且，对于这一方法论的使用和咨询、培训，还是Mentor最有权威。这两点，应该是Mentor不为他人做嫁衣的保证。

对于我这样的“业余”爱好者，采用Modelsim Altera Web Edition对AVM进行学习和试用，是合法而经济的。

Open Verification Methodology for SystemVerilog

Advanced Verification Methodology User Group