17_随机约束和分布

1. 为什么需要随机约束？

• 减少了代码量实际上是减少了测试用例的代码（test(）中的代码）。
  
• 约束变形：前期约束窄中期宽后期窄
  
  
• AC。验证环境结构可以随机

2. 随机化

• 随机变量只能是class中的成员变量
  
• new只是创建了变量，但是还没有随机化。必须调用randomize()，成功随机化返回1.
• 本例子中的constraint中只约束了src，所以只随机了src。
• 若constraint中有一个约束不合适导致随机失败，那么constraint中的所有变量都会随机失败。
• 有一副扑克牌，rand的意思是每次随机抽出一张牌的概率永远是1/54，randc的意思是一直抽一副牌抽完一副牌之后重新换一副。（c代表cycle，即周期随机）。一般rand用的多，randc常用于周期遍历。

3. 约束

• AB。month的位宽限制其值只能是0~7.
  
• const只能在初始化赋初值。
  
  
• 0：=40意味着0被选中的可能是40个单位，[1:3]:=意味着123被选中的可能是60个单位
• [0:3]：/60表示123权重之和是60，每个都是20个单位
  
  
  
  
• constraint中所有的约束是并行执行的，并行约束，与谁先谁后没有关系
• 约束之间也可以嵌套，在一个constraint中也可以再有一个constraint，二者是平级的。
• 约束之间可以继承，父子约束不可以有冲突。对子类中的成员进行随机化时，两重约束都会生效。