我們在工作中常常會針對數組施加各式的約束，下面列舉一下有趣的Systemverilog數組約束示例：

1、如何約束動態數組的最后一個元素為特定值。（事先不知道數組的大小）

randintsome_dynamic_array[];
constraint last_elem_c {
  some_dynamic_array[some_dynamic_array.size() - 1] == 5;
}

constraint last_elem_c {
  foreach(some_dynamic_array[i])
    if (i == some_dynamic_array.size() - 1)
      some_dynamic_array[i] == 5;
}

constraint contains_c {
  2 inside { some_dynamic_array };
}

constraint not_contains_c {
  !(2 inside { some_dynamic_array });
}

constraint all_elems_unique_c {
  unique { some_dynamic_array };
}

constraint all_elems_unique_c {
  foreach (some_dynamic_array[i])
    foreach (some_dynamic_array[j])
      if (i != j)
        some_dynamic_array[i] != some_dynamic_array[j];
}

rand bit[9:0][3:0] some_packed_array, some_other_packed_array;


constraint packed_arrays_equal_c {
  some_packed_array == some_other_packed_array;
}

rand bit[3:0] some_unpacked_array[10], some_other_unpacked_array[10];


constraint unpacked_arrays_equal_c {
  foreach (some_other_unpacked_array[i])
    some_other_unpacked_array[i] == some_unpacked_array[i];
}

審核編輯：劉清