circuito combinacional síncrono.

máquina de estados finita que depende das entradas.

máquina de estados finita que depende das entradas e uma tabela-verdade que define a saída em função do estado.

atribuição das entradas em uma representação de estado.

tabela-verdade que define a saída em função das entradas.