System-verilog constraint for 2D array, where value of an element should not match to any of its neighbors

SystemVerilog
,
4

In reply to dave_59:

In reply to gst_beginner :

constraint not_neighbor { foreach (arr[i][j]) {
i>0 && j>0             -> arr[i][j] != { arr[i-1][j-1];
i>0 &&                 -> arr[i][j] != { arr[i-1][j];
i>0 && j< $size(arr,2)-1 -> arr[i][j] != { arr[i-1][j+1];
... // I'll let you fill this in
i<$size(arr,1)-1 && j< $size(arr,2)-1 -> arr[i][j] != { arr[i+1][j+1];
} }

DO check this for proper operator precedence.

Hi Dave,

How to constraint the size of 2-D array, in this case, how do I define the size of arr in this constraint?

thanks
charlie