System Verilog Array Constraints Definition Biology