This video deals with the synthesis of sequential logic circuits. The synthesis of sequential logic with flip-flops, explicit and implicit FSM, an example of synthesis of counters, are elaborated.