Using sum() to Calculate the Sum of a 2D Array

SystemVerilog
,
9

In reply to dave_59:

In reply to amy992:
You need to explain what “doesn’t work” means. When I run this, I get

# m is '{'{1, 1}, '{1, -1}}
# n_sum is          50

I meant the constraint c1_2 cannot be satisfied using Incisive or VCS.

Basically what I would like to do is to put a constraint on the sum of a 2D array. Not sure what’s the best way to construct the constraint.