Interview question on constraint

SystemVerilog
, ,
14

Probably, this should meet the query…

program tb;
class cls;
rand bit [3:0] arr[10], indx1, indx2;
constraint cons{
foreach(arr[i])
foreach(arr[j])
(i != j) → soft arr[i] != arr[j];

        indx1 inside {[0:9]};
        indx2 inside {[0:9]};
        indx1 == (indx2 + 1);
        arr[indx1] == arr[indx2];
    }
endclass

initial begin
    cls obj = new;
    repeat(2) begin 
        obj.randomize;
        $display("indx1 = %d, ind2 = %d, arr = %p",
            obj.indx1,obj.indx2,obj.arr);
    end
end

endprogram