Circuitos digitais
Circuitos sequenciais síncronos
Mário Serafim Nunes Guilherme Silva Arroz
Sistemas Digitais - Taguspark
Considerações gerais Modelos de Mealy e de Moore Projecto de circuitos sequenciais síncronos
Usando lógica discreta Usando ROMs
Mário Serafim Nunes Guilherme Silva Arroz
2010/2011
2
1
11/23/10
Sistemas Digitais - Taguspark
Um contador ou um registo como os que foram estudados são circuitos sequenciais síncronos. O estado do circuito é garantido por uma configuração de estados de flip-flops e essa configuração pode ser alterada, tendo em conta o estado presente e as entradas, no momento em que surge o flanco activo do impulso de relógio – a sincronização. De um ponto de vista formal, um circuito sequencial síncrono é a implementação física de uma máquina de estados.
Mário Serafim Nunes Guilherme Silva Arroz
2010/2011 3
Sistemas Digitais - Taguspark
Uma máquina de estados é definida pelos seguintes seis componentes: As possíveis combinações de entradas que controlam a máquina de estados. As possíveis combinações de saídas que são geradas pela máquina de estados. O conjunto de estados da máquina.
Mário Serafim Nunes Guilherme Silva Arroz
2010/2011
4
2
11/23/10
Sistemas Digitais - Taguspark
A função de transição de estados, que determina de que modo a máquina evolui entre estados, de acordo com o estado presente e a combinação presente nas entradas. A função de saída, que determina qual a saída gerada pela máquina para um dado estado e uma dada combinação de entradas. O estado inicial no qual a máquina de estados deve iniciar o seu funcionamento.
Mário Serafim Nunes Guilherme Silva Arroz
2010/2011
5
Sistemas Digitais - Taguspark
Considere-se a máquina de estados correspondente a um contador binário de 3 bits bidireccional com indicação de ter chegado ao fim da contagem. A