Analysis

Basic steps for analysis:

  1. Write logic expressions for the next-state (Y) and the output (z) in terms of the current state (y) and the input (w)
  2. Construct the excitation table (aka transition table)
  3. Obtain a flow table (similar to state table for SSC)
  4. Draw a state diagram if desired

Synthesis

  1. Devise a state diagram
  2. Derive a flow table (and reduce the number of states if possible)
  3. Perform the state assignment and derive the excitation table
  4. Obtain the next-state and the output expressions
  5. Construct a circuit to implement these expressions