CODE EXAMPLE FOR SQL

systemverilog unique constraint unique values

constraint unique_perm{
	   unique {perm}:
  	   foreach(perm[i])
		  perm[i] inside {[0:n]};
		  }