SystemVerilog验证测试平台编写指南第六章随机化测试指南下
发布时间
阅读量：
阅读量
6.11 约束的技巧和技术
6.11.1 使用变量的约束
在进行随机赋值时可以通过设定变量的上限来限制其取值范围这一技术手段以确保系统的稳定性与可靠性。
例如6.33 通过设定变量的上限实例说明了该种方式的有效性与适用性
class bounds；
rand int size；
int max_size=100;
constraint c_size {
size inside {[1:max_size]};
}
endclass通过调整变量max_size的值来影响随机变量size的上限。在dist约束中使用变量可以启用或禁用某些值或范围。例6.34 带有权重变量的dist约束
typedef enum {READ8， READ16，READ32} read_e;
class ReadCommands;
rand read_e read_cmd;
int read8_wt=1, read16_wt=1, read32_wt=1;
constraint c_read {READ8:=read8_wt,
READ16:=read16_wt,
READ32:=read32_w全部评论 (0)
还没有任何评论哟~