Constraint for address to be inside 4k boundary

In reply to sfenil1804:

I’m not familiar with AHB burst transactions, but for a single burst, the constraint would be

constraint addr_in_1K { Haddr%1024 + 8*(1<<Hsize) <= 1024;}