如何使用randomize() with约束随机化SystemVerilog枚举类型数据？

问题重现 #

尝试使用randomize() with约束枚举类型时出现随机化失败，代码如下：

typedef enum logic [2:0] {RED=3'b001, GREEN=3'b010, BLUE=3'b011} color_e;
    
class my_class;
  color_e my_color;
endclass

module top;
  my_class obj =new();
  
  initial begin
    if (!obj.randomize() with {my_color == RED;}) begin
      $display("Randomization failed!");
    end else begin
      $display("Randomization succeeded! my_color = %0d", obj.my_color);
    end
  end
endmodule

执行后报错：

color_e my_color;
                 |
xmsim: *W,RNDXZW (./testbench.sv,4|17): Constraints reference an X/Z value.
    if (!obj.randomize() with {my_color == RED;}) begin
                     |
xmsim: *W,SVRNDF (./testbench.sv,11|21): The randomize method call failed. The unique id of the failed randomize call is 0.

错误原因 #

错误提示中的RNDXZW表明约束引用了X/Z值。核心问题是：类中的my_color未被标记为随机变量。SystemVerilog中，未用rand/randc修饰的类成员初始值为X（对应枚举底层逻辑值的X状态），约束时用X和枚举常量RED比较，导致逻辑冲突，最终随机化失败。

解决方案 #

在类的枚举成员前添加rand（或randc，按需选择）修饰符，将其声明为随机变量：

typedef enum logic [2:0] {RED=3'b001, GREEN=3'b010, BLUE=3'b011} color_e;
    
class my_class;
  rand color_e my_color; // 添加rand修饰符，标记为随机变量
endclass

module top;
  my_class obj =new();
  
  initial begin
    if (!obj.randomize() with {my_color == RED;}) begin
      $display("Randomization failed!");
    end else begin
      $display("Randomization succeeded! my_color = %s", obj.my_color.name()); // 用name()打印枚举名称更直观
    end
  end
endmodule

补充说明 #

• 如果只是需要直接赋值而非随机化，无需调用randomize()，直接执行obj.my_color = RED;即可
• randc适用于需要周期不重复随机值的场景，普通随机需求用rand即可

内容的提问来源于stack exchange，提问作者bu-ral