Intel Corporation interview question

System Verilog Assertions- FIFO Based