Question

当类中的一个对象成员使用rand声明的时候，类中的所有约束和随机变量都会与其它的类变量和约束同时随机化。包含来自其它对象的约束变量的约束表达式被称为全局约束。

class A; // 叶子节点
    rand bit [7:0] v;
endclass

class B extends A; // 堆节点
    rand A left;
    rand A right;
    constraint heapcond {left.v <= v; right.v <= v;}
endclass

这个例子使用全局约束来定义一个有序二叉树的有效值。类A代表一个具有8位值v的叶子节点。类B扩展了类A并表示了一个堆节点，这个堆节点包含值v、一个left子树、一个right子树。为了与其它类变量同时随机化这两个子树，这两个子树都使用rand声明。被命名为heapcond的约束块具有两个全局约束，它们将left和right子树的值与堆节点的值关联起来。当类B的一个实例被初始化的时候，求解器同时为B以及它的left和right子节点求解，这可以类推到叶子节点或更多的堆节点。

下列规则决定了哪一个对象、变量和约束被随机化：

1. 首先确定那些作为一个整体随机化的对象的集合。起始于一个调用randomize()方法的对象，加入其中包含的、使用rand声明的、以及活跃（参见12.7节中的rand_mode）的所有对象。这个定义是递归的，并且包含可以从起始对象到达的所有的活跃随机对象。这一步中选择的对象被称为活跃随机对象。
2. 接下来从活跃随机变量的集合中选择所有的活跃约束。这些都是需要求解的约束。
3. 最后从活跃随机对象的集合中选择所有的活跃随机变量。这些是需要被随机化的变量。所有其它的变量引用都被当作是状态变量，它们的当前值被当作一个常量时候。