如何在SystemVerilog约束中动态切片打包数组？

我需要基于另一个打包数组的动态切片内容，随机化多个打包数组，但遇到了切片宽度不固定的问题。以下是我期望实现的代码示例（当前无法运行）：

class some_class;
  
  rand bit [31:0] full_value;
  rand bit [31:0] upper_masked;
  rand bit [15:0] lower;
  rand int upper_width;
  rand int lower_width;
  
  constraint widths_cnstr {
    upper_width inside {[1:16]};
    lower_width inside {[1:16]};
  }
  
  constraint slice_cnstr {
    upper_masked[31-:upper_width] == full_value[31-:upper_width];
    lower == full_value[31-upper_width -: lower_width];
  }

  function new ();
  endfunction

endclass

上述代码的一种预期结果为：

upper_width == 8;
lower_width == 3;
full_value == 32'hABABCDCD;
upper_masked == 32'hAB000000;
lower == 3'h5;

对于upper_masked的约束，我可以用移位操作替代：

upper_masked >> (32 - upper_width) == full_value >> (32 - upper_width);

但处理lower时情况更复杂，需要移位后生成动态宽度掩码，若右侧也涉及动态切片则更棘手。我希望找到更优的约束实现方式，也就是实现类似以下逻辑的约束：

some_arr[M:N] == other_arr;  // 或
some_arr[M:N] == other_arr[X:Y];

解决方案1：逐位循环匹配约束 #

SystemVerilog约束支持循环语句，通过逐位遍历可以精准实现动态切片的相等逻辑，同时能灵活控制未匹配位的取值。修改后的slice_cnstr如下：

constraint slice_cnstr {
  // 匹配upper_masked的高位upper_width位，其余位清零
  foreach (upper_masked[i]) {
    if (i >= (32 - upper_width)) {
      upper_masked[i] == full_value[i];
    } else {
      upper_masked[i] == 0;
    }
  }
  // 从full_value中截取对应位置的lower_width位赋值给lower，多余位清零
  foreach (lower[j]) {
    if (j < lower_width) {
      lower[j] == full_value[(32 - upper_width) - j];
    } else {
      lower[j] == 0;
    }
  }
}

这种方式逻辑直观，不受切片宽度变化的影响，适合复杂的动态切片场景。

解决方案2：移位+掩码组合实现 #

对于需要截取中间切片的场景，移位+掩码的方式逻辑更紧凑，无需逐位循环：

constraint slice_cnstr {
  // upper_masked保留高位upper_width位，低位清零
  (upper_masked >> (32 - upper_width)) == (full_value >> (32 - upper_width));
  upper_masked[31 - upper_width : 0] == 0;

  // lower截取full_value中对应位置的lower_width位，多余位清零
  (lower >> lower_width) == 0;
  (full_value >> (32 - upper_width - lower_width)) & ((1 << lower_width) - 1) == lower;
}

核心逻辑是通过右移将目标切片移至最低位，再用(1 << lower_width) - 1生成对应宽度的全1掩码，截取目标位后与lower比较。

通用动态切片约束模板 #

如果要实现更通用的跨数组动态切片匹配，比如some_arr[start : start - width + 1] == other_arr[0 : width - 1]，可以用以下模板：

constraint dynamic_slice_cnstr {
  foreach (some_arr[i]) {
    if (i >= (start - width + 1) && i <= start) {
      some_arr[i] == other_arr[start - i];
    }
  }
}

若要实现两个数组的动态切片互匹配，只需调整循环中的索引映射关系即可。

内容的提问来源于stack exchange，提问作者Sierra