Question

范围随机化函数的std::randomize() with形式允许用户为本地范围变量指定随机约束。当说明约束的时候，范围随机化函数的参数指定的变量变成了随机变量，所有其它变量被认为是状态变量。

task stimulus (int length);
    int a, b, c, success;
    success = std::randomize(a, b, c) with {a < b; a + b < length};
    ...
    success = std::randomize(a, b) with {b - a > length};
    ...
endtask

上面例子中的任务（stimulus）将std::randomize调用了两次，从而为它的本地变量a、b和c产生了两组随机值。在第一次调用中，a和b被约束成a小于b，并且它们的和小于任务参数length（它被指定成一个状态变量）。在第二次调用中，变量a和b被约束成它们的差大于状态变量length。