随机化策略——randomized strategy; random variable rand; constraint; weight dist; random number generation examples

文章目录

• 一、随机变量类型
• • 1.1.rand与randc随机变量
  • 1.2.constraint指定约束范围

第二部分：随机化约束操作
第2.1节：关系操作符约束（包括大于号>、小于号<等）
第2.2节：范围操作符约束（如位于内部inside）
第2.3节：权重分布约束（dist）
第2.4节：条件约束（通过if-else结构或->运算符处理）
第2.5节：双向约束
第2.6节：Onehot约束
第2.7节：内嵌式随机化处理机制 randomize( )与{ }结合使用
第2.8节：solve...before限制器——调控数值出现频率（参考下一部分内容）

第三部分：开启随机化功能 —— randomize()函数用于执行操作；
第四部分：调节设置以控制随机变量与约束 —— rand_mode() 和 constraint_mode()分别负责相应的管理；
第五部分：代码示例 —— 通过均匀分布生成数值，并根据权重进行调整；

第三段：开启随机制动功能 —— randomize() 函数用于实现操作；
第四段：配置参数以开关随机制动与约束关系 —— rand_mode() 和 constraint_mode() 分别处理相关设置；
第五段：代码范例 —— 利用均匀分布生成数值，并按权重进行调整；

为什么要采用随机化验证策略？