FSM design procedure: state diagram to encoded state transition table
6 – Sequential Logic Implementation
Tabular form of state diagram
Like a truth-table (specify output for all input combinations)
Encoding of states: easy for counters – just use value