记录一些随机约束的控制方法

发布时间:2024年01月23日


前言

在运用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方法会随机类里边已经实例化的所有随机。
在这里插入图片描述


总结

本文主要记录一下随机控制的一些方法。

文章来源:https://blog.csdn.net/hh199203/article/details/135772809
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。