Constraint

SystemVerilog
,
5

In reply to dave_59:

So the iterator is here for packed dimension? So effectively this rolls up into


(int'(reg_a[0][j])+int'(reg_a[1][j])...int'(reg_a[23][j])) ==1

Also how is this different from the below constraint?

foreach(reg_a[j]) reg_a.sum() with (int'(item[j])) == 1;