projectode

1
Necessidade de Executar
Tarefas Sequencialmente no

esistemasseq
Tempo

quenciaisdig
1FF armazena 1
ais : Y2007/08

bit

gitais
Flip-Flop’s Memória
# de FF depende
p
mas Digita

do mod.
ho, J.P. @ Sistem

Contadores! Sem entradas

lógicas (além do
clock ;) )

O módulo do contador é
n=[log2(N+1)]
igual
gua ao número
ú e o de es
estados
ados
Coelh

estáveis (N)
 projectode
2
ex. contador síncrono mod-4 e capacidade 3 : 0, 1, 2, 3, 0, 1, ...

esistemasseq
Quantos Flip-Flop’s??

quenciaisdig
ais : Y2007/08

Máquinas de

gitais
Diagrama de Estados Estados Finitos
mas Digita
ho, J.P. @ Sistem

A/00 B/01 C/10 D/11 Estado

Designação
g ç Saída
do Estado
Transição
Coelh

Associar a cada um dos estados (A,B,C e D) um estado do sistema (FF’s)

 projectode
3
Atribuição dos Estados

esistemasseq
ex:
A 00

quenciaisdig
B 01 00/00 01/01 10/10 11/11
ais : Y2007/08

C 10

gitais
D 11 saídas=[ Q1 : Q0 ]

A 11
mas Digita

B 10 11/00 10/01 01/10 00/11

C 01
ho, J.P. @ Sistem

D 11
saídas=[ Q1 : Q0 ]
A 10
B 11
10/00 11/01 00/10 01/11
C 00
Coelh

D 01
saídas=[ Q1 : Q0 ]
 projectode
4
Nos projectos levados a cabo considerou-se sempre:
SAÍDAS = ESTADOS

esistemasseq
ex. contador que efectue a contagem Diferentes atribuições
ç =>

quenciaisdig
-> 15, 16, 17, 15, 16, 17,... diferentes circuitos lógicos
ais : Y2007/08

Do diagrama de estados
estados...

gitais
saídas=[ Q1 : Q0 ]
mas Digita

00/00 01/01 10/10 11/11

ho, J.P. @ Sistem

À tabela de transição de estados

Elementos de
memória: JK, SR,
D
Coelh
 projectode
5
Admitindo Flip-flop’s D...

esistemasseq
quenciaisdig
ais : Y2007/08

gitais
Das equações de excitação ...
mas Digita
ho, J.P. @ Sistem

Ao circuito lógico!
Coelh
 projectode
6
Um sistema sequencial pode possuir outros graus de liberdade que não
o “clock”!!!!!!

esistemasseq
Bloco combinatório
- conjunto de portas lógicas

quenciaisdig
- possui linhas de entrada e de saída
ais : Y2007/08

+ responsáveis pela admissão de

informação
ç

gitais
+ alteração de um qualquer estado
físico do sistema a controlar.
mas Digita

Um processo sequencial exige a memorização de estados anteriores do

ho, J.P. @ Sistem

sistema - bloco de registo

1. Passar das especificações verbais para um diagrama de estados

2. Construir a Tabela de Estados
3. Selecção dos Elementos de Memória
4. Simplificação
p ç das Equações
q ç de Excitação
ç
Coelh

5. Implementação do Circuito Sequencial

 projectode
7
EXEMPLO #1:
Contador Up/Down mod-4

esistemasseq
Variável de entrada:
- U/~D (‘1’ contagem ascendente e ‘0’ contagem descendente

quenciaisdig
Estado Presente Entrada Estado Seguinte
ais : Y2007/08

Q1n Q0n U /D Q1n+1 Q0n +1

A/00
0 0 0 1 1

gitais
0 0 1 0 1 0 1
0 1 0 0 0
0 1 1 1 0
B/01
mas Digita

1 0 0 0 1
1 0 1 0
1 0 1 1 1
1 1 0 1 0 C/10
ho, J.P. @ Sistem

1 1 1 0 0
0 1
Flip-Flop’s D
D/11
Coelh
 projectode
8
EXEMPLO #2
Automatização de uma linha de produção

esistemasseq
Considere uma etapa de produção de uma fábrica de engarrafamento
de água
água. Pretende-se desenvolver um circuito digital capaz de

quenciaisdig
controlar, de forma automática, o processo de enchimento das
ais : Y2007/08

garrafas. Para isso, o sistema possui três sensores, dois de posição (A

e B) e um de nível (C), e dois actuadores, uma electro-válvula
electro válvula V e o

gitais
motor do tapete rolante M. Inicialmente o tapete rolante movimenta-se
até que uma garrafa assuma a posição de enchimento. Considera-se
que a g
q garrafa está bem p posicionada q
quando o sensor B ficar activo
mas Digita

depois de A. Nesse instante o motor pára e a válvula abre dando início

à operação de enchimento. Essa operação é terminada quando o
sensor de nível ficar activo.
ho, J.P. @ Sistem
Coelh
 projectode
9

Diagrama
g de Estados Fluxograma
g

esistemasseq
Estados :
0XX Rectângulos
g

quenciaisdig
11X
Linhas de
ais : Y2007/08

Transmissão
00/10
Variáveis de

gitais
Decisão:
10X Losango
mas Digita

XX1 X0X 01/10

ho, J.P. @ Sistem

11X

10/01

XX0
Coelh
 projectode
10
Tabela de Estados

esistemasseq
Estado Presente Entradas Estado Seguinte Saídas

Q1n Q0n A B C Q1n+1 Q0n+1 M V

quenciaisdig
0 0 0 X X 0 0 1 0
0 0 1 1 X 0 0 1 0
ais : Y2007/08

0 0 1 0 X 0 1 1 0
0 1 X 0 X 0 1 1 0

gitais
0 1 0 X X 0 1 1 0
0 1 1 1 X 1 0 1 0
1 0 X X 0 1 0 0 1
mas Digita

1 0 X X 1 0 0 0 1
ho, J.P. @ Sistem

E
Equações
õ d de E
Excitação
it ã

Considerando Flip-Flop’s tipo D...

D = Q n +1
Coelh
 projectode
11

esistemasseq
quenciaisdig
ais : Y2007/08

D1 = Q0n ⋅ C ⋅ Q1n + A ⋅ B ⋅ Q1n ⋅ Q0n

gitais
Circuito Digital
mas Digita
ho, J.P. @ Sistem

D0 = Q1n ⋅ Q0n ⋅ A + A ⋅ B ⋅ Q1n

Coelh

Nota: As saídas dependem apenas

M = V = Q1 dos estados!!!!!!
 projectode
12
A MÁQUINA DE ESTADOS FINITOS

esistemasseq
Número de estados >1

quenciaisdig
simultâneos possíveis? Redes de PETRI
ais : Y2007/08

utilizada na teoria da

gitais
computação
mas Digita

=1
Máquina de Estados Finita
ho, J.P. @ Sistem

a k a Máquina de estados ou
a.k.a
“Automata”
tantos estados quantas situações
distintas
conceito de estado como
informação sobre o historial
Coelh

saída=f(estados presentes,entradas) MEMÓRIA

 projectode
13
A MÁQUINA DE ESTADOS FINITOS

esistemasseq
Representação de Máquinas de Estados

quenciaisdig
ais : Y2007/08

gitais
Matriz de Transições
mas Digita

Diagrama de Estados
ho, J.P. @ Sistem

utiliza dois símbolos:
- círculos - representa estado
- arcos - representam transições
Coelh
Tipos de Acções:
- Acesso – quando entra num estado
- Saída – quando sai de um estado
- Entrada – quando uma condição de
entrada é verdadeira
 projectode
14
MODELOS BÁSICOS DE MÁQUINA DE ESTADOS FINITOS:
MÁQUINA DE MOORE E MEALY

esistemasseq
Dois Paradigmas da Computação Sequencial

quenciaisdig
Máquina de MOORE:
ais : Y2007/08

Até ao momento: Saídas apenas função dos estados

Saídas=f(Estados)
( )

gitais
O valor da entrada em n+ apenas X
mas Digita

se reflecte em n+1 !!!

A/Z B/Z
ho, J.P. @ Sistem

Saídas=f(Estados,Entradas)
X/Z
Coelh

Máquina de MEALY: A B
Saídas função dos estados e das entradas
 projectode
15
X
Máquina de MOORE:

esistemasseq
A transferência dos estados presentes
A/Z B/Z
para os seguintes depende apenas de
X (e do clock!)

quenciaisdig
A variável de saída (Z) depende apenas
ais : Y2007/08

do estado presente
Simbolismos Distintos:

gitais
S íd d
Saída definida
fi id no iinterior
i d do estado
d VVs.
Saída definida na transição
Máquina de MEALY:
Nos arcos estão definidas as entradas
mas Digita

X/Z e saídas: “1/0” designa que o símbolo

“1” causa o símbolo “0” como saída
A variável de saída (Z) depende do
A B estado presente e da entrada
ho, J.P. @ Sistem

V t
Vantagens M
Moore M l
Mealy
- Detecção de falhas + evidente - Menos estados
Coelh

- Maior robustez
 projectode
16
EXEMPLO #1:
Porta de um Elevador

esistemasseq
Variáveis de entrada:
- Sensor de Porta Aberta (PA) - Sensor de Porta Fechada (PF)

quenciaisdig
- Interruptor para Fechar (IF) - Interruptor para Abrir (IA)
ais : Y2007/08

Var. de Saída:

gitais
- Fecha Porta (FP) - Abre Porta (AP)

MOORE
mas Digita

D FP AP
PF
Estados: IF
A – Porta Aberta IA
ho, J.P. @ Sistem

B – Porta Fechada
IA A FP AP B FP AP IF
C – Porta a Abrir
D – Porta a Fechar
IF
PA
Coelh

IA
A FP AP
 projectode
17
Variáveis de entrada:
- Sensor de Porta Aberta (PA) - Sensor de Porta Fechada (PF)

esistemasseq
- Interruptor para Fechar (IF) - Interruptor para Abrir (IA)
Var de Saída:
Var.

quenciaisdig
ais : Y2007/08

- Fecha Porta (FP) - Abre Porta (AP)

gitais
MEALY IF FP AP
mas Digita
ho, J.P. @ Sistem

PF FP AP A B PA FP AP
Coelh

IA FP AP
 projectode
18
EXEMPLO #2:
Detector de Sequência

esistemasseq
Desenvolver um sistema capaz de detectar que uma determinada
sequência foi introduzida. Neste caso quando a entrada aplicada tiver a
sequência ‘111’
111

quenciaisdig
Variáveis:
ais : Y2007/08

1 entrada ((X),
) 1 saída ((Z))

gitais
Se Z=1 a sequência foi detectada
caso contrário Z=0
mas Digita

MOORE

1 1 1
ho, J.P. @ Sistem

0 A/0 B/0 C/0 D/1 1

0 0
0
Coelh
 projectode
19
MEALY

esistemasseq
1/0 1/0

quenciaisdig
0/0 A B C 1/1
ais : Y2007/08

0/0 0/0

gitais
Realizar:
mas Digita

Fluxograma....
ho, J.P. @ Sistem

Tabela de Transição de Estados....

Circuito Lógico
g
Coelh