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

当我尝试通过了解SVA 4KB边界时，下面 是一个属性
//开始
属性AXI_ERRM_AWADDR_BOUNDARY;

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