SV Constraint to Generate a 2D Array with Unique Elements

SystemVerilog
,
2

In reply to totochan1985:


 class a2a ;
  rand int unsigned aa[4][4]; // fixed 2d array for example
  constraint c_aa{
   foreach(a[i,j]) a[i][j] inside {[1:20]};
   unique {aa};
  }
 endclass 
or 
 class a2a ;
  rand int unsigned aa[4][4]; // fixed 2d array for example
  constraint c_aa{
   foreach(a[i,j]) a[i][j] inside {[1:20]};
   foreach(a[i,j]){
     foreach(a[k,l]){
       if( !(i ==k && j ==k)) a[i][j] != a[l][k]; 
      }
     }
  }
 endclass