主页 / coding / 问题 / 79274820
Accepted
rx123
Asked: 2024-12-12 18:54:22 +0800 CST

设置约束随机求解器的起始位置

  • 772
class square;
    
    rand bit arr [3][3];
    
    function void pre_randomize();
      arr[0][1] = 1;
      $display ("%p",arr);
    endfunction
       
    constraint ab_c {
      foreach (arr[i,j]) {
        if (arr[i][j] == 1) {
          if (i > 0 && j > 0 && j < 2 && i < 2) { arr[i+2][j-1] == 1;
          }
          else arr[i][j] == 0;
        }
      }
    }

我有一个 3x3 数组，我想创建一个模式，当arr[0][1](起始位置) 为 1 时，我希望将其设置arr[2][0]为 1。约束求解器似乎在随机化后将pre_randomize值设置arr[0][1]为 0。这是预期的吗？

system-verilog

1 个回答

  1. Best Answer

    当foreach循环到达时arr[0][1]，第一个if条件为真。但是，第二个if条件为假，因为 i=0。这意味着条件else被执行：

          else arr[i][j] == 0;

    设置arr[0][1]为 0：

          else arr[0][1] == 0;

    由于缩进和括号使用不一致，您的约束代码很难理解。

    • 0

相关问题