System verilog constraint for addr to not cross 4kB boundary

In reply to dave_59:

Hi Dave, Thank you, could you please explain this in words?

My burst length is 'd25.

constraint addr_c2 { addr[32:12] == {addr+'d25}[32:12]; }

I also get this error :
Error-[CSTR-USFC] Unsupported system function call
, unknown line number
“$$commaassign(_vcs_func, (this.addr + 'd25), _vcs_func, 1)”
System function ‘$$commaassign’ is not yet supported in constraints.