摘要：VMM是一种基于 SystemVerilog语言的验证方法学，它通过引入断言、抽象化、自动化与重用这四种机制提高了项目验证的生产率。本文通过一个实例介绍怎样利用 VMM建立基于事务的可重用的层次化验证平台。 　　0引言： 　　随着集成电路深亚微米时代的到来，集成电路的规模不断扩大，促进了系统级芯片 SoC（Systems-on-a-Chip）的发展和应用。通常一个 SoC芯片的规模在几百万门至几千万门左右，面对如此高的复杂度，验证成为 SoC设计中最困难、最具挑战性的课题之一。VMM（