Magic square on system verilog

[dave_59]

In reply to rag123:

I believe you want

constraint c1 {foreach (a[i,])
 if (i==0||i==1){ a[i].sum() with (int'(item)) == 8'd15 ;}