Vous êtes sur la page 1sur 79

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

Plan du cours

F. Touchard

les bascules
les registres
les compteurs

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

Les bascules

F. Touchard

portes NAND

sorties inchanges

Set : remise 1

Reset : remise 0

proscrire

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

Les bascules

F. Touchard

reprsentation gnrique

sorties inchanges

Set : remise 1

Reset : remise 0

proscrire

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

11

Les bascules

F. Touchard

table de vrit rsultante


Jn

Kn

Qn+1

Qn

Qn

diagramme logique

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

12

Les bascules

F. Touchard

table de transition
Qn

Qn+1

Polytech Marseille IRM3 2012-2013

Jn

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

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

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

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

Cours d'Architecture

Logique squentielle

15

Les bascules

F. Touchard

table de transition
Qn

Qn+1

Jn

Kn

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

1
Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Pr

Cr

Q
Q

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

19

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
Jn
Kn
Qn+1
entre les entres et les sorties

F. Touchard

supposons J=K=1 et Q=0


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 !

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

20

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


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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

25

Les bascules

F. Touchard

impulsion fournie par les montages

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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)

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

34

Les registres

entre parallle - sortie srie

'

exemple d'une entre parallle+srie et sortie srie

F. Touchard

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

35

Les registres

entre parallle - sortie srie

'

exemple d'une entre parallle+srie et sortie srie

F. Touchard

si X=0, l'entre srie est inhibe et l'entre parallle est


valide

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

36

Les registres

entre parallle - sortie srie

'

exemple d'une entre parallle+srie et sortie srie

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

38

Les registres

entre parallle - sortie parallle

la commande X permet
de slectionner le mode
de chargement

X=0 Pr=Cr=1 fonctionnement normal des bascules


inhibition des entres parallles
X=1

F. Touchard

Ei=1

Polytech Marseille IRM3 2012-2013

(Pr=0, Cr=1) Qi =1

Cours d'Architecture

Logique squentielle

39

Les registres

entre parallle - sortie parallle

la commande X permet
de slectionner le mode
de chargement

X=0 Pr=Cr=1 fonctionnement normal des bascules


inhibition des entres parallles
X=1

F. Touchard

Ei=1
Ei=0

Polytech Marseille IRM3 2012-2013

(Pr=0, Cr=1) Qi =1
(Pr=1, Cr=0) Qi =0

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

41

Les registres

registre dcalage droite et gauche

Clk = H+S0S1 = H(S0 +S1 )

F. Touchard

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

42

Les registres

registre dcalage droite et gauche

Clk = H+S0S1 = H(S0 +S1 )

F. Touchard

signal d'horloge inhib si S0 = S1 = 0

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

43

Les registres

registre dcalage droite et gauche

slection du chargement parallle si

F. Touchard

S0 +S1 = S0S1 S0=S1 =1


lignes d'entres A, B, C, D valides

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

44

Les registres

registre dcalage droite et gauche

slection du chargement parallle si

F. Touchard

S0 +S1 = S0S1 S0=S1 =1


entres E0 et E1bloques, liens Q-RS bloqus

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

45

Les registres

registre dcalage droite et gauche

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

46

Les registres

registre dcalage droite et gauche

slection du dcalage gauche si

F. Touchard

S0 = 0 et S1 = 1
entre E1 bloque, lien Q RS vers la gauche

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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)

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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)

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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)

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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
infrieur passe de 0 1
en utilisant la sortie Q

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

54

Les compteurs

compteur-dcompteur asynchrone

compteur : dclenche chaque bascule quand celle de rang


infrieur passe de 1 0
dcompteur : il faut dclencher quand la bascule de rang
infrieur passe de 0 1
en utilisant la sortie Q

la ligne de commande X permet de slectionner le mode :

F. Touchard

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

55

Les compteurs

compteur-dcompteur asynchrone

compteur : dclenche chaque bascule quand celle de rang


infrieur passe de 1 0
dcompteur : il faut dclencher quand la bascule de rang
infrieur passe de 0 1
en utilisant la sortie Q

Qi
Qi

la ligne de commande X permet de slectionner le mode :

F. Touchard

X=1 compteur

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

56

Les compteurs

compteur-dcompteur asynchrone

compteur : dclenche chaque bascule quand celle de rang


infrieur passe de 1 0
dcompteur : il faut dclencher quand la bascule de rang
infrieur passe de 0 1
en utilisant la sortie Q

Qi

Qi

la ligne de commande X permet de slectionner le mode :

F. Touchard

X=0 dcompteur

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

58

Les compteurs

remise zro et chargement d'un compteur

F. Touchard

RAZ :
R = 0 J = K = 0 (interdit tout basculement sur Clk)
(Pr = 1, Cr = 0) Q = 0

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

59

Les compteurs

remise zro et chargement d'un compteur

F. Touchard

Chargement : (DS = 0, R = 1)
J = K = 0 (interdit tout basculement sur Clk)
D = 0 (Pr = 1, Cr = 0) Q = 0

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

60

Les compteurs

remise zro et chargement d'un compteur

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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)

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

66

Les compteurs

exemple d'un compteur 3 bits selon le code binaire pur

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

chaquelignecorrespondunemmetranchedetemps

F. Touchard

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

67

Les compteurs

exemple d'un compteur 3 bits selon le code binaire pur

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

chaquelignecorrespondunemmetranchedetemps

F. Touchard

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

68

Les compteurs

exemple d'un compteur 3 bits selon le code binaire pur

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

chaquelignecorrespondunemmetranchedetemps

F. Touchard

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

69

Les compteurs

exemple d'un compteur 3 bits selon le code binaire pur

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

chaquelignecorrespondunemmetranchedetemps

F. Touchard

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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"

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

74

Gnrateurs de squence

exemple : raliser la squence


0

avec des bascules T

F. Touchard

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

75

Gnrateurs de squence

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

76

Gnrateurs de squence

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

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

T0 =Q 2

T1=Q 0 +Q1

T 2=Q 0 Q1 +Q0 Q1 +Q 2
=Q0 Q1 +Q2

Logique squentielle

77

Gnrateurs de squence

implmentation
Q0

Clk

Q1

Q2

Clk

Clk

F. Touchard

Polytech Marseille IRM3 2012-2013

Cours d'Architecture

Logique squentielle

78

RAM