1.例子(伪代码)
rand bit a;
rand bit b;
constraint c1 {
a != b ;
solve a before b;
}
2.结果
假如 a随机成了0,那么b就只能是1了。
假如 a随机成了1,那么b就只能是0了。
3.使用solve和before的条件
不能使用randc。
随机值只能是整数。
1.例子(伪代码)
rand bit a;
rand bit b;
constraint c1 {
a != b ;
solve a before b;
}
2.结果
假如 a随机成了0,那么b就只能是1了。
假如 a随机成了1,那么b就只能是0了。
3.使用solve和before的条件
不能使用randc。
随机值只能是整数。