In reply to fuwad khan:
Hi Fuwad,
You can do something like this:
property p1;
@(posedge hclk)
((haddr[3:2] = 2’b00) |-> (wrap4_boundary_location = 0)) | // No wrap
((haddr[3:2] = 2’b01) |-> (wrap4_boundary_location = 1)) | // Wrap at beat 1
((haddr[3:2] = 2’b10) |-> (wrap4_boundary_location = 2)) | // wrap at beat 2
((haddr[3:2] = 2’b11) |-> (wrap4_boundary_location = 3)) // warp at beat 3
endproperty
assert property(p1);