I would like to have comments /feedback of experts on the following assertion, I am trying to write the AHB 1KB address boundary check.
//Managers must not attempt to start an incrementing burst that crosses a 1KB address boundary.
//Burst Address Boundary Check property p_burst_addr_boundary;
property p_ahb_1kb_addr_boundary;
int burst_size;
int burst_start_addr;
int burst_end_addr;
@(posedge clk) disable iff (~reset_n)
((ahb_m_hburst != AHB_SINGLE) &&(ahb_m_htrans == AHB_SEQ) && (ahb_m_hreadyout),
burst_size = (get_burst_length(ahb_m_hburst) * (1 << ahb_m_hsize)) -1,
burst_start_addr = {ahb_m_haddr[31:10], 10’b0},
burst_end_addr = {ahb_m_haddr[31:10], 10’b0} +1023) |->
ahb_m_haddr >= burst_start_addr && ahb_m_haddr <= burst_end_addr;
endproperty