随机一个数组，只要有两个0出现，在第三个0出现前必须有个1

枫舞

如何写约束实现如下，随机一个数组，数组的值的范围是[0:5]，只要有两个0出现，在第三个0出现前必须有个1，谢谢！

目前只能写出 foreach(array[i]) {if(i > 2) (array[i] | array[i-1] | array[i-2]) != 0;}   但是数组中运行的值不仅仅有0和1，还有其他值，所以这条约束就不大适用了。

枫舞

   

akqkq 发表于 2025-7-20 16:56
但你可以分两次随机，先随机好这3N个数，然后来随机其他的由它们决定的其他值，这个类似于pre-randomize
...

嗯嗯，谢谢

枫舞

   

我是刀客的刀 发表于 2025-7-21 11:52
lenRange = 1000;//随机数组的长度
bit[2:0] curArray[$];
for(int i=0;i=3)begin

谢谢！

我是刀客的刀

lenRange = 1000;//随机数组的长度
bit[2:0] curArray[$];
for(int i=0;i<lenRange;i++)begin
    curArray.push_back($urandom_range(0,5));
    if(i>=3)begin
         if(curArray[i-1]==0&&curArray[i-2]==0)begin
             curArray[i] = 3'b1;
         end
    end
end

akqkq

   

枫舞 发表于 2025-7-18 17:20
谢谢，有这样考虑过。但是transaction中其实还有其他变量数组，当array中的值为0或者1，或者2时，同时约 ...

但你可以分两次随机，先随机好这3N个数，然后来随机其他的由它们决定的其他值，这个类似于pre-randomize

枫舞

   

akqkq 发表于 2025-7-17 20:05
我提供个思路：你先正常随机，然后遍历这个array，找到第三个0，然后把这个0 replace成1 。然后counter置0  ...

谢谢，有这样考虑过。但是transaction中其实还有其他变量数组，当array中的值为0或者1，或者2时，同时约束其他值的随机，好像不能单独的修改这个值。

枫舞

   

daviehj 发表于 2025-7-17 15:10
再一条约束把值圈死，应该就可以 foreach(xxx) {xxx inside {[0:1]};

这个应该可以，我试一下，谢谢

communicator

先随机出来，在根据规则进行后处理是一个好的思路

akqkq

我提供个思路：你先正常随机，然后遍历这个array，找到第三个0，然后把这个0 replace成1 。然后counter置0 ，循环这个操作，直到array的尾巴

daviehj

再一条约束把值圈死，应该就可以 foreach(xxx[i]) {xxx[i] inside {[0:1]};