Moore/Mealy Requirement VHDL