Typescript Dynamic Array Systemverilog Chipverify Svalbard