基于AMBA的子系统：验证它们需要什么

让我们看一下我们今天发现的 SOC 中一个典型的基于 AMBA 的子系统：

从这张图片中，我清楚地看到不同口味的多个AMBA组件的优势（AXI3 / 4，ACE，AHB，APB）。因此，即使我们有所有不同的 VIP 来代表这些 .不同的口味，就完成完整子系统的验证而言，这并不是一个灌篮。将所有这些组件拼接在一起并提出这样一个验证环境本身就是一个巨大的挑战。为了应对每4-6个月出货一次新设备的市场压力，SoC公司正在逐步向现有平台添加新的设计模块。鉴于这些时间限制，无法从头开始再次开发新的核查环境。如果我们深入挖掘，我们会看到引入 SoC 更改所需的验证类型：

确保数据完整性： 维护跨系统环境不同块的数据流的完整性非常重要。这是因为每个块或子系统都有自己的事务类型，它在子系统内与之通信例如，当多个 AXI-ACE 主站通过互连结构与多个 AHB 从存储器通信时，AXI 相干事务应转换为 AHB 事务。

事务路由：系统级验证环境的一个重要目标是确保跨各个组件路由的不同事务符合指定的内存映射。

同步：多个 AMBA 组件之间需要有足够的同步。这对于产生有意义的刺激很重要。

连接：在具有多个 AMBA 组件实例的系统环境中，需要确保它们已按照规范挂钩。这要求在测试平台中正确连接各种AMBA总线功能模型。

系统级检查、性能分析：尽管各个模块的检查很重要，但随着我们逐步进入系统级别，验证环境需要能够跨系统内的所有AHB，APB和AXI端口执行所有系统级检查。它还需要涵盖跨协议的事务流，同时分析破产矩阵在吞吐量、延迟等方面的性能。

此外，上述要求需要在原始系统级基础设施的多个变体中解决。

审核编辑：郭婷