在＆＃39; dist＆＃39;中使用非连续值用于约束随机刺激

Question

系统verilog支持＆＃39; dist内的连续范围。 例如

y dist {
[1:1000] :/ 40,
1500 :/ 60
}

它是否支持多个随机元素。例如

{1,3,2,6} :/ 40

是否可以使用＆＃39; inside＆＃39;在＆＃39; dist＆＃39; ？

Answer 1

这两个问题的答案是：不。在SystemVerilog 3.1a Language Reference Manual（12.4.4分布）

中查看约束分布语法