Constraint on at least N unique digits in array

SystemVerilog
,
3

In reply to Jeff_Li_90:

Use helper arrays

module top;

  class A;
    rand bit [3:0] num[10];
    rand bit [3:0] unum[7]; // helper
    
    constraint inside0_10 {
      foreach(num[i]) num[i] inside{[0:10]};
    }
    constraint uniq { unique {unum};
                     foreach (unum[i]) num.sum() with (4'(item==unum[i]))==1;
                    }
  endclass

  A a=new;
  initial repeat(10) begin
    assert(a.randomize());
    a.num.sort();
    a.unum.sort();
    $display("%p %p",a.num, a.unum);
  end
                                                       
endmodule