rand bit data[100]如何约随机一位是1剩下的都是0

yd452133823 · 发表于 2020-7-10 15:35:27

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

rand bit data[100]如何约随机一位是1剩下的都是0

dtyuzhou · 发表于 2020-7-10 16:07:11

data.sum() with (int'(item)) == 1

phoenixson · 发表于 2020-7-10 17:19:24

另外的思路 rand int x;
constraint t {x>=0 && x <=99;}
after randomize..execute below contest...
foreach (data[i])
if(i==CLASSA.x) data[i]=1;
else data[i]=0;

yd452133823 · 发表于 2020-7-11 09:26:51

phoenixson 发表于 2020-7-10 17:19
另外的思路 rand int x;
constraint t {x>=0 && x

十分感谢

yd452133823 · 发表于 2020-7-11 09:27:54

dtyuzhou 发表于 2020-7-10 16:07
data.sum() with (int'(item)) == 1

十分感谢，能请问int'(item)是什么意思么

dtyuzhou · 发表于 2020-7-11 18:16:57

yd452133823 发表于 2020-7-11 09:27
十分感谢，能请问int'(item)是什么意思么

类型转换用的，有的仿真软件的约束求解器，在位宽转换上做的不好，可能会任务sum的结果是1bit就可以，所有可能求和的结果可能不是你想要的，在用多bit位求和或者int直接求和的时候都需要注意这个问题的

yd452133823 · 发表于 2020-7-11 20:06:46

dtyuzhou 发表于 2020-7-11 18:16
类型转换用的，有的仿真软件的约束求解器，在位宽转换上做的不好，可能会任务sum的结果是1bit就可以，所 ...

实在是太感谢了

himingway · 发表于 2020-7-12 10:41:53

yd452133823 发表于 2020-7-11 09:27
十分感谢，能请问int'(item)是什么意思么

data的元素类型是int

vulture09 · 发表于 2020-9-29 17:56:24

仅仅围观

[原创] rand bit data[100]如何约随机一位是1剩下的都是0

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

站长推荐 /1