Typescript Dynamic Array Systemverilog Chipverify Svmcm