compiled and tested (in modelsim) fill_fifo_fsm.v