Constraint for array of 10 elements in which first 5 elements are in increment in nature and next 5 elements are in decrementing nature

SystemVerilog
2

In reply to shashikanth123:


case 1: 
// arr[0] < arr[1] < ... < arr[4]
// arr[5] > arr[6] > ....> arr[9]
    constraint c1 {
            foreach(arr[i]) { if(i < 5) arr[i] < arr[i+1];
                              if((i > 4) & (i != 9))  arr[i] > arr[i+1];
                            }
        }

 
case 2:
// arr[0] < arr[1] < ... < arr[4] > arr[5] > arr[6] > ....> arr[9] 
    constraint c1 {
            foreach(arr[i]) { if(i < 4) arr[i] < arr[i+1];
                              if((i > 3) & (i != 9))  arr[i] > arr[i+1];
                            }
        }