systemverilog语法（六）

十六、随机化

通过随机化可以通过利用CPU的时间来换取人工检查的时间，提高效率，提供足够的激励。

采用受约束的随机测试法（CRT）产生测试集：使用随机的数据流为DUT产生输入的测试代码。改变伪随机数发生器（PRNG）的种子（seed）。

一般会在测试设计时考虑设计规范的边界处，甚至测试设计规范之外的行为。

1、 简单的随机变量的简单类

例：


Randc表示周期随机性，即所有的可能的值都赋值后随机值才可能重复

Randomize()函数在遇到约束方面的问题时返回0.

2、 权重分布的约束

Dist操作符允许产生权重分布。

：=操作符表示值范围内的每一个值的权重是相同的。

：/操作符表示权重要均分到值范围内的每一个值。

例：


3、 集合成员和inside运算符

用inside运算符产生一个值的集合，还可以求反！，用$代表最大值和最小值

例：


4、 条件约束

支持->和if-else，其中->操作等价于case产生的效果

例：


5、 高效的约束办法

例：


6、 带关系操作的约束办法

例：


7、 带关系操作和约束的类

例：


当x==0时，y==0，但y==0时，对x没有约束。

8、 使用slove••••before约束引导概率分布

slove••••before约束不会改变解的个数，只会改变各个值的概率分布。

例：


9、 控制多个约束块

可以使用内建constraint_mode（）函数打开或者关闭约束。

可以用handle.constrain.constraint_mode（）控制一个约束块。

用handle.constraint_mode（）控制对象的所有约束。

例：


10、内嵌约束（randomize() with）

通过randomize（） with来增加额外的约束

例：


11、pre_randomize和post_randomize函数

构建浴缸分布的例子：



12、常用的随机函数



13、约束技巧和技术

1）使用变量设定上限的约束



2）带权重变量的dist约束



14、随机化中常见的错误

1）小心使用有符号变量（除非必要，不要在随机约束里使用有符号类型）：错误的例子如下

例：


2）使用无符号32位变量随机化也将产生错误。

如：randm bit[31:0] pkt1_len.•••••••••••••••错误

15、约束数组或者队列的大小

Size（）函数可以约束动态数组或队列的元素个数。Inside约束数组大小的上限和下限

例：


15、约束数组和队列的每一个元素

1）可以用foreach对数组的每一个元素进行约束。

例：


2）产生具有唯一元素值的数组

例：


16、使用randcase和$urandom_range()随机控制

例：


$urandom_range函数返回一个指定范围的随机数，若只用一个参数，则当做（0，最大值）对待。

使用randcase建立决策树

例：