systemverilog语法（六）

十六、随机化
通过随机化可以通过利用CPU的时间来换取人工检查的时间，提高效率，提供足够的激励。
采用受约束的随机测试法（CRT）产生测试集：使用随机的数据流为DUT产生输入的测试代码。改变伪随机数发生器（PRNG）的种子（seed）。
一般会在测试设计时考虑设计规范的边界处，甚至测试设计规范之外的行为。
1、 简单的随机变量的简单类
例：
Randc表示周期随机性，即所有的可能的值都赋值后随机值才可能重复
Randomize()函数在遇到约束方面的问题时返回0.
2、 权重分布的约束
Dist操作符允许产生权重分布。
：=操作符表示值范围内的每一个值的权重是相同的。
：/操作符表示权重要均分到值范围内的每一个值。
例：
3、 集合成员和inside运算符
用inside运算符产生一个值的集合，还可以求反！，用$代表最大值和最小值
例：