SystemVerilog枚举类型转移约束未达预期问题咨询

问题背景 #

需要实现枚举类型的转移约束：当某次随机的direction为READ时，后续两次随机的direction必须为WRITE。现有代码因错误理解枚举prev()/next()方法的作用，且未处理跨多次随机的状态关联，导致约束失效。

现有代码问题分析 #

1. 对象独立性问题：每次循环都new()新的ahb_item对象，多次随机完全独立，前后对象无状态关联，无法实现跨次的转移约束。
2. 枚举方法误解：枚举的prev()/next()仅返回该枚举值在定义序列中的前/后一个固定值（如READ的next()永远是WRITE），和历史随机结果无关，不能用来关联前后两次随机的取值。
3. 约束逻辑错误：现有约束(direction == READ) -> (direction==WRITE)-> (direction==WRITE)仅作用于单次随机的变量，逻辑矛盾，无法实现预期效果。

正确实现方案 #

要实现跨多次随机的转移约束，需在类中保存历史状态，并复用同一个对象进行多次随机。具体实现如下：

修改后的完整代码

typedef enum { READ, WRITE } direction_t;  
typedef enum { BYTE, HALFWORD, WORD } size_t;  
typedef enum { NONE, SMALL, MEDIUM, LARGE } delay_t; 

class ahb_item ;                 
  rand direction_t direction;                         
  rand size_t size_enum;                              
  rand delay_t delay;                                 
  
  // 历史状态变量，非随机，记录需要连续输出WRITE的次数
  int write_remaining;

  constraint trans1_c {
    // 当还有剩余WRITE次数时，当前direction必须为WRITE
    (write_remaining > 0) -> direction == WRITE;
  }                                                 

  // 随机完成后自动更新状态
  function void post_randomize();
    if (direction == READ) begin
      // 遇到READ，后续需要连续输出2次WRITE
      write_remaining = 2;
    end else if (write_remaining > 0) begin
      // 输出WRITE后，剩余次数减1
      write_remaining--;
    end
  endfunction
endclass                         

module top;                       
ahb_item  item;                   

initial begin                     
  // 仅创建一次对象，保证状态连续
  item = new();
  item.write_remaining = 0; // 初始化剩余WRITE次数

  repeat(10) begin               
    if(!item.randomize())           
      $display("ERROR Randomize"); 
  
    $display("current direction:%p, size_enum:%p", item.direction, item.size_enum);
  end                             
end  
endmodule

代码逻辑说明

1. 状态变量：write_remaining用于记录还需要连续输出WRITE的次数，初始为0。
2. 约束逻辑：trans1_c约束确保当write_remaining>0时，当前direction只能是WRITE，强制后续的转移要求。
3. 状态更新：post_randomize()函数在每次随机完成后自动执行：
   • 若本次随机出READ，则设置write_remaining=2，要求接下来两次必须输出WRITE
   • 若本次是WRITE且还有剩余次数，将write_remaining减1，直到次数耗尽
4. 对象复用：仅创建一次ahb_item对象，保证历史状态在多次随机之间传递，实现跨次的转移约束。

预期输出示例 #

执行后会得到符合要求的随机序列，例如：

current direction:READ, size_enum:HALFWORD
current direction:WRITE, size_enum:WORD
current direction:WRITE, size_enum:HALFWORD
current direction:READ, size_enum:WORD
current direction:WRITE, size_enum:WORD
current direction:WRITE, size_enum:HALFWORD
current direction:WRITE, size_enum:BYTE
current direction:READ, size_enum:HALFWORD
current direction:WRITE, size_enum:HALFWORD
current direction:WRITE, size_enum:BYTE

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