Synchronous Finite State Machines

Synchronous finite state machines have one clock net routed to all flip-flops.

Outputs can be Mealy or Moore.