04 - Máquinas Sequenciais Síncronas - Modelo de Moore

Universidade Federal de Santa Catarina
Centro Tecnológico
Departamento de Informática e Estatística
Curso de Graduação em Ciências da Computação
Sistemas Digitais
INE 5406
Aula 4-T
4. Máquinas Seqüencias Síncronas: Síntese de circuitos
seqüenciais segundo o Modelo de Moore. Codificação de
estados.
Prof. José Luís Güntzel

guntzel@inf.ufsc.br
www.inf.ufsc.br/~guntzel/ine5406/ine5406.html
2. Máquinas Seqüenciais Síncronas
Modelo de Moore
Característica principal: as saídas dependem apenas do estado atual.
Variáveis do próximo estado
Entradas i1 i2 im
Flip-flops de estados
ck
primárias (registrador de estados)
D1 Q1 Saídas primárias
FF1
Q1
o1
Lógica de D2 Q2 Lógica de
Próximo FF2 o2
Saída
Q2
Estado
...
oj
D3 Q3
FF
n Q3
Variáveis do estado atual

INE/CTC/UFSC slide 4T.2 Prof. José Luís Güntzel
Sistemas Digitais - semestre 2008/2
Síntese de Circuitos Seqüenciais
Roteiro para a Síntese (=Projeto)
1. Determinar quantos estados são necessários (e o no de
variáveis de estado)
2. Construir o diagrama de estados, observando com cuidado o
comportamento solicitado para a FSM e adotando um modelo
de FSM (Moore ou Mealy):
• Determinar as transições entre estados necessárias
• Selecionar um estado para servir como estado inicial
3. Construir a tabela de próximo estado e a tabela das saídas
4. Sintetizar (projetar) os circuitos combinacionais: lógica de
próximo estado e lógica de saída.
Vejamos um exemplo…
Exemplo 3: w z
circuito
Projete um circuito que satisfaça às seguintes especificações: ck
1.O circuito possui uma entrada, w, e uma saída, z.
2.Todas as mudanças de valores no circuito ocorrem na borda de subida do sinal de relógio.
3.Quando o circuito detetar que a entrada w vale “0”, a saída z deve valer “0” no ciclo de
relógio seguinte. Porém, quando o circuito detetar que a entrada w vale “1” durante duas
bordas de relógio consecutivas, a saída z deve passar a valer “1” no ciclo de relógio
seguinte à segunda ocorrência do valor “1”. As mudanças de z estão sincronizadas com a
borda de relógio ativa.
t0 t1 t2 t3 t4 t5 t6 t7 t8 t9
Exemplo de
funcionamento:
w

Exemplo 3: Diagrama de Estados
reset
w=1
w=0
A/z=0 B/z=0
w=0
w=0 w=1
C/z=1
w=1

Exemplo 3: Tabelas de (Transição de) Estados e de Saída
Tabela de (transição de) estados
reset
w=1
Estado Próximo
Tabela de saída
w
B/z=0
atual estado
A/z=0
Estado z
w=0 A 0 A
w=0 A 0
A 1 B
w=1
w=0 B 0
B 0 A
C/z=1 C 1
B 1 C
C 0 A
C 1 C
w=1

Exemplo 3: Diagrama de Blocos
Sinais de entrada: w
w
Sinais de saída: z
Número de estados: 3
⇒ Logo, são necessários Y0 y0
2 flip-flops para lógica de
D0 Q0
FF0
lógica de
armazenar as variáveis próximo saída z
estado
de estado Y1 y1
D1 Q1
FF1
ck
Reset

Exemplo 3: Assinalamento de Estados
Supondo o seguinte assinalamento: A=00, B=01, C=10
Estado Próximo Estado atual Próximo estado

w w
atual estado y1y0 Y1Y0
A 0 A A 00 0 00 A
A 00 1 01 B
A 1 B
B 01 0 00 A
B 0 A
B 01 1 10 C
B 1 C
C 10 0 00 A
C 0 A
C 10 1 10 C
C 1 C - 11 0 XX -
- 11 1 XX -

Exemplo 3: Projetando a lógica de próximo estado
y1y0 w Y1Y0 Y1 y1y0 y1y0 y1y0 y1y0
00 0 00
w 0 0 X 0 Y1 = w·y1 + w·y0
00 1 01
0 1 X 1 = w (y1+y0)
01 0 00 w
01 1 10
10 0 00 w·y0 w·y1
10 1 10
11 0 XX Y0 y1y0 y1y0 y1y0 y1y0
11 1 XX 0 0 X 0
w
Y0 = w·y1·y0
w 1 0 X 0
w·y1·y0
Exemplo 3: Projetando a lógica de saída
Estado z
y1y0 z y0 y0
A 00 0
y1 0 0 z = y1
B 01 0
C 10 1 y1 1 X
11 X
y1

Exemplo 3: circuito final
Y1 y1
D1 Q1 z
Q1
Y1 = w·y1 + w·y0
Y0 D0 Q0
y0 = w (y1+y0)
w
Q0
Y0 = w·y1·y0
z = y1
ck
reset

Exemplo 3: Funcionamento dinâmico
t0 t1 t2 t3 t4 t5 t6 t7 t8 t9
y0
A B A B C A B C C A
y1

Roteiro Revisitado para a Síntese (=Projeto)
1. Determinar quantos estados são necessários (e o no de variáveis
de estado)
2. Construir o diagrama de estados, observando com cuidado o
comportamento solicitado para a FSM e adotando um modelo
de FSM (Moore ou Mealy):
• Determinar as transições entre estados necessárias
• Selecionar um estado para servir como estado inicial
3. Construir a tabela de próximo estado e a tabela das saídas
4. Escolher uma codificação para os estados e definir o tipo de
flip-flops para compor o registrador de estados.
5. Sintetizar (projetar) os circuitos combinacionais: lógica de
próximo estado e lógica de saída.
Exemplo 4:
Projetar o “circuito de controle” que permita realizar um swap entre R1 e R2,
utilizando R3 como temporário. (Desconsiderar outras possíveis operações.)
barramento
ck
R1 R2 R3
R1in R1out R2in R2out R3in R3out

Done
w Circuito de controle

Exemplo 4:
Para realizar o swap entre R1 e R2 no circuito abaixo, é necessário realizar a
seguinte seqüência de “transferências entre registradores”:
1. R3 ← R2;
2. R2 ← R1; barramento
3. R1 ← R3;
ck
R1 R2 R3

Done

Exemplo 4:
Supondo que o sinal “w” indique o início da operação swap, é possível criar
um diagrama de estados para controlar tal seqüência:
Reset
barramento
A w=0
w=1 ck
R1 R2 R3
B R3 ← R2;
C R2 ← R1; R1in R1out R2in R2out R3in R3out

Done
D R1 ← R3;

Exemplo 4: Diagrama de estados e sinais de saída
barramento
Reset
ck
R1 R2 R3
A w=0
w=1

B R3 ← R2;
Done
C R2 ← R1;
Estado: Operação: Sinais de saída que devem valer “1”
A -----
D R1 ← R3; B R3 ← R2; R2out = 1; R3in = 1;
C R2 ← R1; R1out = 1; R2in = 1;
D R1 ← R3; R3out = 1; R1in = 1; Done = 1;
Exemplo 4: Tabela de Sinais de Saída
Estado: Operação: Sinais de saída que devem valer “1”
Reset
A -----
A w=0 B R3 ← R2; R2out = 1; R3in = 1;
w=1 C R2 ← R1; R1out = 1; R2in = 1;

D R1 ← R3; R3out = 1; R1in = 1; Done = 1;
B R3 ← R2;
C R2 ← R1; R1out R1in R2out R2in R3out R3in Done
A 0 0 0 0 0 0 0
B 0 0 1 0 0 1 0
D R1 ← R3;
C 1 0 0 1 0 0 0
D 0 1 0 0 1 0 1

Exemplo 4: Tabela de (Transição de) Estados
Reset
A w=0
w=1 Estado Próximo

w
atual estado
B A 0 A
A 1 B
B X C
C
C X D
D X A

Exemplo 4: Diagrama de Blocos
Sinais de entrada: w
Sinais de saída: z w
Número de estados: 4
⇒ Logo, são
necessários 2 flip- Y0 y0 R1out
D0 Q0
flops para armazenar lógica de FF0 R1in
as variáveis de estado próximo lógica de R2out
estado
Y1 y1 saída
D1 Q1 R2in
FF1
R3out
R3in
Done
ck
Reset

Exemplo 4: Assinalamento de Estados
Supondo o Seguinte Assinalamento: A=00, B=01, C=10, D=11

w w
atual estado y1y0 Y1Y0
A 0 A A 00 0 00 A
A 1 B A 00 1 01 B
B X C B 01 X 10 C
C X D C 10 X 11 D
D 11 X 00 A
D X A

Exemplo 4: Projetando a lógica de próximo estado
Estado atual Próximo estado Y1 y1y0 y1y0 y1y0 y1y0

w
y1y0 Y1Y0 y1· y0
w 0 1 0 1
A 00 0 00 A
A 00 1 01 B w 0 1 0 1
B 01 X 10 C
C 10 X 11 D y1· y0 Y1 = y1· y0 + y1· y0 = y1 ⊕ y0
D 11 X 00 A
Y0 y1y0 y1y0 y1y0 y1y0
y1· y0
w 0 0 0 1
1 0 0 1 w·y0
w
Y0 = w· y0 + y1· y0

Exemplo 4: Projetando a lógica de saída
Estado
R1out R1in R2out R2in R3out R3in Done
y1y0
A 00 0 0 0 0 0 0 0
B 01 0 0 1 0 0 1 0
C 10 1 0 0 1 0 0 0
D 11 0 1 0 0 1 0 1
R1out = R2in = y1 · y0
R1in = R3out = Done = y1 · y0

Exemplo 4: Circuito de controle, versão 1
Y1 y1 R1in
D1 Q1 R3out
Q1
Done
R2out
R3in
Y0 D0 Q0
y0
w
Q0
R1out
R2in
ck
Reset
Exemplo 4: Circuito de controle, versão 2
R2out
R3in
Y1 y1 R1in
D1 Q1 R3out
Q1
Done
R1out
R2in
Y0 D0 Q0
y0
w Conclusão: para redução do
Q0
custo, a lógica de próximo estado
ck e a lógica de saída podem
Reset compartilhar termos.

Codificação de Estados
Exemplo 3, Porém Codificando os Estados com o Código Gray:
A=00, B=01, C=11
Estado atual Próximo estado Estado z

w
y1y0 Y1Y0 y1y0
A 00 0 00 A A 00 0
A 00 1 01 B B 01 0
B 01 0 00 A - 10 X
B 01 1 11 C C 11 1
- 10 0 XX -
- 10 1 XX -
C 11 0 00 A
C 11 1 11 C

A=00, B=01, C=11
Estado atual Próximo estado Y1

w y1y0 y1y0 y1y0 y1y0
y1y0 Y1Y0
A 00 0 00 A w 0 0 0 X Y1 = w·y0
A 00 1 01 B w 0 1 1 X
B 01 0 00 A
B 01 1 11 C w·y0
- 10 0 XX -
- 10 1 XX -
C 11 0 00 A w 0 0 0 X
Y0 = w
C 11 1 11 C 1 1 1 X
w
w
A=00, B=01, C=11
y1y0 z z y0 y0
00 0 z = y1
01 0 y1 0 0
10 X y1 X 1
11 1
y1
Coincidentemente, a equação de saída não mudou.

A=00, B=01, C=11
Y1 y1 Y1 = w · y0
D1 Q1 z
Y0 = w
Q1 z = y1
Y0 y0
w D0 Q0
Q0
ck
reset

Assinalamento A=00, B=01, C=10 Assinalamento A=00, B=01, C=11
Y1 y1
D1 Q1 z
Y1 y1 z Q1
D1 Q1
Q1
Y0 y0
w D0 Q0
Y0 D0 y0 Q0
w Q0
Q0
ck
reset
ck
Y1 = w· (y1 + y0) Y1 = w · y0
reset
Y0 = w·y1·y0 Y0 = w
z = y1 z = y1

A=00, B=01, C=11, D=10
Estado Próximo
w Estado atual Próximo estado
atual estado w
y1y0 Y1Y0
A 0 A A 00 0 00 A
A 1 B A 00 1 01 B
B X C B 01 X 11 C
C X D D 10 X 00 A
D X A C 11 X 10 D

A=00, B=01, C=11, D=10
Estado atual Próximo estado
w
y1y0 Y1Y0 0 1 1 0 Y1 = y0
w
A 00 0 00 A
w 0 1 1 0
A 00 1 01 B
B 01 X 11 C
y0
D 10 X 00 A
C 11 X 10 D
w 0 1 0 0
w · y1 w 1 1 0 0
y1· y0 Y0 = w· y1 + y1· y0

A=00, B=01, C=11, D=10
Estado
R1out R1in R2out R2in R3out R3in Done
y1y0
A 00 0 0 0 0 0 0 0
B 01 0 0 1 0 0 1 0
D 10 0 1 0 0 1 0 1
C 11 1 0 0 1 0 0 0
R1in = R3out = Done = y1 · y0

Assinalamento A=00, B=01, C=10, D=11 Assinalamento A=00, B=01, C=11, D=10
Y1 = y1· y0 + y1· y0 Y1 = y0
Y0 = w· y0 + y1· y0 Y0 = w· y1 + y1· y0
R1out = R2in = y1 · y0 R1out = R2in = y1 · y0

R1in = R3out = Done = y1 · y0 R1in = R3out = Done = y1 · y0
R2out = R3in = y1 · y0 R2out = R3in = y1 · y0

Codificação “One-Hot”
• Consiste em usar tantas variáveis de estado quantos forem os

estados
• Cada estado é codificado de modo que somente uma das
variáveis de estado vale “1” e todas as demais valem “0”

Aplicando a Codificação “One-Hot” ao Exemplo 3:
A=001, B=010, C=100

w w
atual estado y2 y1 y0 Y2 Y1 Y0
A 0 A A 001 0 001 A
A 001 1 010 B
A 1 B
B 010 0 001 A
B 0 A
B 010 1 100 C
B 1 C
C 100 0 001 A
C 0 A
C 100 1 100 C
C 1 C
As combinações de entrada não citadas

têm como próximo estado XXX
A=001, B=010, C=100

w Y2
y2 y1 y0 Y2 Y1 Y0 y2y1 y2y1 y2y1 y2y1
y0·w
A 001 0 001 A y0w X 0 X 0
A 001 1 010 B
y0w X 1 X 1
B 010 0 001 A
B 010 1 100 C y0w 0 X X X
C 100 0 001 A y0w 0 X X X
C 100 1 100 C

A=001, B=010, C=100

w Y1
y2 y1 y0 Y2 Y1 Y0 y2y1 y2y1 y2y1 y2y1
A 001 0 001 A y0w X 0 X 0
A 001 1 010 B y0·w
y0w X 0 X 0
B 010 0 001 A
B 010 1 100 C y0w 1 X X X
C 100 0 001 A y0w 0 X X X
C 100 1 100 C

A=001, B=010, C=100
Estado atual Próximo estado w

w Y0
y2 y1 y0 Y2 Y1 Y0 y2y1 y2y1 y2y1 y2y1
A 001 0 001 A y0w X 1 X 1
A 001 1 010 B
y0w X 0 X 0
B 010 0 001 A
B 010 1 100 C y0w 0 X X X
C 100 0 001 A y0w 1 X X X
C 100 1 100 C

A=001, B=010, C=100
Estado z z
y2 y1 y0 y2y1 y2y1 y2y1 y2y1
A 001 0 X 0 X 1 z = y2
y0
B 010 0 0 X X X
y0
C 100 1
y2
As combinações de entrada
não citadas têm como saída X

Assinalamento A=00, B=01, C=10
Y1 = w· (y1 + y0)
Y0 = w·y1·y0
z = y1
Assinalamento A=00, B=01, C=11 (Código Gray)

Y1 = w · y0
Y0 = w
z = y1
Codificação “One Hot”

Y2 = y0 · w
Y1 = y0 · w
Y0 = w
z = y2


04 - Máquinas Sequenciais Síncronas - Modelo de Moore

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

04 - Máquinas Sequenciais Síncronas - Modelo de Moore

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade Federal de Santa Catarina

Prof. José Luís Güntzel

Variáveis do estado atual

INE/CTC/UFSC slide 4T.4 Prof. José Luís Güntzel

INE/CTC/UFSC slide 4T.5 Prof. José Luís Güntzel

INE/CTC/UFSC slide 4T.6 Prof. José Luís Güntzel

INE/CTC/UFSC slide 4T.7 Prof. José Luís Güntzel

Estado Próximo Estado atual Próximo estado

INE/CTC/UFSC slide 4T.8 Prof. José Luís Güntzel

INE/CTC/UFSC slide 4T.10 Prof. José Luís Güntzel

INE/CTC/UFSC slide 4T.11 Prof. José Luís Güntzel

INE/CTC/UFSC slide 4T.12 Prof. José Luís Güntzel

R1in R1out R2in R2out R3in R3out

INE/CTC/UFSC slide 4T.14 Prof. José Luís Güntzel

R1in R1out R2in R2out R3in R3out

INE/CTC/UFSC slide 4T.15 Prof. José Luís Güntzel

C R2 ← R1; R1in R1out R2in R2out R3in R3out

INE/CTC/UFSC slide 4T.16 Prof. José Luís Güntzel

R1in R1out R2in R2out R3in R3out

w=1 C R2 ← R1; R1out = 1; R2in = 1;

C R2 ← R1; R1out R1in R2out R2in R3out R3in Done

INE/CTC/UFSC slide 4T.18 Prof. José Luís Güntzel

w=1 Estado Próximo

INE/CTC/UFSC slide 4T.19 Prof. José Luís Güntzel

INE/CTC/UFSC slide 4T.20 Prof. José Luís Güntzel

Estado Próximo Estado atual Próximo estado

INE/CTC/UFSC slide 4T.21 Prof. José Luís Güntzel

Estado atual Próximo estado Y1 y1y0 y1y0 y1y0 y1y0

INE/CTC/UFSC slide 4T.22 Prof. José Luís Güntzel

INE/CTC/UFSC slide 4T.23 Prof. José Luís Güntzel

INE/CTC/UFSC slide 4T.25 Prof. José Luís Güntzel

Estado atual Próximo estado Estado z

INE/CTC/UFSC slide 4T.26 Prof. José Luís Güntzel

Estado atual Próximo estado Y1

Coincidentemente, a equação de saída não mudou.

INE/CTC/UFSC slide 4T.28 Prof. José Luís Güntzel

INE/CTC/UFSC slide 4T.29 Prof. José Luís Güntzel

INE/CTC/UFSC slide 4T.30 Prof. José Luís Güntzel

INE/CTC/UFSC slide 4T.31 Prof. José Luís Güntzel

INE/CTC/UFSC slide 4T.32 Prof. José Luís Güntzel

INE/CTC/UFSC slide 4T.33 Prof. José Luís Güntzel

R1out = R2in = y1 · y0 R1out = R2in = y1 · y0

INE/CTC/UFSC slide 4T.34 Prof. José Luís Güntzel

• Consiste em usar tantas variáveis de estado quantos forem os

INE/CTC/UFSC slide 4T.35 Prof. José Luís Güntzel

Estado Próximo Estado atual Próximo estado

As combinações de entrada não citadas

Estado atual Próximo estado

INE/CTC/UFSC slide 4T.37 Prof. José Luís Güntzel

Estado atual Próximo estado

INE/CTC/UFSC slide 4T.38 Prof. José Luís Güntzel

Estado atual Próximo estado w

INE/CTC/UFSC slide 4T.39 Prof. José Luís Güntzel

INE/CTC/UFSC slide 4T.40 Prof. José Luís Güntzel

Assinalamento A=00, B=01, C=11 (Código Gray)

Codificação “One Hot”

INE/CTC/UFSC slide 4T.41 Prof. José Luís Güntzel

Você também pode gostar