State Machines using VHDL