Typescript Dynamic Array Systemverilog Verification