Mealy ElevatorController VHDL