Delphi Setlength Dynamic Array Systemverilog Assertions