Professional Documents
Culture Documents
Machine de Mealy.
Ltat futur est calcul partir des entres et de ltat prsent.
Les sorties dune machine de Mealy dpendent de ltat prsent et des entres.
Mmorisation synchrone des
tats (cd sur un front dhorloge).
La sortie dpend directement de
lentre et ceci indpendamment
de lhorloge (clk).
Entres
Combinatoire
des tats
Etat futur
Sortie asynchrone.
Nombre dtats plus rduit que
pour une machine de Moore.
Il est possible de resynchroniser
la sortie au besoin en ajoutant des
bascules D.
clk
Mmorisation
tat (registre)
Etat prsent
Combinatoire
de la sortie
Sorties
Machine de Mealy
Exemple : Machine de Mealy reconnaissant la squence 10
E = 1 / S <= 0
E = 0 / S <= 0
Etat 0
reset
E = 1 / S <= 0
E = 1 / S <= 0
Etat 1
Condition de
validation de
la transition
Affectation
de la valeur
0 la sortie
E = 0 / S <= 1
clk
E
Etat prsent
Etat 0
Etat 1
Etat 0
S
2
Entres
Combinatoire
des tats
Etat futur
clk
Mmorisation
tat (registre)
Etat prsent
Combinatoire
de la sortie
Sorties
Machine de Moore
Exemple : Machine de Moore reconnaissant la squence 10
E = 1
E = 0
E = 0
E = 1
Etat 0
Etat 1
Etat 2
S <= 0
S <= 0
S <= 1
reset
E = 1
E = 0
clk
E
Etat prsent
Etat 0
Etat 1
Etat 2
Etat 0
S
4
Entres
Combinatoire
des tats
Etat futur
clk
Mmorisation
tat (registre)
Etat prsent
Combinatoire
de la sortie
Sorties
E = 0 / S <= 0
E = 1 / S <= 0
Etat 0
reset
end if;
E = 1 / S <= 0
Etat 1
E = 0 / S <= 1
Entres
Combinatoire
des tats
case Etat_present is
Etat futur
clk
Mmorisation
tat (registre)
Etat prsent
Combinatoire
de la sortie
E = 0 / S <= 0
E = 1 / S <= 0
Etat 0
Sorties
E = 1 / S <= 0
Etat 1
E = 0 / S <= 1
Entres
Combinatoire
des tats
case Etat_present is
Etat futur
clk
Mmorisation
tat (registre)
Etat prsent
Combinatoire
de la sortie
E = 0 / S <= 0
E = 1 / S <= 0
Etat 0
Sorties
E = 1 / S <= 0
Etat 1
E = 0 / S <= 1
Entres
Combinatoire
des tats
Etat futur
clk
Mmorisation
tat (registre)
Etat prsent
Combinatoire
de la sortie
Sorties
E = 1
E = 0
end if;
E = 0
E = 1
Etat 0
Etat 1
Etat 2
S <= 0
S <= 0
S <= 1
reset
E = 1
E = 0
Entres
Combinatoire
des tats
Etat futur
clk
Mmorisation
tat (registre)
Etat prsent
Combinatoire
de la sortie
E = 1
E = 0
Sorties
E = 0
E = 1
Etat 0
Etat 1
Etat 2
S <= 0
S <= 0
S <= 1
reset
E = 1
E = 0
10
Combinatoire
des tats
Etat futur
clk
case Etat_present is
when Etat0 => S <= '0';
Mmorisation
tat (registre)
Etat prsent
Combinatoire
de la sortie
Sorties
E = 1
E = 0
E = 0
E = 1
Etat 0
Etat 1
Etat 2
S <= 0
S <= 0
S <= 1
reset
E = 1
E = 0
11
12