8x8 matrix constraint

SystemVerilog
7

In reply to n347:

I meant I had to write out the 9 terms in one single equation, I couldn’t use a for loop to gather the terms. That would be more useful if the matrix sizes were parametrizable. Probably could get the array op() reduction operator to do this, but I don’t have the time or energy to do that.
The 36 3X3 matrixes would be easier to write the constraints

constraint mat_c{
 foreach(matrix3x3[g,h])
      maxtrix3x3[g][h].or(iD) with (iD.or(jD) with (jD != FALSE));
}

But tying that to the 8x8 would be more difficult and too many constraints.