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

SystemVerilog
,
5

In reply to dave_59:

Hi Dave,


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];
        j>0                    ->  arr[i][j] != arr[i][j-1];
        j< $size(arr,2)-1      ->  arr[i][j] != arr[i][j+1]; 
        i>0 && j>0             ->  arr[i]j] != arr[i+1][j-1]; 
        i<$size(arr,1)-1      ->  arr[i]j] != arr[i+1][j];
        i<$size(arr,1)-1 && j< $size(arr,2)-1 -> arr[i][j] != { arr[i+1][j+1];
} }

question:
j< $size(arr,2)-1 → what does this do?

Did i fill in right above?

Thanks
Neelima