SystemVerilog 分布约束

Question

我在如何设置 dist 约束方面遗漏了一些东西。 我试图在两个范围 [0:31] 和 [32:65535] 之间获得相等的权重。 我设置了一个简单的测试：

class data;
  rand bit [15:0] field1;
  constraint c_f1 { field1 dist {[0:31] := 1, [32:65535] := 1};}
endclass

module testbench;
   
  initial begin
    data test_h;
    test_h = new();
    
    repeat(10) begin
        assert(test_h.randomize());
        $display("field1 = %h", test_h.field1);
    end
  end

endmodule

但是，我看到大多数值 > 32。我在这里误解了什么？

Answer 1

使用:/运算符而不是:=运算符。 改变：

  constraint c_f1 { field1 dist {[0:31] := 1, [32:65535] := 1};}

至：

  constraint c_f1 { field1 dist {[0:31] :/ 1, [32:65535] :/ 1};}

请参阅 IEEE Std 1800-2017，第 18.5.4 节分发。

:/ 运算符将指定的权重分配给项目，或者，如果项目是范围，则分配给整个范围。 如果范围内有 n 个值，则每个值的权重为 range_weight / n。

这给出了 0-31 之间的更多值：

field1 = 0012
field1 = 001f
field1 = 000f
field1 = a138
field1 = 0018
field1 = 001c
field1 = 9d48
field1 = 0009
field1 = 85bf
field1 = f930