IC 验证人员,关于随机约束的一个说明;