Queue Array In Systemverilog Assertions And Functional Coverage