FSM: Definition•An FSM has the following components:–A set of states–A set of inputs–A set of outputs–A state transition function (of the states and inputs)–An output function•Moore machine: of the states only•Mealy machine: of the states and inputs•An FSM is synchronousif all changes to memory (state) occur at the same time determined by a global system clock•Represented by a state diagram–States (Circles, labeled with output (Moore))–Transitions (Arcs, labeled with input values and output (Mealy))–Clock is typically not shownCS310 Fall 2010 -BoralExample 1: 2-Bit Counter•Counter starts at 0 (green), increments each time the clock cycles, overflowing back to 0 when it gets to 3HoldLoldHnewLnew0001011010111100CS310 Fall 2010 -Boral