constraint_mode()方法
class transaction;
rand int a;
rand int b;
// 定义约束
constraint even_a {
a%2 == 0;
}
constraint range_b {
b > 0 && b < 100;
}
endclass
如果你想禁用名为even_a
的约束集:
transaction tr = new();
tr.even_a.constraint_mode(0); // 正确的方法来禁用even_a约束
说明:constraint_mode(0)
表示禁用约束。