Design procedure Specification Formulation - Obtain a state digram or state table State Assignment - Assign binary codes to the states Filp-Flop Input Equation Determination - Select flip-flop types and derive flip-flop equations from next state entries in the table Output Equation Determination - Derive output equations from output entries in the table Optimization - Optimize the equations Tech..