SV基础之随机化（二）

一些其他的约束方法背景根据绿皮书第6章内容总结核心内容条件约束foreach软约束solve…before我的理解条件约束在[[SV基础之随机化一]]中提到了在约束块中使用if...else今天介绍其他几种约束办法。一种是expression - constraint;是蕴含操作符读作“若表达式成立则约束必须成立”当表达式为假时该约束不产生任何限制。这与if(expression) constraint本质上等价但蕴含写法更简洁。条件约束允许基于状态变量非rand变量来切换约束实现状态依赖的随机行为。foreachforeach在约束块中可迭代数组索引从而对动态数组或定长数组的每个元素施加约束。例如约束队列中数据递增foreach(data[i]) if(i0) data[i] data[i-1];foreach极大增强了对集合型数据的约束表达能力是用约束生成复杂结构数据的关键。软约束soft软约束通过soft关键字定义如soft x 0;。它表示一种弱偏好。当与其他硬约束不冲突时软约束成立并发挥影响若与任何硬约束冲突软约束会被自动忽略而不引起求解失败。软约束之间可以互相覆盖后声明的或更具体的soft约束优先级更高取决于工具。典型应用是为变量设定默认值在测试用例中通过强约束覆盖实现约束重用。solve...beforesolve A before B指示求解器先确定变量 A 的值再在 A 给定的空间内确定 B。它不改变合法解集合只改变解的选取概率分布。这主要用于确保某些变量的分布不受其他变量的影响。实战要点工作中可以这么用可以在需要扩展的基类中使用soft约束方便派生类覆盖容易踩的坑solve...before可能会导致后续部分求解空间受限设计时需要权衡一句话总结使用软约束可以方便后续约束覆盖如果想要避免关系操作中出现某个变量概率太小的情况可以使用solve...before先对某个值进行求解。