“Systemverilog Contrainte unique Valeurs uniques” Réponses codées

Systemverilog Contrainte unique Valeurs uniques

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