Done with FIFO.v and test_FIFO.v