如何在测试台中无需AXI读回验证AXI写通道正常工作？

以下是几种不用发起AXI读事务，就能验证AXI Master写通道是否正常工作的方法：

• 监控AXI写通道的协议合规性
  直接抓取AXI写通道的三类关键信号，验证协议时序和信号正确性：

  • 地址通道：AWADDR、AWPROT、AWVALID、AWREADY，确认地址握手符合AXI时序，地址值、保护属性等参数与发送预期一致
  • 数据通道：WDATA、WSTRB、WVALID、WREADY、WLAST，验证每个数据beat的握手正常，WLAST在最后一个beat正确置位，数据和 strobe与预期匹配
  • 响应通道：BRESP、BVALID、BREADY，确认返回的响应为OKAY（或预期的合法响应），且响应握手时序合规
    多数验证框架（如UVM）的AXI Master/Slave VIP自带协议检查器，启用后可自动完成上述协议合规性验证，无需手动编写大量检查代码。

• 利用AXI Slave VIP的事务记录
  如果环境中部署了AXI Slave VIP，它会自动记录所有接收到的写事务细节。你可以通过VIP提供的API直接读取这些记录，与Master发送的预期数据做对比：

  • 对比写事务的起始地址、burst类型、长度等参数是否匹配
  • 逐beat对比WDATA和WSTRB是否与Master发送的一致
  • 确认Slave VIP对所有写事务都返回了合法响应，无错误反馈
    这种方式完全基于Slave端的事务记录，不需要发起AXI读操作即可验证写通道的正确性。

• 本地内存模型的实时同步验证
  不用等到读回再对比，而是在Master发起写事务的同时，将预期的写地址、数据、 strobe同步更新到本地内存模型；然后通过Slave VIP的回调函数，在Slave完成写事务接收后，取出Slave实际收到的事务信息，与本地模型中的预期数据做实时对比：

  1. Master发送写事务时，调用local_mem_model.update(addr, data, strb)记录预期写入内容
  2. 当Slave触发写事务完成的回调时，从Slave获取实际写入的addr、data、strb
  3. 直接对比Slave实际数据与本地模型中的对应地址数据，确认一致
     整个过程无需AXI读操作，通过事务级的实时同步对比验证写通道的正确性。

• 验证Burst写事务的完整性
  对于burst类型的写事务，额外验证以下内容：

  • 确认burst的实际beat数与AWLEN配置的长度一致
  • 检查每个beat的地址是否按AWBURST类型（如INCR、WRAP）正确递增
  • 验证WSTRB信号与WDATA的有效字节位完全对应
    这些都可以通过监控写通道信号或VIP的事务日志完成，确保整个burst写事务的时序和数据都符合AXI协议规范。

内容的提问来源于stack exchange，提问作者Grace90