C4 Sequentielle

Logique squentielle
F. Touchard
Polytech Marseille IRM3 2012-2013
Cours d'Architecture
Logique squentielle
Introduction
circuits de logique squentielle : circuits dans lesquels le
temps intervient dans la dfinition des sorties
pour un systme dont l'tat est not Q, les entres notes
X et les sorties Y, on a de faon gnrale
Q = f(Q, X)
Y = g(X,Q)
logique squentielle asynchrone : les changements d'tat

des composants ne dpendent que du temps de raction
des composants et du temps de propagation des signaux
logique squentielle synchrone : les signaux priodiques
d'une horloge servent synchroniser tous les changements
d'tat
un systme squentiel "garde la mmoire" du pass pour
dterminer son tat prsent
F. Touchard
Logique squentielle
Plan du cours
F. Touchard
les bascules
les registres
les compteurs
Logique squentielle
Les bascules
bascule (flip-flop) : systme permettant de mmoriser une

information lmentaire
mmoire 1 bit ayant 2 tats : Q et Q

utilise un mcanisme de verrou (latch)
on peut vrifier que les tats sont cohrents
(Q=1)(B=1)(Q=0)(A=0)(Q=1)
(Q=0)(B=0)(Q=1)(A=1)(Q=0)
(Q=1,Q=0) : bistable
(Q=0, Q=1) "1"
2 tats seulement : "0"et
F. Touchard
Logique squentielle
Les bascules
Bascules R-S
F. Touchard
ralises avec des portes NOR ou NAND

portes NOR
sorties inchanges
Set : remise 1
Reset : remise 0
proscrire
Logique squentielle
Les bascules
F. Touchard
portes NAND
sorties inchanges
Set : remise 1
Reset : remise 0
proscrire
Logique squentielle
Les bascules
F. Touchard
reprsentation gnrique
sorties inchanges
Set : remise 1
Reset : remise 0
proscrire
Logique squentielle
Les bascules
Bascule RST :
bascule RS dans laquelle les entres R et S ne sont prises

en comptes que si elles sont en concidence avec un signal
de commande
bascule bloque quand le signal de commande est 0
si le signal de commande est fourni par une horloge :

bascule synchrone
Clk
Q
F. Touchard
Logique squentielle
Clk
R
Les bascules
signal de commande donn par une horloge de priode T

fournissant des impulsions
F. Touchard
La largeur tp des impulsions est suppose petite devant la

priode
Qn : valeur de la sortie Q pendant le nime intervalle prcdant
la nime impulsion
Qn+1 : valeur de la sortie dans l'intervalle suivant la nime
impulsion
Logique squentielle
Les bascules
t = nT + , quand Clk = 1
F. Touchard
si R = S = 0, la sortie de change pas

si S = 1 et R = 0, alors Q est force 1
si S = 0 et R = 1, alors Q est force 0
si S = 1 et R = 1, alors situation indtermine
Sn
Rn
Qn+1
Qn
Logique squentielle
10
Les bascules
bascule J-K
permet de lever l'ambigut des bascules RST
S = J.Q
R = K .Q
F. Touchard
Jn
Kn
Qn
Qn
Qn+1
Logique squentielle
11
Les bascules
F. Touchard
table de vrit rsultante

Jn
Kn
Qn+1
Qn
Qn
diagramme logique
Logique squentielle
12
Les bascules
F. Touchard
table de transition
Qn
Qn+1
Jn
Kn
Logique squentielle
13
Les bascules
table de transition
Qn
Qn+1
Kn
pour obtenir la transition 0 0
J = K = 0 maintient l'tat de la bascule 0

J = 0, K = 1 charge 0 dans la bascule (qui tait dj 0)
F. Touchard
Jn
on aura la transition 0 0 si J=0, quel que soit K
Logique squentielle
14
Les bascules
table de transition
Qn
Qn+1
Jn
Kn
pour obtenir la transition 0 0
J = K = 0 maintient l'tat de la bascule 0

J = 0, K = 1 charge 0 dans la bascule (qui tait dj 0)
F. Touchard
on aura la transition 0 0 si J=0, quel que soit K
Logique squentielle
15
Les bascules
F. Touchard
table de transition
Qn
Qn+1
Jn
Kn
Logique squentielle
16
Les bascules
expression de Qn+1 en fonction de Qn, J et K
partir de la table de vrit de la bascule J-K

Jn
Kn
Qn
Qn+1
on construit le tableau de Karnaugh

JK
Q
00
0
1
F. Touchard
01
11
10
1
Qn+1=Jn Qn +K n Qn
Logique squentielle
17
Les bascules
rle des entres Pr et Cr
Cr
proscrire
entres asynchrones (lorsque

Clk = 0), pour assigner l'tat
Q
initial de la bascule
en fonctionnement normal, elles doivent tre maintenues 1
S
Clk
R
F. Touchard
Pr
Pr
Cr
Q
Q
Logique squentielle
18
Les bascules
bascules J-K Matre-Esclave
on a construit les tables de vrit partir de la logique

combinatoire
mais il y a maintenant des conditions d'asservissement
entre les entres et les sorties
F. Touchard
supposons J=K=1 et Q=0
Logique squentielle
19
Les bascules

combinatoire
Jn
Kn
Qn+1
F. Touchard

quand le signal d'horloge
passe 1, Q va passer 1
le changement se produit
aprs un intervalle de temps t
Qn
Qn
on a alors J=K=Q=1 et le signal d'horloge est toujours 1

Q doit revenir 0 !
Logique squentielle
20
Les bascules

combinatoire
F. Touchard

quand le signal d'horloge
passe 1, Q va passer 1
le changement se produit
aprs un intervalle de temps t
on a alors J=K=Q=1 et le signal d'horloge est toujours 1
Q doit revenir 0 !
d'o des oscillations pendant la dure du signal d'horloge
Logique squentielle
21
Les bascules
solution au problme : au lieu d'un simple asservissement

(bascule J-K) on monte en cascade deux bascules R-S en
asservissant les entres de la premire (Matre) aux sorties
de la seconde (Esclave)
Horloges inverses pour le matre et l'esclave
F. Touchard
pendant la nime impulsion, le signal d'horloge est haut pour le

matre, bas pour l'esclave. Par consquent Qn est invariant
pendant la dure de tp et le problme prcdent est rsolu
Logique squentielle
22
Les bascules
l'tat de la sortie de la bascule matre QM est donn par

Jn
Kn
QM
Qn
Qn
quand le signal d'horloge revient 0 pour le matre qui

devient bloqu, l'esclave est libr et on a alors
(QM =1, QM =0)(S=1, R=0)(Qn+1 =1, Qn+1 =0)

(QM =0, QM=1)(S=0,R=1)(Qn+1 =0,Q n+1 =1)
F. Touchard
on a transfr l'tat de la bascule matre la bascule esclave
Logique squentielle
23
Les bascules
l'tat de la machine est transfr la machine esclave lors de

la transition 1 0 (front descendant du signal d'horloge)
les entres J et K qui dfinissent le nouvel tat des sorties
sont prise en compte pendant que le signal d'horloge est 1
ces signaux J et K doivent dont tre stables pendant que le
signal Clk est haut
F. Touchard
ils doivent tre stabiliss un

peu avant le front montant
et le rester un peu aprs le
front descendant
Logique squentielle
24
Les bascules
dclenchement sur le front montant ou descendant d'une

horloge
autre manire de rsoudre le problme d'oscillation de la

bascule J-K
circuit dtectant le front d'une transition
F. Touchard
produit en concidence avec le front montant ou descendant

de Clk une impulsion de largeur juste suffisante pour
permettre un basculement d'tat
utilise le retard induit par le franchissement d'un circuit
Logique squentielle
25
Les bascules
F. Touchard
impulsion fournie par les montages
Logique squentielle
26
Les bascules
F. Touchard
en introduisant un dtecteur de front entre l'horloge et la

bascule J-K, on choisit le front sur lequel on dclenche
les bascules dclenches

par un front montant ou
descendant sont
reprsentes par
Logique squentielle
27
Les bascules
bascule D
F. Touchard
permettent de gnrer un "retard" (delay) ou de stocker de

l'information (latch)
en envoyant une donne D sur l'entre J et son inverse sur
l'entre K
Logique squentielle
28
Les bascules
F. Touchard
partir de la table de vrit de la bascule J-K

Jn
Kn
Qn+1
Qn
Qn
on a
Dn = 1 (Jn = 1, Kn = 0) Qn+1 = 1
Dn = 0 (Jn = 0, Kn = 1) Qn+1 = 0
soit : Qn+1 = Dn
Logique squentielle
29
Les bascules
bascule T
F. Touchard
obtenue en appliquant les mmes valeurs aux deux entres

d'une bascule JK
Jn
Kn
Qn+1
Qn
Qn
si J = K = 0 alors Qn+1 = Qn
si J = K = 1 alors Qn+1 = Qn
Tn
Qn+1
Qn
Qn
Logique squentielle
30
Les registres
registre de mmorisation
association de n bascules D pour mmoriser n bits
les entres prsentes sur E0, E1, E2, E3 sont mmorises en

synchronisation avec le signal W
elles peuvent tre lues sur les sorties Q0, Q1, Q2, Q3 en
concidence avec le signal de validation R
F. Touchard
si les sorties se font sur un bus, portes 3 tats au lieu des ET
Logique squentielle
31
Les registres
registre dcalage
bascules D interconnectes de faon ce que l'tat de la

bascule de rang i soit transmis la bascule de rang i+1 (ou
i-1) quand un signal d'horloge est appliqu l'ensemble des
bascules
2 types d'entres
parallle, comme dans un registre de mmorisation

srie
F. Touchard
l'information est prsente

squentiellement bit aprs bit
la 1re bascule
chaque coup d'horloge, un
nouveau bit est prsent et ceux
dj chargs sont dcals d'un rang
Logique squentielle
32
Les registres
F. Touchard
l'information stocke dans un registre dcalage peut tre

lue de la mme manire, en srie ou en parallle
certains registres sont capables de dcaler droite ou
gauche (registres dcalage universels)
gnralement raliss avec des bascules du type matre

esclave D ou R-S
Logique squentielle
33
Les registres
entre srie - sortie parallle
pour transformer un codage temporel (succession des bits

dans le temps en codage spatial (information stocke dans
une mmoire statique
on peut utiliser aussi la sortie srie, avec ventuellement
des frquences d'horloge diffrentes en entre et en sortie
F. Touchard
le registre sert alors de mmoire tampon (buffer)
Logique squentielle
34
Les registres
entre parallle - sortie srie
'
exemple d'une entre parallle+srie et sortie srie
F. Touchard
Logique squentielle
35
Les registres
'
F. Touchard
si X=0, l'entre srie est inhibe et l'entre parallle est

valide
Logique squentielle
36
Les registres
'
F. Touchard
si X=1, l'entre parallle est inhibe et l'entre srie est

valide
permet de transformer un codage spatial en codage
temporel
Logique squentielle
37
Les registres
entre parallle - sortie parallle
la commande X permet
de slectionner le mode
de chargement
F. Touchard
X=0 Pr=Cr=1 fonctionnement normal des bascules

inhibition des entres parallles
Logique squentielle
38
Les registres
de chargement

X=1
F. Touchard
Ei=1
(Pr=0, Cr=1) Qi =1
Logique squentielle
39
Les registres
de chargement

X=1
F. Touchard
Ei=1
Ei=0
(Pr=0, Cr=1) Qi =1
(Pr=1, Cr=0) Qi =0
Logique squentielle
Qi = E i
40
Les registres
registre dcalage droite et gauche
Bascules RS
Rn
Sn
Qn+1
Qn
interdit
F. Touchard
mode de fonctionnement command par les entres S0 et S1
Logique squentielle
41
Les registres
Clk = H+S0S1 = H(S0 +S1 )
F. Touchard
Logique squentielle
42
Les registres
Clk = H+S0S1 = H(S0 +S1 )
F. Touchard
signal d'horloge inhib si S0 = S1 = 0
Logique squentielle
43
Les registres
slection du chargement parallle si
F. Touchard
S0 +S1 = S0S1 S0=S1 =1

lignes d'entres A, B, C, D valides
Logique squentielle
44
Les registres
slection du chargement parallle si
F. Touchard
S0 +S1 = S0S1 S0=S1 =1

entres E0 et E1bloques, liens Q-RS bloqus
Logique squentielle
45
Les registres
slection du dcalage droite (entre E1, sortie QD) si
F. Touchard
S0 = 1 et S1 = 0
entre E0 bloque, lien Q RS vers la droite
Logique squentielle
46
Les registres
slection du dcalage gauche si
F. Touchard
S0 = 0 et S1 = 1
entre E1 bloque, lien Q RS vers la gauche
Logique squentielle
47
Les registres
F. Touchard
en rsum :
S0
S1
registre bloqu
dcalage gauche
dcalage droite
chargement parallle
fonction
les registres dcalage permettent d'effectuer des

multiplications par 2 (dcalage d'un rang vers la gauche) ou
des divisions par 2 (dcalage d'un rang vers la droite)
Logique squentielle
48
Les compteurs
compteur : ensemble de n bascules connectes par des

portes logiques
dcrivent une squence dtermine (c'est--dire occuper
une suite d'tats binaires) au rythme d'une horloge
2n combinaisons possibles
les tats sont stables et accessibles entre deux
impulsions de l'horloge
N nombre total de combinaisons successives utilises N
2n : modulo du compteur
compteur asynchrones ou synchrones
F. Touchard
rversibles ou compteurs-dcompteurs
Logique squentielle
49
Les compteurs
compteurs asynchrones
F. Touchard
constitu de n bascules J-K fonctionnant en mode T

le signal d'horloge n'est reu que par le 1er tage (LSB)
le signal d'horloge des autres bascules est fourni par une
sortie de l'tage prcdent
Logique squentielle
50
Les compteurs
exemple
F. Touchard
compteur modulo 8 avec 3 bascules J-K matre-esclave
on suppose que initialement toutes les bascules sont 0

chaque fois que Q0 va passer de 1 0, Q1 va changer
chaque fois que Q1 va passer de 1 0, Q2 va changer
Logique squentielle
51
Les compteurs
F. Touchard
liste des tats successifs :

Impulsion
Q2
Q1
Q0
tat initial
on a ralis un compteur s'incrmentant de 1 chaque top

d'horloge
les sorties Q0, Q1, Q2 fournissent des horloges de priode T/2,
T/4 et T/8 (diviseurs de frquence)
Logique squentielle
52
Les compteurs
F. Touchard
dans une bascule matre-esclave, l'entre est valide sur le

front montant de l'horloge (stocke dans la bascule matre) et
l'tat final de la bascule est valid sur le front descendant de
l'horloge (transfert de l'tat de la bascule matre vers la
bascule esclave)
Logique squentielle
53
Les compteurs
compteur-dcompteur asynchrone
F. Touchard
compteur : dclenche chaque bascule quand celle de rang

infrieur passe de 1 0
dcompteur : il faut dclencher quand la bascule de rang
en utilisant la sortie Q
Logique squentielle
54
Les compteurs

la ligne de commande X permet de slectionner le mode :
F. Touchard
Logique squentielle
55
Les compteurs

Qi
Qi
F. Touchard
X=1 compteur
Logique squentielle
56
Les compteurs

Qi
Qi
F. Touchard
X=0 dcompteur
Logique squentielle
57
Les compteurs
remise zro et chargement d'un compteur
F. Touchard
en fonctionnement normal
DS = R = 1
J = K = Pr = Cr =1 sur chaque bascule
Logique squentielle
58
Les compteurs
F. Touchard
RAZ :
R = 0 J = K = 0 (interdit tout basculement sur Clk)
(Pr = 1, Cr = 0) Q = 0
Logique squentielle
59
Les compteurs
F. Touchard
Chargement : (DS = 0, R = 1)
J = K = 0 (interdit tout basculement sur Clk)
D = 0 (Pr = 1, Cr = 0) Q = 0
Logique squentielle
60
Les compteurs
F. Touchard
Chargement : (DS = 0, R = 1)
J = K = 0 (interdit tout basculement sur Clk)
D = 1 (Pr = 0, Cr = 1) Q = 1
dans les deux cas la bascule prend la valeur de D
Logique squentielle
61
Les compteurs
compteur cycle incomplet
F. Touchard
pour compter jusqu' un nombre N qui ne soit pas forcment

une puissance de 2 (10 par exemple)
compteur de n bascules avec 2n > N
et asservissement du Cr pour remettre le compteur 0 tous
les N coups
exemple : compteur modulo 10
Logique squentielle
62
Les compteurs
exemple : compteur modulo 10
F. Touchard
entre Cr 0 quand le compteur atteint 1010, soit 10102

Cr = Q3 . Q2 .Q1 . Q0
Cr = Q3 .Q1 (si Q2 ou Q0 taient 1 alors que Q3 et Q1 le sont,
alors le nombre correspondant serait > 10)
Logique squentielle
63
Les compteurs
inconvnient des compteurs asynchrones
cause du temps de rponse non nul des bascules, le signal

d'horloge ne parvient pas simultanment toutes les
bascules
exemple : passage de 0111 1000 sur un compteur modulo
16, avec un temps de rponse tT pour toutes les bascules
tT
on passe par les tats

transitoires 0110, 0100,
et 0000 qui sont faux
F. Touchard
Logique squentielle
64
Les compteurs
compteurs synchrones
F. Touchard
toutes les bascules reoivent en parallle le mme signal

d'horloge
pour faire dcrire au compteur une squence dtermine, il
faut dfinir les entres J et K de chaque bascule chaque
top d'horloge, en utilisant la table de transition des
bascules J-K
Qn
Qn+1
Jn
Kn
on peut choisir J = K
Logique squentielle
65
Les compteurs
exemple d'un compteur 3 bits selon le code binaire pur

#top
Q2
Q1
Q0
J2=K2
J1=K1
J0==K0
chaquelignecorrespondunemmetranchedetemps
F. Touchard
Logique squentielle
66
Les compteurs
table donnant la combinaison J-K qui permet de passer d'une

ligne la suivante
#top
Q2
Q1
Q0
J2=K2
J1=K1
J0==K0
F. Touchard
Logique squentielle
67
Les compteurs

ligne la suivante
#top
Q2
Q1
Q0
J2=K2
J1=K1
J0==K0
F. Touchard
Logique squentielle
68
Les compteurs

ligne la suivante
#top
Q2
Q1
Q0
J2=K2
J1=K1
J0==K0
F. Touchard
Logique squentielle
69
Les compteurs

ligne la suivante
#top
Q2
Q1
Q0
J2=K2
J1=K1
J0==K0
F. Touchard
Logique squentielle
70
Les compteurs
F. Touchard
on peut vrifier
J0 = K0 = 1
J1 = K1 = Q0
J2 = K2 = Q0 Q1
et plus gnralement :
J0 = K0 = 1
Ji = Q0Q1 ... Qi-1 = Ji-1 Qi-1
on peut procder de mme pour un dcompteur

#top
Q2
Q1
Q0
J2=K2
J1=K1
J0==K0
Logique squentielle
J0=K 0 =1
J1 =K 1=Q 0
J2 =K 2=Q 0Q1
Ji=Ji1Qi1
71
Les compteurs
F. Touchard
implmentation "report parallle"
Logique squentielle
72
Les compteurs
implmentation "report srie"
F. Touchard
on utilise la fonction Ji-1 qui permet d'viter des portes

entres multiples
mais il faut tenir compte du retard dans l'tablissement de Ji-1
impulsions d'horloge assez larges plus lent
Logique squentielle
73
Gnrateurs de squence
but : afficher une suite prdtermine de nombres

principe :
F. Touchard
crire la suite des transitions raliser

dterminer les entres des bascules qui vont raliser ces
transitions
exprimer ces entres en fonction des sorties attendues
Logique squentielle
74
exemple : raliser la squence

0
avec des bascules T
F. Touchard
Logique squentielle
75
exemple : raliser la squence

0
avec des bascules T

table d'volution
Sn
F. Touchard
Sn+1
tat
s
Q2
Q1
Q0
Q'2
Q'1
Q'0
T2
T1
T0
Logique squentielle
76
relations entre les entres T des bascules et les sorties
T0
T1
T2
F. Touchard
avec des tables de Karnaugh

Q0Q1
Q2
00
01
11
10
Q0Q1
Q2
00
01
11
10
Q0Q1
Q2
00
01
11
10
T0 =Q 2
T1=Q 0 +Q1
T 2=Q 0 Q1 +Q0 Q1 +Q 2
=Q0 Q1 +Q2
Logique squentielle
77
implmentation
Q0
Clk
Q1
Q2
Clk
Clk
F. Touchard
Logique squentielle
78
RAM

C4 Sequentielle

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

C4 Sequentielle

Uploaded by

Copyright:

Available Formats

Logique squentielle

Polytech Marseille IRM3 2012-2013

logique squentielle asynchrone : les changements d'tat

Polytech Marseille IRM3 2012-2013

Polytech Marseille IRM3 2012-2013

bascule (flip-flop) : systme permettant de mmoriser une

mmoire 1 bit ayant 2 tats : Q et Q

on peut vrifier que les tats sont cohrents

Polytech Marseille IRM3 2012-2013

ralises avec des portes NOR ou NAND

Polytech Marseille IRM3 2012-2013

Polytech Marseille IRM3 2012-2013

Polytech Marseille IRM3 2012-2013

bascule RS dans laquelle les entres R et S ne sont prises

bascule bloque quand le signal de commande est 0

si le signal de commande est fourni par une horloge :

Polytech Marseille IRM3 2012-2013

signal de commande donn par une horloge de priode T

La largeur tp des impulsions est suppose petite devant la

Polytech Marseille IRM3 2012-2013

si R = S = 0, la sortie de change pas

Polytech Marseille IRM3 2012-2013

permet de lever l'ambigut des bascules RST

Polytech Marseille IRM3 2012-2013

table de vrit rsultante

Polytech Marseille IRM3 2012-2013

Polytech Marseille IRM3 2012-2013

pour obtenir la transition 0 0

J = K = 0 maintient l'tat de la bascule 0

Polytech Marseille IRM3 2012-2013

on aura la transition 0 0 si J=0, quel que soit K

pour obtenir la transition 0 0

J = K = 0 maintient l'tat de la bascule 0

Polytech Marseille IRM3 2012-2013

on aura la transition 0 0 si J=0, quel que soit K

Polytech Marseille IRM3 2012-2013

expression de Qn+1 en fonction de Qn, J et K

partir de la table de vrit de la bascule J-K

on construit le tableau de Karnaugh

Polytech Marseille IRM3 2012-2013

rle des entres Pr et Cr

entres asynchrones (lorsque

Polytech Marseille IRM3 2012-2013

bascules J-K Matre-Esclave

on a construit les tables de vrit partir de la logique

supposons J=K=1 et Q=0

Polytech Marseille IRM3 2012-2013

bascules J-K Matre-Esclave

on a construit les tables de vrit partir de la logique

supposons J=K=1 et Q=0

on a alors J=K=Q=1 et le signal d'horloge est toujours 1

Polytech Marseille IRM3 2012-2013

bascules J-K Matre-Esclave

on a construit les tables de vrit partir de la logique

supposons J=K=1 et Q=0

Polytech Marseille IRM3 2012-2013

solution au problme : au lieu d'un simple asservissement

Horloges inverses pour le matre et l'esclave

pendant la nime impulsion, le signal d'horloge est haut pour le

Polytech Marseille IRM3 2012-2013

l'tat de la sortie de la bascule matre QM est donn par

quand le signal d'horloge revient 0 pour le matre qui

(QM =1, QM =0)(S=1, R=0)(Qn+1 =1, Qn+1 =0)