Typescript Dynamic Array Systemverilog Chipverify Svmc