文章目录
- 前言
- 一、内嵌约束控制
- 二、控制rand变量是否随机
- 三、选择随机控制的变量
- 四、控制约束块是否随机
- 五、约束的嵌套控制
- 总结
前言
在运用UVM验证过程中,经常会用到大量的随机,这个时候我们需要控制随机约束的打开或者关闭,来实现不同模式的约束。本文主要记录一下,在随机过程中约束控制的方法。
- 内嵌约束控制
- 控制rand变量是否随机
- 选择随机控制的变量
- 控制约束块是否随机
- 约束的嵌套控制
一、内嵌约束控制
可以通过with关键字,对已有的约束进行进一步控制,取二者的交集,所以在原始类定义的约束中,范围应该尽可能的大。
二、控制rand变量是否随机
通过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方法会随机类里边已经实例化的所有随机。
总结
本文主要记录一下随机控制的一些方法。