Constraint for address to be inside 4k boundary

SystemVerilog
,
2

In reply to Chandrashekhar Goudar:

The product of number bytes & burst length will give total no. of data transferred in a burst. So we can write a constraint as below.



constraint VALID_BURST_LEN_RANGE {2^Awsize * (Awlen+1) <= 4096;}

Regards,
Shanthi