"Solve before not allowed on empty array"问题

barbossa · 发表于 2022-3-1 09:39:13

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

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

x

请教一下各位，下面的代码理论上应该是没有什么问题的，但是用xrun跑会报问题，请教一下怎么解决？跟版本有关？

//***********************
rand bit [7:0] data [][];
rand bit [2:0] b_size;
rand bit [3:0] b_len;
constraint data_size {
      /*  solve order constraints  */
      solve b_len before data;
      solve b_size before data;

      /*  rand variable constraints  */
      data.size() == b_len+1;
      foreach (data[i] )
         data[i].size() == 2**b_size;
}
//***********************

报的log：
      solve b_len before data;
                           |
xmsim: *E,RNDCNSTE (./transaction.sv,62|30): Randomization constraint has this error, which will cause the randomize function to return 0 and no new rand values will be set:
Solve before not allowed on empty array.

eaglezhang01 · 发表于 2022-3-1 11:05:11

动态数组用之前不应该先new【】吗，这里换成queue是不是也能实现你的功能，换成queue后before data换成before data.size（）应该就可以了

笃定 · 发表于 2022-3-1 15:27:28

本帖最后由笃定于 2022-3-1 15:43 编辑

试一下这个rand bit [7:0] data [][];
rand bit [7:0] data [][];
rand bit [2:0] b_size;
rand bit [3:0] b_len;
constraint data_size {
      /*  solve order constraints  */
      solve b_len before data;
      solve b_size before data;

      /*  rand variable constraints  */
      b_len -> data.size() == b_len+1;
      foreach (data )
          b_size -> data.size() == 2**b_size;
}