Académique Documents
Professionnel Documents
Culture Documents
LogiqueSequentielle PDF
LogiqueSequentielle PDF
1 Copyright © Epum/Lirmm
Combinatoire / Séquentiel
A0
A1
A2 Additionneur S0
A3
S1
B0 S2
B1
B2 S3
B3
a
E1
DECODEUR 7 b
E2 SEGMENTS
c
E3
d
E4 e
f
g
2 Copyright © Epum/Lirmm
Combinatoire / Séquentiel
Q0
H Compteur A[3..0]
[ ] Additionneur S[3..0]
[ ]
Q1
B[3..0]
Q2
Q3 H
voie B
VA
INI OA
COMMANDE
voie A DE
OC RA
FEUX
URG DE
VB
H CARREFOUR
OB
RB
3 Copyright © Epum/Lirmm
Combinatoire / Séquentiel
Commandes
CONTROLEUR
Statuts
Sorties
4 Copyright © Epum/Lirmm
Combinatoire / Séquentiel
C S S = C.a + C’.b
e
C e S
C S 0 0 S
0 1 S
1 0 0
1 1 1
5 Copyright © Epum/Lirmm
Combinatoire / Séquentiel
Combinatoire :
- Lorsque les données d’entrée sont disponibles au même instant (mots en //)
- Les
L sorties
ti dépendent
dé d t uniquement
i t de
d lla fonction
f ti ett des
d données
d é d’entrées
d’ t é
Ei Si => f(Ei)
Séquentiel :
- Lorsque les données d’entrée sont réparties dans le temps (mots en série ou séquences)
- Mémorisation de données
- Les sorties dépendent de la fonction, des données d’entrées et des données mémorisées
Ei Si =>
> f(Ei,Qi)
f(Ei Qi)
Qi
Q
6 Copyright © Epum/Lirmm
Synchrone / Asynchrone
Ei Si Ei Si
H
Qi Qi
7 Copyright © Epum/Lirmm
Bascule RS
Qn S R Qn+1 SR
0 0 0 0 Qn 00 01 11 10
R Q 0 0 1 0
0 1 0 1 0 0 0 X 1
0 1 1 X
S 1 0 0 1 1 1 0 1
1 0 1 0 X
1 1 0 1
1 1 1 X Qn+1
L'énoncé du problème est incomplet: les combinaisons (3) et (7) ne sont pas
définies. Elles correspondent à des ordres d'enclenchement (SET) et de
déclenchement (RESET) simultanés.
simultanés En laissant le problème incomplètement
spécifié, on peut obtenir plusieurs équations de la bascule
8 Copyright © Epum/Lirmm
Bascule RS
SR
Qn 00 01 11 10
Qn+1
+1 = S.R
S R' + Qn.R
R' = (S + Qn) R
R'= ((S + Qn))' + R)
R)' (1) 0 0 0 X 1
Qn+1 = S + Qn.R' = (S' . (Qn.R)')' (2) 1 1 0 X 1
S Qn+1
S S'
(Q')
Q
S R Qn+1
R 0 0 Qn
Q
R (Q') 0 1 0
R'
(1) 1 0 1
(2) 1 1 Interdit
(R
(R,S)=(1,1)
S) (1 1) iintroduit
t d it une iindétermination.
dét i ti
En effet, le passage de la combinaison (R,S)=(1,1) à (R,S)=(0,0) entraîne
deux valeurs possibles sur Q selon que R ou S commute en premier.
Si l'on interdit la combinaison (R,S)=(1,1) on remarque que sur les deux
structures, la connexion symétrique de la sortie Q porte la valeur Q’.
9 Copyright © Epum/Lirmm
Bascule RS
Avantages:
Simplicité
Inconvénients
Dispositif asynchrone
Etat
Et t interdit
i t dit
Sensibilité aux parasites (transitoires)
10 Copyright © Epum/Lirmm
Phénomènes de rebonds
+5V Bp
R
s t
s
Bp
t
11 Copyright © Epum/Lirmm
Dispositif anti-rebonds
+5V
Bp
p
R R
Q s t
S'
R’
R' t
S’
Bp t
Q
Reset ou
Etat mémoire t
s
Set ou
Etat mémoire t
12 Copyright © Epum/Lirmm
Bascule RSH
S R Qn+1
R Q
H 0 0 Qn H=1
S 0 1 0
1 0 1
1 1 Interdit
S Q
R (Q')
13 Copyright © Epum/Lirmm
Bascule RSH
Avantages:
g
Insensibilité aux parasites (H=0)
Inconvénients
Etat interdit
Sensibilité aux parasites (H=1)
14 Copyright © Epum/Lirmm
Bascule D-latch
La bascule D-Latch est une bascule conçue sur le même principe que
la RSH. Elle est obtenue à p
partir d'une bascule RSH en ne considérant
que les deux combinaisons (R,S) = (0,1) et (1,0).
D Q(n+1)
D Q
0 0 Qn+1 = Dn
H
Q 1 1 H=1
((S))
D Q
D
D Q
H Q
H
H
(Q')
(R)
15 Copyright © Epum/Lirmm
Bascule D-latch
Avantages:
g
Pas d’état interdit
Insensibilité aux parasites (H=0)
Inconvénients
Sensibilité aux parasites (H=1)
16 Copyright © Epum/Lirmm
Bascule D_Latch – Réalisation en CMOS
D Q
H
17 Copyright © Epum/Lirmm
Bascule D (Maître-Esclave)
D Q D Q(n+1)
H
Qn+1 = Dn
0 0
Q H=
1 1
Maître E l
Esclave
Q0 Q
D D_Latch D_Latch
H
Q0
Q
18 Copyright © Epum/Lirmm
Bascule D – Réalisation en CMOS
Maître Esclave
D Q
H
19 Copyright © Epum/Lirmm
Bascule D (Maître-Esclave)
Avantages:
Dispositif synchrone
Pas d’état interdit
Insensibilité aux parasites
20 Copyright © Epum/Lirmm
Bascule T (Toggle)
T Q T Q(n+1)
H 0 Q(n)
Q H=
1 Q’(n)
Q (n)
D Q
T
21 Copyright © Epum/Lirmm
Bascule JK
JK Q(n+1)
J Q
00 Qn H=
H 01 0
K Q 10 1
11 Qn ’
J D Q
Avec D = J’K’Q + JK’ + JKQ’
K = J.Qn’ + K’.Qn
H
22 Copyright © Epum/Lirmm
Bascule JK (autre réalisation)
Maître Esclave
Q0 Q
J RSH RSH
H
K Q0
Q
23 Copyright © Epum/Lirmm
Initialisation des bascules
Preset
D Cl
Clear
P
Preset
t
Q
D
H H Q
24 Copyright © Epum/Lirmm
Initialisation des bascules
Clear
D0 Q
D
Preset Bascule D
H
25 Copyright © Epum/Lirmm
Inhibition des bascules
D Q D Q D Q D Q
H H H H
D Q D Q D Q
H H H
D0 Q D Q
Inib
Bascule D Inib
D H
H
D0 = Inib.D + Inib.Q
26 Copyright © Epum/Lirmm
Paramètres temporels des bascules
H H
Q
D ou JK
TpHL(RAZ)
T LH(RAU)
TpLH(RAU)
27 Copyright © Epum/Lirmm
Registres
E3 E2 E1 E0
D Q D Q D Q D Q
H H H H
Q Q Q Q
H=
S3 S2 S1 S0
E S
D Q D Q D Q D Q
H H H H
Q Q Q Q
H=
S3 S2 S1 S0
28 Copyright © Epum/Lirmm
Registres
E3 E2 E1 E0
C
D Q D Q D Q D Q
H H H H
Q Q Q Q
H
S3 S2 S1 S0
Di = C .Ei + C’.Si
29 Copyright © Epum/Lirmm
Registre universel
0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
C1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
C2
D Q D Q D Q D Q
H H H H
Q Q Q Q
Ecrit
S3 S2 S1 S0
30 Copyright © Epum/Lirmm
Mémoires
Data In
Adr
R/W
CS
Data Out
31 Copyright © Epum/Lirmm
Mémoires
New logic
Reused logic
g
Memory
32 Copyright © Epum/Lirmm
Mémoires - Principe
d R/W
e
c CS
o Data In
d H
e
u
r
d
e
l
i
g
Data Out
n
e
AL
AC
Décodeur de colonne
Adr
33 Copyright © Epum/Lirmm
Cellule Mémoire SRAM
WORD
BIT BIT
WORD
BIT BIT
34 Copyright © Epum/Lirmm
Plan Mémoire SRAM
35 Copyright © Epum/Lirmm
Modèle fonctionnel d’une mémoire SRAM
ecode
lines
code
vers
Memory
WL-prede
WL driv
WLdec
cell array
Word
Bit lines
36 Copyright © Epum/Lirmm
Exemple de Floorplan (RAM)
37 Copyright © Epum/Lirmm
Cellule Mémoire DRAM
WORD
C 25 F
C~25nF
BIT
38 Copyright © Epum/Lirmm
Compteur
001 010
Q2 Q1 Q0
0 0 0
0 0 1 000 011
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0 111 100
1 1 1
0 0 0 110 101
39 Copyright © Epum/Lirmm
Compteur
Q2 Q1 Q0
H
0 0 0
0 0 1
0 1 0 Q0
0 1 1
1 0 0
1 0 1 Q1
1 1 0
1 1 1
Q2
40 Copyright © Epum/Lirmm
Compteur asynchrone
Q0 Q1 Q2
1 T Q 1 T0 1 T1 1 T2
Q'
Q
H H
Q0'
Q0 Q1'
Q1 Q2'
Q2
H Q2 Q1 Q0
H 0 0 0
0 0 1
Q0 0 1 0
Q 0 1 1
Q1 1 0 0
1 0 1
1 1 0
Q2 1 1 1
41 Copyright © Epum/Lirmm
Décompteur asynchrone
1 T0 1 T1 1 T2
H
Q0' Q1' Q2'
H Q2'Q1'Q0 H Q2 Q1 Q0
1 1 1 1 1 1
Q0' 1 1 0 Q0 1 1 0
1 0 1 1 0 1
1 0 0 1 0 0
Q1' 0 1 1 Q1 0 1 1
0 1 0 0 1 0
Q2' 0 0 1 0 0 1
0 0 0 Q2 0 0 0
42 Copyright © Epum/Lirmm
Compteur asynchrone par 6
Clear
1 T0 1 T1 1 T2
H Q2 Q1 Q0 Clear
0 0 0 0
Q0 0 0 1 0
0 1 0 0
0 1 1 0
Q1 1 0 0 0
1 0 1 0
1 1 0 1
Q2
43 Copyright © Epum/Lirmm
Compteur asynchrone (D)
1 T Q J Q
D Q
1
Q' K Q'
Q'
H H
H
Q0 Q1 Q2
D0 D1 D2
H
Q0' Q1' Q2'
44 Copyright © Epum/Lirmm
Inconvénients des compteurs asynchrones
DpDpDp
H
Q0
Q1
Q
Q2
7 76 4 0
45 Copyright © Epum/Lirmm
Inconvénients des compteurs asynchrones
Compteurs / Décompteur
Modification de l’état
Q0 Q1 Q2
1 T0 1 T1 1 T2
H
Q0' Q1' Q2'
46 Copyright © Epum/Lirmm
Inconvénients des compteurs asynchrones
Risque
q de transitoires
Q0 Q1 Q2
Clear
1 T0 1 T1 1 T2
47 Copyright © Epum/Lirmm
Règles élémentaires de conception
AND2
INPUT
6 a VCC
1
OR2
INPUT OUTPUT
5 com VCC 8 s
3
NOT AND2
48 Copyright © Epum/Lirmm
Compteur synchrone
Clear
Q0 Q1 Q2
? T0
0
? T1 ? T2
H
Clear
Q0 Q1 Q2
? D0
? D1 ? D2
Clear
Q0 Q1 Q2
? ? J1 ? J2
J0
? K0 ? K1 ? K2
49 Copyright © Epum/Lirmm
Compteur synchrone
Clear
Q0 Q1 Q2
? T0
? T1 ? T2
Q2 Q1 Q0
0 0 0 T0 = 1
0 0 1 T1 = Q0
0 1 0 T2 = Q0.Q1
0 1 1
1 0 0
1 0 1 Tn = Q0.Q1....Qn-1
1 1 0
1 1 1
0 0 0
50 Copyright © Epum/Lirmm
Compteur synchrone
Q0 Q1 Q2
1 T0 T1 T2
51 Copyright © Epum/Lirmm
Décompteur synchrone
1 1 0 Q1' Q2'
Q0'
1 1 1
H
0 0 0
52 Copyright © Epum/Lirmm
Compteur / décompteur synchrone
Tn = C
C’.Q0.Q1...Qn-1
Q0 Q1 Qn 1 + C
C.Q0
Q0’.Q1
Q1’....Qn-1
Qn 1’
C T2 Q2
T1 Q1
Q0
T0=1
53 Copyright © Epum/Lirmm
Compteur synchrone par 6
T2 = C5
C5’.Q0.Q1
Q0 Q1 + C5
C5.1
1 = C5
C5’.Q0.Q1
Q0 Q1 + C5 (Inv de la valeur de sortie lorsque
(Inv. C5=1)
54 Copyright © Epum/Lirmm
Compteur / Décompteur par 6 avec Inhibition
H=
55 Copyright © Epum/Lirmm
Bascules T, D et JK
Q Q Q
E T D J
E
E
K
H H H
56 Copyright © Epum/Lirmm
Compteur synchrone (D)
Clear
Q0 Q1 Q2
? D0
? D1 ? D2
Q2 Q1 Q0 D Q(n+1)
0 0 0 0 0
0 0 1 1 1
0 1 0
0 1 1
1 0 0 D0 = Q0’
1 0 1 D1 = Q0.Q1’ + Q0’.Q1 = Q0 Q1
1 1 0 D2 = Q0.Q1. Q2
Q2’ + (Q0.Q1)
(Q0.Q1)’.Q2
.Q2 = Q0.Q1 Q2
1 1 1
Clear
Q0 Q1 Q2
? D0
? D1 ? D2
Q2 Q1 Q0 D Q(n+1)
0 0 0 0 0
0 0 1 1 1
0 1 0
0 1 1
1 0 0 D0 = Q0’
1 0 1 D1 = Q0.Q1 + Q0’.Q1’ = (Q0 Q1)’
1 1 0 D2 = (Q
(Q0+Q1).
Q ) Q2
Q + (Q0+Q1)’.Q2’
(Q Q ) Q = (Q0+Q1)
(Q Q ) Q
Q2’
1 1 1
Inib D1 = [Inib’[Compt{C5’.(Q0.Q1’+Q0’.Q1)+C5.0} +
Compt
Qi Compt’{C0’.(Q0’.Q1’+Q0.Q1) + C0.0} ] + Inib. Q0]
= [Inib
[Inib’[Compt{C5’ (Q0 Q1)} +
[Compt{C5 .(Q0
Compt’{C0’.(Q0 Q1’) } ] + Inib. Q0]
D2 = [[Inib’[Compt{C5’.(Q0.Q1
[ p{ ( Q2)}
)} +
H= Compt’{C0’.(Q0+Q1 Q2’) } ] + Inib. Q0]
59 Copyright © Epum/Lirmm
Règles de conception (Registres, Compteurs, …)
Clear
C t ôl
Contrôle e0 e1 e2
Contrôle
Clear
eii Qi ? D0
? D1 ? D2
H= Q0 Q1 Q2
60 Copyright © Epum/Lirmm
Règles de conception (Circuit)
Clear
Control
Bloc1 Bloc2 Bloc3 Bloc4
Data out
Data_out
Data_in
61 Copyright © Epum/Lirmm