約束整數在一定範圍內的數組

Question

全部，

我試圖想出一個SystemVerilog約束，它將用於例如byte my_array [0:8]循環通過陣列中的所有元素，以限制它們的值是從1到9的東西等的範圍內：

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語句。我之前做過這個，經過大量研究，這是唯一可能的方法。