SystemVerilog数组元素重复5次约束失效，请求代码问题排查

问题需求 #

需要生成一个包含50个元素的数组，满足：

• 数组元素取值范围为1-20
• 包含10个不同的数字
• 每个数字恰好出现5次

原代码问题分析 #

你编写的原代码中，约束c2的写法存在逻辑缺陷：

constraint c2 { 
   foreach (num[i]) num.sum() with (int'(item==num[i]))==5; }

这个约束会对数组的每一个元素都添加一条规则：要求该元素对应的数值在整个数组中恰好出现5次。这会导致两个关键问题：

1. 约束冗余且矛盾：如果数组中有多个元素是同一个值（比如两个元素都是3），那么这些元素对应的约束是完全重复的。更严重的是，该约束没有限制数组中不同数字的数量——求解器可能会尝试生成超过10个不同数字，而每个都要求出现5次，总元素数会超过50，直接导致约束冲突，求解器无法找到合法解。
2. 求解效率极低：50个元素会生成50条约束，其中大量重复，大幅增加求解器的计算负担，进一步加剧无解的概率。

而当你把约束改为num.sum() with (int'(item==num[i])) < 5时，求解器可以生成多个不同数字，每个出现次数不超过4，总元素数能凑够50，因此可以正常运行，但显然不符合"每个数字恰好出现5次"的需求。

正确实现代码 #

通过引入一个存储10个唯一数字的辅助数组，先确定合法的数字集合，再约束原数组的元素只能来自这个集合，且每个数字恰好出现5次，就能满足需求：

module top;

class A;
  rand bit [5:0] num[50];
  rand bit [5:0] unique_nums[10]; // 存储10个不同的目标数字

  // 约束1：10个数字唯一，且在1-20范围内
  constraint c_unique {
    unique {unique_nums};
    foreach (unique_nums[i]) unique_nums[i] inside {[1:20]};
  }

  // 约束2：原数组元素只能是这10个数字，且每个恰好出现5次
  constraint c_dist {
    foreach (num[i]) num[i] inside {unique_nums};
    foreach (unique_nums[j]) num.sum() with (int'(item == unique_nums[j])) == 5;
  }
endclass

A a=new;
initial begin
  if (a.randomize()) begin
    $display("生成的数组：%p", a.num);
    // 可选：验证每个数字的出现次数
    bit [5:0] count[21] = '{default:0};
    foreach (num[i]) count[a.num[i]]++;
    $display("数字出现次数：");
    foreach (count[k]) begin
      if (count[k] != 0) $display("%0d: %0d次", k, count[k]);
    end
  end else begin
    $display("随机化失败");
  end
end
endmodule

代码说明 #

1. unique_nums数组用于存储10个1-20之间的唯一数字，通过unique {unique_nums}确保无重复。
2. c_dist约束分为两部分：
   • 限制原数组num的所有元素只能来自unique_nums集合；
   • 对unique_nums中的每个数字，约束其在num中恰好出现5次，10*5=50刚好匹配数组长度。

内容的提问来源于stack exchange，提问作者Grace90