AMD SDP 协议系列（6）：从协议条款到可执行验证方案本文性质：验证推导。SDP Rev 1.5.0 规定协议行为，但没有提供完整 UVM 架构。本文方案由规范 pp.64–122 的规则推导，不代表 AMD 官方 verification plan。目标读者：负责 SDP endpoint、bridge、cache controller 或 Fabric port 的 RTL/DV 工程师。验证 SDP 的主要矛盾是：物理接口由多个独立 channel 构成，架构语义却跨越 request、data、probe、response、ack、credit 和 port-control 状态。只做每个 channel 的 protocol assertion 不够，只做 transaction scoreboard 也不够。一个稳健方案应同时回答三个问题：每个拍是否合法？跨通道事务是否保持因果、状态与顺序？在 backpressure、credit 紧张、断连、重传与错误下，协议是否仍能进展？1. 验证平台分层