Difference between simulation and real test.

I (too) think you should be more explicit with your case statement's 'default'. Why not:

default: Y=fer;

This line:

if (y==transfer && count==15) //This to reset the counter

stands out to me. 'y' is moved on to 'flush' when count = 14. So, I don't think this condition can ever be true.

On a more general note - use more descriptive signal/register names. I'd suggest 'y' and 'Y' are particularly poor. Use 'present_state' & 'next_state', as per your notes. Much clearer for anyone reviewing or you coming back to your code later.