In reply to Mihaelf:
You can do this as a packed array
class cyclic_arr ;
randc bit [0:1][3:0] arr ;
constraint c_range {
foreach (arr[i])
arr[i] inside {[1:3]} ;
}
constraint c_sorted {
foreach (arr[i])
if (i>0)
arr [i] > arr[i-1] ;
}
endclass
module my_tb ;
cyclic_arr my_cyclic_arr ;
initial begin
my_cyclic_arr = new() ;
for (int i=0; i<10; i++) begin
void'(my_cyclic_arr.randomize()) ;
$display("%h", my_cyclic_arr.arr) ;
end
end
endmodule