format ppt

©Pierre Marchand, 2001 166
Objectifs :
Àla fin ce cette unité, vous comprendrez le fonctionnement des circuits
séquentiels (à mémoire) utilisés dans les ordinateurs.
Pour y arriver, vous devrez avoir atteint les objectifs suivants :
- décrire le fonctionnement d'un automate fini;
- distinguer un circuit asynchrone d'un circuit synchrone;
- synthétiser un circuit séquentiel synchrone simple;
- analyser un circuit séquentiel synchrone simple.
Unité 6: Logique séquentielle

©Pierre Marchand, 2001 167
5.3 Circuits séquentiels
Dans les circuits combinatoires, les signaux de sortie ne dépendent
que des signaux d ’entrée présents au même instant.
Dans les circuits séquentiels, il y a de la rétroaction : les signaux de
sortie ne dépendant pas uniquement des entrées, mais aussi de leur
séquence. Le circuit se rappelle des entrées et des états antérieurs :
il aune mémoire du passé.
L’étude des circuits combinatoires repose sur l’algèbre de Boole.
Celle des circuits séquentiels repose sur la théorie des automates
finis.
Unité 6: Logique séquentielle

©Pierre Marchand, 2001 168
5.3 Circuits séquentiels
5.3.1 Concept d’automate fini
Un automate fini possède un nombre fini d’éléments et de mémoires.
Un automate fini ne peut prendre que 2nétats appelés états internes,
où nest le nombre de bits de mémoire.
On peut caractériser un automate par :
•Sa fonction de transfert
•Sa table de transition
•Son diagramme d’états ou de transition
Unité 6: Logique séquentielle

©Pierre Marchand, 2001 169
5.3 Circuits séquentiels
5.3.1 Concept d’automate fini
Exemple :
Diagramme d’état ou de transition
Unité 6: Logique séquentielle
q=0 q=1
entrée / sortie
1/0
0/1
0/0 1/1
Fonction de transfert :
q(t+1) = e(t)
s(t) = q(t)
état état
Table de transition
q(t) e(t) 0 1
0 0 1
1 0 1
q(t) e(t) 0 1
0 0 0
1 1 1
q(t+1)
s(t)

©Pierre Marchand, 2001 170
5.3 Circuits séquentiels
5.3.1 Concept d’automate fini
Automate de Moore
q(t+1) = f [e(t), q(t)]
s(t) = g[q(t)]
Unité 6: Logique séquentielle
Logique
combinatoire
e(t) s(t)
Logique
combinatoire
État q(t)
Les états futurs dépendent des entrées présentes e(t) et des états
internes présents q(t).
Les sorties ne dépendent que des états internes présents q(t).