Synchronous FIFO - verilog (with test file)