OVM验证的一个问题

macrohard · 发表于 2011-7-21 09:58:06

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

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

×

用OVM 构造一个以太网packet 的class，

包长度在【64：1518】随机变化，

再约束包的数据内容为增量，

rand bit [7:0] data[];

constraint payload_size_c { data.size inside { [64 : 1518]};}

constraint length_c {  length == data.size; }

   constraint data_c {  foreach ( data [ i ] ) data[i] == i ; }

现在的问题是：

仿真时，如果data 动态数组的长度上限为260左右时，仿真结果正确，

超过260. 则经常出现所有的rand 类型的变量都为0 ，

感觉是对包的长度的约束和内容的约束有冲突，

不能同时设置，

请问有遇到这个问题的同学吗？

hi_johnson · 发表于 2011-7-21 10:50:45

问题应该出在这句上：
constraint data_c { foreach ( data [ i ] ) data[i] == i ; }
改成：
constraint data_c { foreach ( data [ i ] ) data[i] == i %256 ; }
就可以了吧。

应为 “==" 约束是双向的，如果i 大于256的话，就会超出bit [7:0] 所能表达的范围，造成
data_c 无解，就会产生错误。

macrohard · 发表于 2011-7-21 10:59:55

谢谢回复，

我测试一下。。。

macrohard · 发表于 2011-7-21 11:45:30

问题应该出在这句上：
constraint data_c { foreach ( data [ i ] ) data == i ; }
改成：
constr ...
hi_johnson 发表于 2011-7-21 10:50

登录/注册后可看大图

测试了，

还是有问题，

估计不是因为这个的缘故，

rand bit [7:0] data [];

bit[7:0] 是数组的 packed 的部分，

而 constraint data_c { foreach ( data [ i ] ) data == i ; } 约束的是 data 数组的 unpacked 的部分 data [];

将其改为 rand byte data [] ;

也还是一样，

可能是多重约束的运行时间的冲突，

因为不是所有包的都有问题，

超过260以后 2个正确包中间会夹杂几个包长和内容都为0的包

hi_johnson · 发表于 2011-7-21 11:55:56

呵呵，你改成rand bit [15:0] data [] ;试试。
我用vcs验证过的，或许是你的仿真软件的问题，或许是ovm本身的问题，或许是我错了，呵呵。。。

macrohard · 发表于 2011-7-21 13:56:20

呵呵，你改成rand bit [15:0] data [] ;试试。
我用vcs验证过的，或许是你的仿真软件的问题，或许是ovm本身 ...
hi_johnson 发表于 2011-7-21 11:55

登录/注册后可看大图

谢谢，

改成rand bit [15:0] data [] 确实没有rand 变量初始化为0的问题了，

不过这会不会影响 do_pack 呢？

修改原来的约束constraint data_c { foreach ( data [ i ] ) data == (i % 256) ; } 为什么没有效果呢？