Constrain the number of occurrences in an array

SystemVerilog
, ,
4

In reply to Bahaa Osman:

FYI, i had to cast to int for this to work correctly


constraint add_less_than_5 {(c_inst.sum() with (int'(item.e == ADD))) <= 5)}