Question

使用randc声明的变量是周期随机变量，它在一个它们声明范围内的一个随机排列中循环地选择所有的值。周期随机变量只能是bit类型或枚举类型，并且可以被限制到一个最大的尺寸。

为了理解randc，考虑一个两位的随机变量y：

randc bit [1:0] y;

变量y可以在0、1、2和3之间取值。随机化的过程会为y的取值范围计算一个初始的随机排列，然后再连续的调用中按顺序返回这些值。当返回一个排列的最后一个元素后，它会通过计算一个新的随机排列来重复这一过程。

randc的基本思想是在取值范围内的所有值上随机地迭代，并且在一次迭代中不会有重复的值。当本次迭代结束后，会自动启动一个新的迭代。

对于任意指定的randc变量，当针对该变量的约束发生变化或者排列中余下的数值都不能满足这个约束的时候会重新计算排列顺序。

为了减少内存的要求，具体实现时可以在randc变量上强加一个限制，但这个变量不能小于8位。

周期随机变量的语义要求它们必须在其它随机变量之前求解。一组既包含了rand变量也包含了randc变量的一组约束应该保证randc变量首先被求解，并且有时可能导致randmize()失败。