Constraint for sum of products

SystemVerilog
,
6

In reply to csivas@gmail.com:

there was a typo in my code and yours

  constraint sum_product_c {dataq1.sum(q1) with (int'(q1)*int'(dataq2[q1.index])) < 100000; }

should work