Static Array Vs Dynamic Array Systemverilog Constraints