Array Initialization In System Verilog Assertion Past