【验证小bai】systemverilog constraint中，约束越界时可取区间的真实权重分布

简单来说，场景可以归纳为这样：

对于一个8bit的值，如果做如下约束：

data dist {[8'hAB:32'FFFFFFFF]:/10, 8'hAA:/10};

 那么数据落在蓝色区间，即8'hFF~8'hAB之间的真是权重是多少呢？

50%，为了确定我的记忆没错，我跑了两千个包，最后的统计结果为：1015；

可见constraint中有边界外的区间时，vcs应该是将边界外的区间去除，并将预定的权重加之于该区间的有效区间上。