RVM验证方法学在SoC芯片验证中的应用

RVM基类库提供了丰富的函数，但是Synopsys没有开放RVM基类的源代码，所以验证代码的编写过程中应随时查阅RVM文档，尽量使用RVM基类提供的函数，而不是自己去重新开发一个函数。

4、 RVM验证平台中各个模块之间通信有很多种方法，可以用RVM的callbacks类，也可以使用双通道等。

5、 RVM为验证平台中的进程间通信提供了多种数据结构，例如semaphore、region、mailbox等，编程时应根据需要进行选择。 例如，在某一时刻有多个并行的进程对同一个信号进行驱动，仿真工具会停止仿真并打印出错信息。解决的方法是应用semaphores数据结构，每个进程得到semaphore才可以驱动信号，对信号驱动后再释放semaphore供其他进程使用。

6、 如果要打

印信息，应使用rvm_log类而不是printf()函数。rvm_log类除了将信息打印出来，还可以显示出信息来源于验证平台中的哪个模块以及该模块的仿真时间，便于编程人员调试代码。

7、 随机激励的产生不是真正意义上的随机，而是一种伪随机。编程人员在多次运行同一个测试例时应改变验证平台的随机种子，可通过调用srandom()函数来实现。

　　结语

用RVM验证方法学搭建的层次化验证平台将大大提高验证环境的执行效率。RVM验证方法学中的随机测试技术可以在很短的时间内达到更高的功能覆盖率，提高验证工程师的工作效率，达到有效缩短验证周期的目的。