[问答]

去哪里检查SVA 4KB边界的属性呢

2081 AXI总线

问答对人有帮助，内容完整，我也想知道答案 0 当我尝试通过了解SVA 4KB边界时，下面是一个属性 //开始属性AXI_ERRM_AWADDR_BOUNDARY; @（posedge`AXI_SVA_CLK）！（$ isunknown（{AWVALID，AWBURST，AWADDR}））＆ AWVALID＆（AWBURST ==`AXI_ABURST_INCR） `\|->（AwAddrIncr [ADDR_MAX：12] == AWADDR [ADDR_MAX：12]）；` endproperty 并始终以@（AWSIZE或AWLEN或AWADDR）开始：p_WAddrIncrComb AwAddrIncr = AWADDR +（AWLEN << AWSIZE）; //突发结束的最终地址 // end 如果有事务：据我所知，AWADDR：'d4095 AWLEN：'d0 AWSIZE：'d1 AWBUSRT：incr 据我所知，这应违反4K限制。是否在此部分上面检查属性？ 0
2022-8-25 15:53:13　　评论淘帖0 邀请回答您可以邀请以下用户，快速回答问题 × 嵌入式-H 该类别下有 16 个回答。邀请回答 hgimtk 该类别下有 16 个回答。邀请回答 dianzijie5 该类别下有 16 个回答。邀请回答 hucc 该类别下有 14 个回答。邀请回答舍我其谁84 该类别下有 13 个回答。邀请回答 HCPcry 该类别下有 12 个回答。邀请回答冰箱洗衣机该类别下有 12 个回答。邀请回答学生物的程序猿该类别下有 11 个回答。邀请回答小刘该类别下有 11 个回答。邀请回答 sjjs001 该类别下有 11 个回答。邀请回答 iettke 该类别下有 11 个回答。邀请回答 YOYOOO 该类别下有 10 个回答。邀请回答 bigbangboom 该类别下有 10 个回答。邀请回答 wuli北该类别下有 9 个回答。邀请回答 zengweishuai 该类别下有 9 个回答。邀请回答广州洋钒该类别下有 9 个回答。邀请回答 drakannie 该类别下有 9 个回答。邀请回答 siyugege 该类别下有 9 个回答。邀请回答 ze55me 该类别下有 8 个回答。邀请回答 zhuzb0754 该类别下有 8 个回答。邀请回答举报申根换相关推荐 • 为什么4KB的存储器高位地址线需要4根？ 8689 • S25FL128L擦除尺寸 1967 • IMX8m Plus边界扫描检查链失败的原因？ 273 • 请问数的边界是哪里呢？能标注下吗？ 579 • labview 属性节点 2868 • 不同PIC32MX设备的XC32链接器脚本有差异 654 • 如何传输DMACFG小尺寸的数据？ 1012 • 如何将NVM示例的读取/写入区域从32KB更改为4KB？ 1779 • PIC32MZ TCP/IP TX只能发送一个大小为4KB的字符串 1267 • SST25vf010A单字节修改 1454 1个回答

答案对人有帮助，有参考价值 0 您的AXI交易不会违反4K边界。您使用的起始地址（4095）与传输宽度（16位）不一致，因此，这种1拍事务实际上将传输的只是一个字节。尽管AXI协议描述了它支持“未对齐的传输”，但是实际的实现仍然是传输到数据总线的AxSIZE对齐的部分，因此，当AWSIZE指示16位传输时，未对齐的起始地址意味着这16个字节的仅上半部分位数据将被传输。在AXI规范中有一些示例，因此请看图A3-13，其中显示了INCR事务中的AxSIZE = 32位传输。不对齐的起始地址意味着在第二，第三和第四示例中，第一次传输实际上并未传输32位。在这些示例中，INCR突发中的其余传输每个都传输32位，因此它们是AxSIZE对齐的，只是第一个未对齐的传输。固定突发类型事务在事务中的每次传输中都保持不对齐，并且WRAP突发不能使用未对齐的起始地址。

2022-8-25 15:53:37 评论举报李霞