arrays - 整数の配列が特定の範囲内になるように制約する

Question

全て、

byte my_array [0:8]たとえば、配列内のすべての要素をループして、値を 1 から 9 の範囲内に制限する SystemVerilog 制約を考え出そうとしています。次のようなものです。

restrict: assume property (
    foreach(my_array[i]) my_array[i] inside {[1:9]}
);

上記はパーサーによって受け入れられません。助けてください！ループ内で 9 つの制約を生成できますが、もっと洗練されたものにしたいと考えています。したがって、以下は現在の回避策です。

genvar i;
 for (i=0; i<=8; i++) begin : legal_nums
  restrict: assume property (
   my_array[i] inside {[1:9]}
 ); 
end : c

ありがとう！

Answer 1

generateプロパティを記述しているため、ステートメントを使用する必要があります。私はこれを少し前に行いましたが、多くの調査の結果、これが可能な唯一の方法でした。