概述
其他协议
形式 VIP 提供了一套全面的检查器和 RTL，用于检查设计是否符合各类协议标准。协议检查器包括用 SystemVerilog 编写的 RTL 和用 SystemVerilog 断言 (SVA) 属性语言编写的检查器。形式 VIP 也有一套全面的覆盖范围，用于测量验证的功能覆盖率。这些形式 VIP 可以在 Jasper™ 形式验证和仿真环境中使用。在 Jasper 形式环境中，形式 VIP 使用 SVA 约束生成激励，并使用 SVA 属性语言验证协议行为，而在仿真中，形式 VIP 仅被用作检查器。
协议
其他协议规范
Cadence 为其他协议提供各种形式 VIP。
I2C 协议
I2C 形式 VIP 支持 UM 10204 I2C 总线规范和用户手册（修订版 6）中定义的 I2C 接口协议。
OCP 协议
Open Core Protocol™ (OCP) 定义了 IP 内核之间独立于总线的高性能接口，可以减少系统级芯片的设计时间，降低设计风险和制造成本。OCP 形式 VIP 支持 OCP2.2 和 OCP3.0 接口协议规范。OCP 规范下载网址：https://www.accellera.org/downloads/standards/ocp。
SPI 协议
SPI 形式 VIP 支持 SPI Block Guild V03.06 (Motorola, Inc.) 规范中定义的 SPI 接口协议。