UVM 验证中Ethernet 包的随机化问题

macrohard

转验证，又要学很多东西了，

现在做一个Ethernet包的激励，

数据数组

    rand bit [7:0] data[];

    constraint payload_size_c { data.size inside { [46 : 1500]};}
。。。
        foreach(data[i])
          packer.pack_field_int(data[i],8);


但data数组内涵的loop variable i 只能与data 的位宽相同，

即 8位，

不能完整的表示整个随机化的Ethernet包，

请问这个问题如何解决？

谢谢～

macrohard

up...

seabeam

没看懂，为什么i要和data的位宽相同？不是i的位宽能表示完data的深度就可以了么？42亿个数还不够啊？

macrohard

回复 3# seabeam


    Systemverilog 的IEEE 规范里这么表述的，

测试中确实 data 数组只有 8位宽，就是 256 的深度。。。

seabeam

回复 4# macrohard

兄弟，位宽和深度是两个概念。。。

macrohard

回复  macrohard

兄弟，位宽和深度是两个概念。。。
seabeam 发表于 2015-2-11 23:02

                               
登录/注册后可看大图

    这个做过FIFO 的都晓得啊，

问题是 Systemverilog 的规范：

The number of loop variables must match the number of dimensions of the array variable

macrohard

有没有实际做过的啊？

seabeam

回复 7# macrohard

复制一下LRM(2012)在12.7.3的原话吧：The number of loop variables shall not be greater than the number of dimensions of the array variable.
关键点我红色高亮了。number of loop variables指循环变量的个数，例如：
foreach (a)，这里只有i一个loop variable,所以个数是1.再看另一个例子：
foreach (b[i, j])，这里有两个loop variable,所以个数是2.

举个例子，在使用foreach语句时，访问一维数组不能使用两个循环变量，LRM这句话只是想说：
对于一个数组bit a[5],不能以
foreach (a [i, j])
的形式访问

macrohard

回复 8# seabeam


    谢谢回复，

不过好像这样的理解规范没必要单独指出吧，

搞验证的应该都不会明明 2维数组非要搞3个loop variable。




实际这样定义过，

data【】 的前256个元素可正确随机化，后面的通过loop variable加的约束都没有起效， 全部为0 。

seabeam

回复 9# macrohard

你那么描述问题就好办多了。你可以把你的transaction实例化个inst,然后调用randomize()方法，之后马上foreach (inst.data) $display("%0d: %0h", i, inst.data);
里面是有数的。也许是你别的程序语句影响了。