Typescript Dynamic Array Systemverilog Chipverify Digital