systemverilog随机化(二)
文章目录
五、解的概率
SV并不保证随机约束求解器能给出准确的解，但你可以干预解的概率分布。要通过对数千或数百万的值统计后才能滤除噪声，得到随机数的概率。
1.关系操作
class Imp1;
rand bit x;
rand bit [1:0]y;
constraint c_xy{
(x==0)->y==0;}
endclass
2.关系操作和双向约束
class Imp2;
rand bit x;
rand bit [1:0]y;
constraint c_xy{
y>0;
(x==0) -> y==0}
endclass
关系操作规定x0时，y的值为0，但y0时，对x的值没有约束。由于关系操作是双向的，如果y为非零值，那么x的值将为1。上例中约束了y>0，所以x的值不可能为0。