当我尝试通过
https://silver.arm.com/browse...
了解SVA 4KB边界时，下面 是一个属性
//开始
属性AXI_ERRM_AWADDR_BOUNDARY;
@（posedge`AXI_SVA_CLK）\n！（$ isunknown（{AWVALID，AWBURST，AWADDR}））＆ AWVALID＆（AWBURST ==`AXI_ABURST_INCR）\n\n |->（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限制。是否在此部分上面检查属性？ |
|
楼主
