systemverilog unique constraint unique values code example
Example: systemverilog unique constraint unique values
constraint unique_perm{
unique {perm}:
foreach(perm[i])
perm[i] inside {[0:n]};
}
constraint unique_perm{
unique {perm}:
foreach(perm[i])
perm[i] inside {[0:n]};
}