随着集成电路的复杂程度越来越大,尤其是在SoC技术和IP复用技术日趋成熟的情况下,怎样能够有效的验证芯片的功能就变得至关重要。在如此背景下,对验证的需求也变得越来越大,VMM验证方法学也据此背景而被提出来,具有相当大的理论以及实际意义。本文对VMM验证方法学作出了较为深入的研究。首先归纳并总结出SystemVerilog七个特点并进行了逐一的介绍:受约束的随机激励、可重复利用性、接口(interface)、特定的内部连接机制、测试案例和功能覆盖率、与软件语言的接口(DPI)以及断言。然后对VMM验证方法学所提出的分层次的基本架构以及架构内各个模块的具体功能进行了详细介绍。VMM验证方法学提供了标准库,验证者只需要对这些基本库进行扩展就能实现更加具体的功能,本文也对该标准库进行了较为详细的介绍。本文搭建了基于VMM的光纤通道的验证平台,对于被测程序即光纤通道点对点模块设计的了解也是验证所必须的。在介绍完VMM验证方法学后,本文对被测程序的整体模块以及内部具体分模块的实现方案进行了详细的介绍。验证平台需要用到被测程序对流量的控制等接口,所以对于被测程序分模块对外的接口本论文也进行了较为详细的陈述根据被测设计的具体功能,对光纤通道点对点设计的分层次验证环境进行了总体方案的提出以及具体模块的详细设计。对数据类、接口、配置类、发生器、驱动器、监视器、回调、记分板以及环境类的具体实现方案进行了详细的说明。最后本文介绍了基于此验证环境所提出的验证方案以及根据此验证方案所编写的测试案例,并对验证工具的运行进行了比较详细的说明,使用VCS进行了仿真,分析了仿真出来的结果。通过自己的切身体验发现VMM确实能够大大的提高工作效率。使用VMM验证方法学搭建的验证环境具有很高的可重复利用性,也能利用到其他类似的被测程序中,通过扩展以及测试案例的编写,使其能够验证更多的功能。