System verilog constraint

[ajay_garg]

Hi Guyz,

I need help in writing constraint for a 3x3 matrix which is of bit type and i need to constraint it in such a manner, that sum of all elements of 3x3 matrix is 6.
Note. I am not able to do sum on this two dimensional matrix within constraints as .sum is applicable to single dimension.
Share your codes please.

[dave_59]

Problem array

In reply to peter: You have two problems. The array reduction methods like sum() all work on one dimension of an array. You need to sum() the sum() of each dimension. The other problem is the result of a relational operator is a single bit, true or false. You need to cast the result to a larger width. m.sum(d1) with (d1.sum(d2) with (int'(d2>4))