Array constraint. Each row total should be 100, with each element less than 80. I want to understand how to do this using only sum method of array

SystemVerilog
, , ,
7

In reply to dave_59:

Thanks Dave. Now I understand

  1. simple sum of elements in a row

array1[i].sum with (int'(item)) == 100;
  1. sum of row with restriction on element selection

array1[i].sum with ((item inside {[0:7], [78:83], 90, 10}) ? item : 101) == 100;

and 3) sum with repetition of some specific elements


array1[i].sum with (int'(item)) == 100;
array1[i].sum with ((item == 10) ? 1 : 0) == 2;