Constraint for address to be inside 4k boundary

[dave_59]

In reply to Chandrashekhar Goudar:

The problem with your constraint is the
mtestADDR%4096 just gives you the offset into the 4K boundary. You just need

constraint addr_in_4k { mtestADDR%4096 + (mtestBurstLength + 1 << mtestDataSize) <= 4096;}