在运用UVM验证过程中,经常会用到大量的随机,这个时候我们需要控制随机约束的打开或者关闭,来实现不同模式的约束。本文主要记录一下,在随机过程中约束控制的方法。
可以通过with关键字,对已有的约束进行进一步控制,取二者的交集,所以在原始类定义的约束中,范围应该尽可能的大。
通过task/function int object_name.property.rand_mode ( 0 | 1 );可以控制rand变量是否随机,1表示使能约束,0表示关闭约束,默认使能约束。
不管变量是否rand,可以选择是否对其随机。
可以通过task/function int object_name.constraint_block_name.constraint_mode ( 0 | 1 );控制对约束块的随机,0表示使能随机,1表示关闭随机,默认使能随机。
如果静态的约束块被关闭使能,那么该类所有被例化的实例,都将关闭约束使能。
random方法会随机类里边已经实例化的所有随机。
本文主要记录一下随机控制的一些方法。