基于AMBA 3 AXI协议的规划方案

在受约束的随机、覆盖驱动方法中，工程师编写由高级约束描述的真实输入。先进的验证工具和验证IP将使用这些约束自动产生几千种测试向量对设计进行验证。功能覆盖用来指导验证和测量的过程。结果是验证质量目标能够更容易地在投片前得到满足，甚至对大多数复杂设计也是如此。用来实现受约束随机验证环境的参考验证方法学建立在一个可重用的基础架构之上，它使得在一个模块级的测试可以在模块级、子系统级，甚至跨越多项目进行重用。RVM驱动的验证IP意味着设计工程师仅需编写最少量的测试向量，然后依次产生几千种测试向量，全面地将实际的总线流量加载到模块或子系统中。Synopsys 基于RVM的环境提供了一个对所有验证组件的统一接口，因此更容易理解并能够快速地跨越其它项目被重用。

要加速基于AMBA3AXI协议的系统验证，DesignWare验证IP应当被用来验证单独的组件接口，并在子系统使用，最后在全系统级使用。在模块级，验证IP用来产生有效和精确的激励源测试AMBA3AXI接口应用。如果测试向量是按照RVM的规则编写的，那么在这一级创建的测试向量将能够在子系统级重新运行。

最初的基于AMBA3AXI子系统的有效验证通过用DesignWare验证IP替换许多松散耦合的IP和设计模块来完成。这使得内部连接、事物处理和功能能够被快速验证，并创建了一组鲁棒性强的高覆盖率测试向量。DesignWare验证IP的主设备和从设备用来替代组件，主设备VIP用来创建直接的和受约束的随机验证事物处理。这种方法允许快速创建子系统激励源和响应，能够迅速清除任何设计内部的连接问题。DesignWare验证IP中的监视器用来检查AMBA规范的遵守情况，并提供与基于测试平台的评分表(Scoreboard)的直接连接(见图1)。

评分表本质上是一个测试平台代码模块，它能以自动且智能的方式跟踪事物处理、覆盖和数据流程。对于数据，它能够跟踪源数据，并将其与目的数据比较，针对被测试数据路径创建一个是否通过测试的标准。评分表直接与DesignWare验证IP监视器连接，使得所有的事物处理和覆盖数据能够被提取、捕获和验证。使用DesignWare验证IP监视器的好处之一是：当主设备和从设备的验证IP模块被删除，并用实际的系统级测试RTL替换时，相同的基于评分表的验证环境继续起作用。当监视器是被动组件时，能贯穿整个验证周期而被使用。

要进一步加速验证工作，声明IP也应当被包含到模块级和子系统级环境中，以便使用形式和混合形式验证工具，如Synopsys Magellan工具。验证IP和声明IP都应当被包含在验证环境中。验证IP监视器提供了先进的仿真功能，如支持跨端口的覆盖和评分表通知。因为ARM 提供并定义了AMBA 3协议声明IP作为可执行的规范，它可以用来作为参考。所有的DesignWare验证IP组件已经被ARM提供的声明IP验证，作为AMBA认证过程的一部分。另外，DesignWare验证IP监视器通过跟踪和登记每一个事物处理、提供覆盖信息、给出违反协议的错误和警告信息，从而帮助确定验证任务何时完成。

最后的验证步骤是全系统级验证(见图2)。在这个步骤中，应该包括针对松散耦合应用组件和IP的RTL验证。外部接口也必须被验证，其它的 DesignWare验证IP此时也被使用，以减少系统级测试的工作。工程师能够使用DesignWare验证IP 的大量文件，它们被作为VCS验证库的一部分。DesignWare的库产品包括：PCI Express 、串行IO 、I2C、以太网、USB、USB-OTG和数以千计基于设备的内存模型。针对AMBA 3 AXI的DesignWare验证IP主设备仍然应被用于产生激励源，最初的子系统测试能够立刻被重新使用。其它的DesignWare验证IP也能够直接与评分表连接，提供一个闭环的智能验证平台。

验证工程师也想尽可能快速地对设计、测试平台、验证IP和声明IP进行仿真。使用Synopsys VCS仿真器能够完成高性能的仿真。VCS把全部的设计环境、设计、测试平台、验证IP和声明IP优化到单个的统一内核中。这种单个的被编译的内核删除了在传统仿真环境中出现的通信和同步开销，使设计者获得了5倍以上的仿真性能。对验证工程师来说，这意味着以前运行5天的回归验证，现在不到1天就可以完成。