'dist' 中的非连续值用于约束随机刺激
Usage of non continuous values in 'dist' for constraint random stimulus
System verilog 支持 'dist' 内的连续范围。
例如
y dist {
[1:1000] :/ 40,
1500 :/ 60
}
是否支持多个随机元素。例如
{1,3,2,6} :/ 40
是否可以在 'dist' 中使用 'inside'？
两个问题的答案都是：不是。查看 SystemVerilog 3.1a 中的约束分布语法
语言参考手册（12.4.4 发行版）
System verilog 支持 'dist' 内的连续范围。 例如
y dist {
[1:1000] :/ 40,
1500 :/ 60
}
是否支持多个随机元素。例如
{1,3,2,6} :/ 40
是否可以在 'dist' 中使用 'inside'？
两个问题的答案都是：不是。查看 SystemVerilog 3.1a 中的约束分布语法 语言参考手册（12.4.4 发行版）