概述

Arm AMBA 协议

Cadence® 形式 VIP 面向 Arm® AMBA® 协议提供了一套全面的检查器和 RTL，用于检查基于 Arm AMBA 的系统和设计是否符合协议。协议检查器包括用 SystemVerilog 编写的 RTL 和用 SystemVerilog 断言 (SVA) 属性语言编写的检查器。形式 VIP 也有一套全面的覆盖范围，用于测量验证的功能覆盖率。这些形式 VIP 可以在 Jasper™ 形式验证和仿真环境中使用。在 Jasper 形式环境中，形式 VIP 使用 SVA 约束生成激励，并使用 SVA 属性语言验证协议行为，而在仿真中，形式 VIP 仅被用作检查器。

协议

Arm AMBA 协议规范

Cadence 为 Arm AMBA 协议提供各种形式 VIP。

AHB 和 APB 协议

Cadence AHB 的形式 VIP 提供对 Arm AMBA 2、AMBA 3 和 AMBA 5 AHB 接口协议规范的支持，包括 AHB-Lite 子集，以及 AMBA 2、AMBA 3 和 AMBA 4 APB 接口协议规范。

AXI 协议

Cadence AXI 形式 VIP 提供对 Arm AMBA 3 AXI、AMBA 4 AXI 和 ACE 以及 AMBA 5 AXI 和 ACE 规范的支持。该形式 VIP 支持 AMBA AXI 协议规范中定义的 AMBA AXI 协议 v1.0 和 v2.0，以及 AMBA 5 AXI 和 ACE 协议。支持 ACE 协议的接口级功能（系统级功能请参见 ACE-SYS）。AMBA 4 AXI-Stream 协议也有一个专用的形式 VIP。

ACE-SYS 协议

Cadence ACE-SYS 形式 VIP 协议提供了一套全面的检查器，用于检查基于 Arm AMBA ACE 的系统和设计是否符合协议。该形式 VIP 支持 AMBA AXI 和 ACE 协议规范的 Issue IHI0022D 和 IHI0022E。ACE 协议支持系统级功能，因此可以在由多个总线管理器和缓存区组成的系统中检查一致性协议。

ATB 协议

Cadence ATB 形式 VIP 支持 AMBA ATB 协议规范 Arm IHI 0032B 中定义的 Arm AMBA ATB 协议 v1.0 和 v1.1。

CHI 协议

Cadence CHI 形式 VIP 支持 AMBA 5 CHI 架构规范 Issue A、B 和 C 中定义的 Arm AMBA CHI 协议，，以及 AMBA CHI 架构规范 Arm IH0050B 和 IH0050C 中定义的 AMBA CHI 架构。CHI 协议支持互连和一致性协议。CHI-D 形式 VIP 额外支持 AMBA 5 CHI 架构规范 IHI0050D 中定义的 AMBA CHI 协议。CHI-E 形式 VIP 还支持 AMBA 5 CHI 架构规范 IHI0050E 中定义的 AMBA CHI-E 协议。