如何基于参数通过for循环创建独立命名的covergroup实例并采样？

我希望基于参数创建多个covergroup实例（最好每个实例拥有独立名称，以便对其分别采样），并使用sample()函数对这些实例执行采样操作。我曾尝试用generate循环实现，但因覆盖率收集器是类基覆盖率而非模块，导致报错，故询问是否可通过for循环实现该需求。以下是期望实现的伪代码：

covergroup cg_unit(int i);
  coverpoint(signal[i])
  { bins xyz={1'b1}; }
endgroup

function new();
  for(int i=0;i<PARAM;i++)
  begin
    cg_unit[i] = new(i);      //It shouldn't necessarily be an array, but I want different names for each instance
  end
endfunction

...

task write();
   for(int i=0;i<PARAM;i++)
  begin
    cg_unit[i].sample();
  end
endtask

在SystemVerilog中，类类型的covergroup确实无法用generate循环实例化，但完全可以通过动态数组或关联数组结合for循环实现多实例创建，同时满足“独立标识/名称”的需求。

方法1：动态数组实现（最简方案） #

如果仅需要能分别采样，不需要显式的独立名称，动态数组是最直接的选择。只需在类内先声明covergroup的数组句柄：

class coverage_collector;
  parameter int PARAM = 4; // 根据实际需求调整参数
  logic [7:0] signal[PARAM]; // 假设待采样信号为数组类型

  // 定义带索引参数的covergroup
  covergroup cg_unit(int idx);
    coverpoint signal[idx] {
      bins xyz = {1'b1};
    }
  endgroup

  // 声明covergroup实例的动态数组
  cg_unit cg_array[];

  function new();
    // 初始化动态数组大小
    cg_array = new[PARAM];
    // 循环创建每个covergroup实例
    for(int i=0; i<PARAM; i++) begin
      cg_array[i] = new(i);
    end
  endfunction

  task write();
    // 循环对每个实例执行采样
    for(int i=0; i<PARAM; i++) begin
      cg_array[i].sample();
    end
  endtask
endclass

方法2：关联数组实现（独立名称需求） #

如果确实需要每个实例有类似独立名称的标识，可以用字符串作为关联数组的索引（比如"cg_0"、"cg_1"），实现“按名称访问”的效果：

class coverage_collector;
  parameter int PARAM = 4;
  logic [7:0] signal[PARAM];

  covergroup cg_unit(int idx);
    coverpoint signal[idx] {
      bins xyz = {1'b1};
    }
  endgroup

  // 声明以字符串为索引的关联数组
  cg_unit cg_assoc[string];

  function new();
    string cg_name;
    for(int i=0; i<PARAM; i++) begin
      // 生成每个实例的名称字符串
      $sformat(cg_name, "cg_%0d", i);
      cg_assoc[cg_name] = new(i);
    end
  endfunction

  task write();
    string cg_name;
    // 遍历关联数组完成全采样
    foreach(cg_assoc[cg_name]) begin
      cg_assoc[cg_name].sample();
    end
    // 也可以单独指定某个名称的实例采样
    // cg_assoc["cg_2"].sample();
  endtask
endclass

关键注意事项 #

• 类内的covergroup必须声明为非静态，确保每个类实例能拥有独立的covergroup集合。
• 如果待采样信号来自类外部，可以修改covergroup的构造参数，将信号作为输入传递，避免直接引用外部变量。
• 动态数组需要提前初始化大小，关联数组则支持动态添加元素，灵活性更高。

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