检查4KB边界

当我尝试通过
https://silver.arm.com/browse...

了解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限制。是否在此部分上面检查属性？