Hi Team,
I need to constraint a for start_address & end_address and this range should be in b/w 1KB and boundary of the address should not exceed 2KB.
EX: if start_address is 10, then the end_address should be <= 10+1KB . the start_address and end_address should be <=1KB. and total address range should be <=2048.(2KB).
Currently i have written the constraint as below. But it is not working …
constraint c1 {((end_address -start_address)< (1024+start_address)) <=2048;}
Can any one pls help me with this constraint.
Thanks in advance.