面向 PHY 协议的形式 VIP

概述

PHY 协议

面向 PHY 协议的形式 VIP 提供了一套全面的检查器和 RTL，用于检查设计的 PHY 层是否符合多种存储器和接口协议标准。通常，由于状态空间深不可测，不太容易对接口协议的数据链路或网络层进行建模以进行形式验证。在这种情况下，使用形式 VIP 来验证 PHY 层非常有实用价值。该形式 VIP 的协议检查器包括用 SystemVerilog 编写的 RTL 和用 SystemVerilog 断言 (SVA) 属性语言编写的检查器。形式 VIP 也有一套全面的覆盖范围，用于测量验证的功能覆盖率。这些形式 VIP 可以在 Jasper™ 形式验证和仿真环境中使用。在 Jasper 形式环境中，形式 VIP 使用 SVA 约束生成激励，并使用 SVA 属性语言验证协议行为，而在仿真中，形式 VIP 仅被用作检查器。