SystemVerilog restricción única valores únicos
constraint unique_perm{
unique {perm}:
foreach(perm[i])
perm[i] inside {[0:n]};
}
Awful Armadillo
constraint unique_perm{
unique {perm}:
foreach(perm[i])
perm[i] inside {[0:n]};
}