【PCIe 验证每日学习・Day13】DLLP 与 ACK/NAK 重传机制基础验证

大家好继续我们「PCIe 验证每日学习・30 分钟打卡」系列。今天进入数据链路层核心DLLP 帧结构、ACK/NAK 应答机制与重传验证。内容严格遵循 PCIe 规范、100% 无错误讲解通俗、结构清晰、代码可直接复用风格与前几日完全统一适配 CSDN 富文本排版可直接复制发布。前 12 天核心回顾1 分钟快速衔接Day1–2PCIe 三层架构事务层 / 数据链路层 / 物理层Day3–11配置空间、BAR、Cfg/Mem 交易、Capability、中断Day12LTSSM、L0/L0s/L1、链路控制与状态寄存器今日重点数据链路层如何保证 TLP 可靠传输—— 这是 PCIe 不丢包的关键今日 30 分钟学习分配0–8 分钟DLLP 作用、类型与帧格式基础必懂9–18 分钟ACK / NAK 应答与重传机制详细图解逻辑19–26 分钟DLLP 监测、UVM Monitor 与断言实现27–30 分钟必测项 小练习一、DLLP 基础概念与类型0–8 分钟通俗无错1. 什么是 DLLPDLLP Data Link Layer Packet数据链路层包只在数据链路层使用对事务层不可见。作用只有一个保证 TLP 传输可靠、有序、无错、不丢失。TLP业务数据包MemRd/Wr、CfgRd/Wr 等DLLP控制应答包ACK、NAK、流控、电源管理2. 4 类最核心的 DLLP入门必须掌握ACK DLLP应答TLP 正确接收NAK DLLP应答TLP 出错要求重传Flow Control DLLPFC DLLP流控告诉对端 “我还有多少缓冲区你能发多少”PM DLLP低功耗L0s / L1 进入与退出握手3. 规范要点绝对无错DLLP 有固定格式长度固定每个发送出去的 TLP 都有一个Sequence Number序列号接收方用 ACK/NAK 携带序列号告知发送方哪些包收到、哪些出错重传由数据链路层自动完成软件 / 事务层完全无感知二、ACK / NAK 与重传机制1. 正常传输流程ACKRC 发送 TLP携带序列号SEQXEP 正确接收校验无误EP 回包ACK(X)RC 收到 ACK删除重传缓冲中的该 TLP2. 异常传输流程NAK 重传RC 发送 TLPSEQXEP 接收时校验错误CRC 错 / 信号 integrity 错EP 回包NAK(X)RC 收到 NAK自动重传 TLP (X)EP 正确接收后回 ACK (X)重传结束3. 关键规则序列号循环递增收发双方严格同步未收到 ACK 的 TLP 会保存在 ** 重传缓冲Replay Buffer** 中NAK 触发重传但重传次数由硬件控制持续多次重传失败会触发Recovery重新训练链路Day12 内容4. 一句话总结ACK 确认收到NAK 传错重传重传由链路层自动搞定。三、DLLP 监测与 UVM 验证实现1. 验证思路DLLP 是硬件自动行为我们不生成 DLLP只做三件事Monitor 抓取 TLP 与 DLLP检查序列号是否连续检查 ACK/NAK 是否匹配发送的 TLP用断言保证出错必回 NAK正确必回 ACK2. 基础 Monitor 监测代码class pcie_dllp_monitor extends uvm_monitor; uvm_component_utils(pcie_dllp_monitor) uvm_analysis_port #(logic [7:0]) ack_port; virtual pcie_intf vif; function new(string name, uvm_component parent); super.new(name, parent); ack_port new(ack_port, this); endfunction virtual task run_phase(uvm_phase phase); forever begin (posedge vif.clk); // 监测 ACK 有效 if(vif.ack_valid) begin uvm_info(DLLP_MON, $sformatf(收到 ACK, Seq%0d, vif.ack_seq), UVM_LOW) ack_port.write(vif.ack_seq); end // 监测 NAK 有效 if(vif.nak_valid) begin uvm_error(DLLP_MON, $sformatf(收到 NAK, Seq%0d, vif.nak_seq)) end end endtask endclass3. 高频实用断言module pcie_dllp_assert; include uvm_macros.svh input clk; input rst_n; input tlp_tx_vld; // 发送 TLP input [7:0] tx_seq; // 发送序列号 input ack_vld; // 收到 ACK input [7:0] ack_seq; // ACK 序列号 input nak_vld; // 断言发送 TLP 后最终必须收到对应 ACK property p_tlp_ack_match; (posedge clk) disable iff(!rst_n) tlp_tx_vld |- ##[1:200] (ack_vld ack_seq tx_seq); endproperty a_tlp_ack_match: assert property(p_tlp_ack_match) else uvm_error(DLLP_ERR, TLP 发送后未收到对应 ACK) // 断言不能连续收到大量 NAK property p_no_continuous_nak; (posedge clk) disable iff(!rst_n) nak_vld |- ##[1:10] !nak_vld; endproperty a_no_continuous_nak: assert property(p_no_continuous_nak) else uvm_error(DLLP_ERR, 连续 NAK 重传风暴链路异常) endmodule四、今日必测项 小练习27–30 分钟必测项可直接加入用例列表正常 TLP 传输收到对应 ACK序列号匹配注入单比特错误触发 NAK 自动重传重传后成功重传缓冲机制正常未 ACK 的包不删除无连续 NAK 风暴无链路挂死所有 DLLP 断言无报错小练习说出 TLP 与 DLLP 的区别与层次关系简述 ACK、NAK 的作用写一条断言禁止在链路非 L0 时发送 DLLP思考如果永远收不到 ACK硬件会怎么处理明日 Day14 预告【PCIe 验证每日学习・Day14】Flow Control 流控基础与 FC DLLP 验证内容包括FC 模式与信用值Credit机制FC DLLP 结构与更新规则发送端 / 接收端流控模型流控饥饿、反压、超时验证UVM 流控监测与断言