适用于系统级验证的VMM多层框架

使用VMM-MAM进行存储器管理

对于本身具有DMA引擎的IP模块，必须直接配置系统存储器，这将需要分配存储器段。使用VMM存储器分配管理器(MAM)进行系统存储器分配，可以防止试图访问存储器的不同模块发生冲突，并且有助于模块到系统的重用。通过改变存储器指针，模块测试平台可以访问不同的系统存储器，但同时仍然在系统级运行。VMM-MAM还能分配具有所需存储器对齐方式的随机区域。

VMM录制/回放

利用VMM录制功能可以录制交易，这有助于保存测试案例，即使测试平台后来经过多次变更，保存下来的测试案例仍然可以回放。如果没有录制，则在线程顺序发生改变的情况下，测试可能无法利用种子再现相同的方案。

使用RAL回调函数进行测试转储

通过附加RAL回调函数，可以将动态完成的配置打印输出为汇编语言格式，这将生成所执行测试的一个静态版本。回调函数可以在配置开始之前插入，然后在配置完成时删除，如下面示例4所示。

示例4 : RAL转储示例。