验证工程师投入了大量精力来编写和调整随机激励的约束。约束激励变量之间的有效关系至关重要，否则将产生无效的激励，或者不会产生重要的有效激励组合。 当涉及到bug hunting时，运行完全随机激励被认为是确保覆盖验证工程师不会想到的case的好方法。然而，验证工程师通过引入随机性testcase来完善这一目标时——很多更有价值的组合的发生概率极低。
考虑下图1所示的SystemVerilog类，看看一些约束对约束求解器产生的情况会产生多大的影响。一个简单的约束扭曲了整个随机分布！
图1：约束随机
当功能覆盖率监控变量组合时，这种类型的分布很容易看到和调整。然而，让我们面对现实，使用随机刺激来发现错误的整个前提是，随机生成可以产生我们没有想到的场景（因此，没有为其创建功能覆盖率范围
