Systemverilog Array Sum Constraint Adalah