(7)systemverilog 随机化(二)

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。

3.solv