随着设计日趋复杂，验证成为SoC设计过程中最关键的环节。本文介绍了Synopsys的验证方法学，采用Vera硬件验证工具以及OpenVera验证语言建立目标模型环境，自动生成激励，完成自核对测试、覆盖率分析等工作。通过建立的可重用性验证平台，大大提高了验证工程师的工作效率。文中以一个SIMC功能模块的验证为例，详细介绍了RVM验证方法学在SoC芯片验证中的应用。

　　功能验证

　　一个设计被综合前，首先要对RTL描述进行逻辑功能验证，以确保模块或芯片的功能正确性。通常，RTL级的功能验证主要采用自底向上的验证策略，可分为模块级验证和系统级验证两个阶段。

　　传统验证方法大多是在信号级的接口上直接与待验证设计(DUT)通信，即用激励直接驱动DUT的引脚，通过检查接口信号的值和变化来达到验证设计功能的目的。这种方法的抽象层次较低，验证平台的开发与DUT的接口协议紧密相关，使得验证平台的重用性较差。如果要做到一个验证平台可以验证多个不同的DUT，必须将验证平台的抽象层次提高到事务级，而且应该构建层次化的结构，层与层之间具有一定的独立性，改变底层并不会影响上层。

　　基于事务的验证

　　所谓事务(Transaction)是指设计对象与事务处理器(Transactor)之间通过接口所做的一次数据传输。从硬件的角度来看，事务可看成作用在一个特定接口上的一组信号的集合单元。事务具有3个要素：起始时间、终止时间，以及所有与这个事务相关的信息。

　　基于事务的验证工具让用户除了可以在信号/引脚级上进行验证，还可以在事务级上进行验证，从而提高了设计生产率。

　　基于事务验证环境的基本要素

　　DUT：待验证设计对象的RTL描述或门级描述。

　　事务：在DUT和事务处理器之间通过接口在特定起止时间内的一次数据传输。事务能够对信号波形进行标识，表示相关的信号属性，还可以标识错误。

　　事务处理器：也叫总线功能模型(BFM)。事物处理器可以表示事务所代表的信号变化，并与DUT通过接口进行连接。一个典型的DUT往往具有不同的接口，因此一个验证环境中具有不同的事务处理器以产生相关的测试向量对DUT进行激励。

　　测试例(Testcase)：用来产生验证DUT特定功能所需要的事务。

　　基于事务的验证处理过程

　　测试例通过特定的事务来调用事务处理器的任务，事务处理器按照DUT所遵循的协议对事务进行处理，经过处理后的事务通过连接DUT的接口输入到DUT中，DUT对输入的激励进行响应。DUT输出的响应再转换为事务的形式，这样验证平台的自核对模块就可以在事务级上对激励和响应进行核对，以检查DUT的功能是否正确。

　　RVM层次化验证方法学

　　RVM验证方法学是一种层次化的验证方法学，它能把验证的步骤分层进行，将验证工作提高到更高的抽象层次，即事务层。层次化的验证方法使得验证工程师只需关心DUT的输入/输出接口，而不必关心DUT内部的具体实现。