概述

存储器协议

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

协议

存储器协议规范

Cadence 为存储器协议提供各种形式 VIP。

DDR 协议

DDR 形式 VIP 提供对 JEDEC DDR SDRAM 标准 (JESD79) 各版本的支持，涵盖 DDR、DDR2、DDR3 和 DDR5。

LPDDR 协议

LPDDR 形式 VIP 提供对 JEDEC LPDDR SDRAM 标准 (JESD209) 各版本的支持，涵盖 LPDDR、LPDDR2、LPDDR3 和 LPDDR5。

SDRAM 协议

SDRAM 形式 VIP 提供对 JEDEC SDR SDRAM STANDARD (JEDEC No.21-C) 协议规范的支持。