XMC 地址重映射 IP owner

概述

XMC 是一个可配置的地址重映射 IP，位于通往 SoC interconnect 的 AMBA AXI 通路上。负责整个 IP 的验证：重点是其中两项最高优先级的 RTL 特性，同时考虑它与其他 IP 的适配；从 spec 分析到 coverage closure，历时六个月。

验证内容

• Coverage-driven 流程。特性 spec 拆分为 test point，回归持续运行直到覆盖率收敛：line、branch、functional coverage 均为 100%。
• ID remap 与 reorder。以高 outstanding 深度的流量压测，覆盖三种 ID 模式：相同 ID、互不相同的 ID、随机 ID；检查保序和 ID 恢复。ID 复用场景暴露出一个 RTL CAM aliasing bug，根因已定位。
• Hash 寻址。Reference model 中的 hash 地址计算按新版 spec 重写；RAL 模型、约束和 coverage 同步更新。三种粒度、两种 NUMA 模式以及各类边界情况下，所有可达的覆盖目标均已命中。
• 可复用的 testbench。UVM testbench 由各实例的配置数据参数化，一套环境覆盖所有 XMC 实例。

技术栈

SystemVerilog · UVM · Synopsys AXI VIP · UVM RAL · VCS · Verdi