Académique Documents
Professionnel Documents
Culture Documents
M. Hervé.
• Logique séquentielle :
• composants de base
(bascules D, bascules RS, bascules JK,
compteurs, registres, mémoires)
Michaël Beuve / LIRIS / UCB Lyon1 1 Michaël Beuve / LIRIS / UCB Lyon1 2
Contrôle
Michaël Beuve / LIRIS / UCB Lyon1 5 Michaël Beuve / LIRIS / UCB Lyon1 6
Il n’y a que dans ce cas que l’on peut Un signal incorrectement échantillonné ne pourra
associer un nombre entier au signal pas être reconstitué
Michaël Beuve / LIRIS / UCB Lyon1 7 Michaël Beuve / LIRIS / UCB Lyon1 8
DAC/ADC : Définitions Les convertisseurs Numérique-Analogique
Michaël Beuve / LIRIS / UCB Lyon1 9 Michaël Beuve / LIRIS / UCB Lyon1 10
Eg
Imperfections
Michaël Beuve / LIRIS / UCB Lyon1 11 Michaël Beuve / LIRIS / UCB Lyon1 12
Les convertisseurs Analogique - Numérique:
les erreurs systématiques Plan du cours
Sortie
num.
Gain point
Premiers pas vers l’architecture des
machines
entrée
analogique • Conversion signal analogique / numérique
• Logique combinatoire
(méthode de Karnaugh, portes logiques, circuits
Courbe idéale Erreur d’offset : Eo Erreur de gain : Eg
à erreur d ’offset nulle combinatoires – multiplexeur, décodeur...)
Procédure : réglage d’offstet (N=0) et réglage de gain (N=Nmax)
1/4 LSB
Michaël Beuve / LIRIS / UCB Lyon1 13 Michaël Beuve / LIRIS / UCB Lyon1 14
Michaël Beuve / LIRIS / UCB Lyon1 15 Michaël Beuve / LIRIS / UCB Lyon1 16
Algèbre binaire Formellement
On se limite : Base de l’algèbre de Boole Algèbre de Boole sur [0,1] = algèbre binaire
Propriétés indispensables aux systèmes logiques Structure d’algèbre de Boole
• 2 lois de composition interne (LCI)
Définitions : • 1 application unaire
• États logiques : 0 et 1, Vrai et Faux, H et L
2 LCI : ET, OU
(purement symbolique)
• Somme (OU, Réunion) s = a + b = a v b
• Produit (ET, intersection) s = a . b = ab = a ^ b
• Variable logique : Symbole pouvant prendre
comme valeur des états logiques (A,b,c, Out ...)
Application unaire :
• Not (complémentation, inversion, non) s = a = not(a)
• Fonction logique : Expression de variables et d’opérateurs
( f = not(a)^ (c OR r.t) )
Michaël Beuve / LIRIS / UCB Lyon1 17 Michaël Beuve / LIRIS / UCB Lyon1 18
Michaël Beuve / LIRIS / UCB Lyon1 21 Michaël Beuve / LIRIS / UCB Lyon1 22
Michaël Beuve / LIRIS / UCB Lyon1 23 Michaël Beuve / LIRIS / UCB Lyon1 24
Chronogrammes Chronogrammes
a a
b b
a+b a+b
Retard temporel
Michaël Beuve / LIRIS / UCB Lyon1 25 Michaël Beuve / LIRIS / UCB Lyon1 26
b
s = a b = a.b s = a b = a+b
Michaël Beuve / LIRIS / UCB Lyon1 27 Michaël Beuve / LIRIS / UCB Lyon1 28
Propriétés de NOR et NAND Encore un opérateur : XOR
b 0 1
a
A l’aide du théorème de DeMorgan toute fonction 0 0 1
logique peut s’écrire qu’avec des NAND (resp. des NOR)
1 1 0
s=a b = a.b + a.b
NAND et NOR ne sont pas associatifs S est vrai si a OU b est vrai mais pas les deux.
Michaël Beuve / LIRIS / UCB Lyon1 29 Michaël Beuve / LIRIS / UCB Lyon1 30
XOR est associatif s = a b c ..... n On peut généraliser l’algèbre binaire à plus de 2 niveaux
b 0 1 Z X
vaut 1 si le nombre de variables à 1 est impair. a
0 X 0 X 0 logique
a 0
s 1 logique
s=a b = a b = a b = a XNOR b 1 X 1 1 X
b 0 1 Z X Z déconnecté
XNOR = XOR vaut 1 si a = b Z
X inconnu
X X X X X
Inverseur programmable : (le programme vaut 0 ou 1)
a 1=a a 0=a
Michaël Beuve / LIRIS / UCB Lyon1 31 Michaël Beuve / LIRIS / UCB Lyon1 32
Représentation graphique :
Réalisation en électronique
Norme française
0/1 représentés par des tensions, courants,
charges, fréquences, ....
Michaël Beuve / LIRIS / UCB Lyon1 33 Michaël Beuve / LIRIS / UCB Lyon1 34
a s Problème
Fonctions logiques
a a (cahier des charges)
s s
b b NON
Fonctions logiques
a s Attention : critères pas
NAND toujours compatibles simplifiées
ET coût / vitesse / encombrement / fiabilité ?
a a
s a
b s s Réalisation Technologique
b b
OU NOR XOR
Michaël Beuve / LIRIS / UCB Lyon1 35 Michaël Beuve / LIRIS / UCB Lyon1 36
Simplification /optimisation ? Combinatoire : définition
Michaël Beuve / LIRIS / UCB Lyon1 37 Michaël Beuve / LIRIS / UCB Lyon1 38
Michaël Beuve / LIRIS / UCB Lyon1 39 Michaël Beuve / LIRIS / UCB Lyon1 40
Portes intégrées Multiplexeur
Remarque 2: Sélection d’une voie parmi 2N par N bits de commande
Problème du nombre de boîtiers pour réaliser une fonction
logique INTEGRATION
I0 Si (S1S0)2 = (0)10 alors Q = I0
SSI (small scale integration) petite : inférieur à 12 portes
I1 Q = S0 . S1 . I O
MSI (medium) moyenne : 12 à 99
I2 Q
LSI (large) grande : 100 à 9999 Si (S1S0)2 = (1)10 alors Q = I1
VLSI (very large) très grande : 10 000 à 99 999 I3 Q = S0 .S1.I1
Mux 4 vers 1
ULSI (ultra large) ultra grande : 100 000 et plus
Remarque 3: S1 S0
Une manière d’augmenter la puissance de traitement est
de construire des CI dédiés à une application
Q = S1 . S 0 . I 0 + S1 . S0 . I1 + S1 . S 0 . I 2 + S1. S0 . I 3
(ASIC pour Application Specific Integrated Circuit)
Michaël Beuve / LIRIS / UCB Lyon1 41 Michaël Beuve / LIRIS / UCB Lyon1 42
I0 ab F
00 0 F(0,0) 0 I0
&
01 1 F(0,1) 1 I1 Mux
I1 Q= F
10 1 F(1,0) 1 I2 4 vers 1
& 0
Q 11 0 F(1,1) I3
I2 S1 S0
& >1
I3 a b
&
S1 Toute fonction logique de N variables est réalisable
S0 avec un multiplexeur de 2N vers 1
Michaël Beuve / LIRIS / UCB Lyon1 43 Michaël Beuve / LIRIS / UCB Lyon1 44
Démultiplexeur : 1 parmi 2n Démultiplexeur : 1 parmi 2n
Q0 = E si (S1S0)2=0 E=1
0 sinon
Q0 Q 0 = E . S1 .S 0
Q0 = S1 . S0
E Q1 Q1 = E si (S1S0)2=1 = E . S1 . S 0
Q0
Q2 0 sinon Q1
E Q1 = E .S1 .S 0
Q3 Q1 = S 1 . S 0
1 parmi 2N Q2 = E . S1 .S 0
1 parmi 2 N
Q3
S1 S0
Remarque : E peut ne pas être «disponible»
Sortie sélectionnée = 1 les autres 0 S1 S0
ou Sortie sélectionnée = 0 les autres 1 Qi=(i)2
Michaël Beuve / LIRIS / UCB Lyon1 45 Michaël Beuve / LIRIS / UCB Lyon1 46
N entrées 2N sorties
Q0 0
Exemple 0 C0 0
Q1 C1 C2
1 C1 Q2 1 n m
Q3 0
0 I0 n
1 I1
A S = 1 si A > B
0 I2 n E = 1 si A = B
B
0 I3
> = < I = 1 si A < B
Michaël Beuve / LIRIS / UCB Lyon1 51 Michaël Beuve / LIRIS / UCB Lyon1 52
ALU (ou UAL)
Mémoire
Unité Arithmétique et Logique
Résultat
Données
Cin
n Exemple : Contrôle
A Les mémoires peuvent être :
P
G R=A+B lecture seule
n m
A=B R=A+B A D écriture une fois/lecture
n R
R=A+B+1 écriture/lecture
n
B ... Adresses Données
5 Cout
R = A ou B
S 2n mots de m bits write : D stockée dans M(A)
R = A nand B
Choix de la ... read : M(A) positionne les fils D
fonction (32 cas)
Instruction
Michaël Beuve / LIRIS / UCB Lyon1 53 Michaël Beuve / LIRIS / UCB Lyon1 54
Michaël Beuve / LIRIS / UCB Lyon1 57 Michaël Beuve / LIRIS / UCB Lyon1 58
Michaël Beuve / LIRIS / UCB Lyon1 59 Michaël Beuve / LIRIS / UCB Lyon1 60
Horloge (Clock) Bascules Synchrones/Asynchrones
Horloge : composant passant indéfiniment et Les bascules synchrones : asservies à des impulsions
d’horloge et donc insensibles aux bruits entre deux tops
régulièrement d’un niveau haut à un niveau
bas (succession de 1 et de 0), chaque Données
Entrées
transition s’appelle un top. Bascule sorties
Synchrone
Horloge
0 1 2
Les bascules asynchrones, non asservies à une horloge
Période et prenant en compte leurs entrées à tout moment.
Fréquence = nombre de changement par seconde en hertz (Hz) Données
Fréquence = 1/période Entrées
Une horloge de 1 hertz a une période de 1 seconde Bascule sorties
……………………………1 megahertz……………………..1 microseconde Asynchrone
……………………………1 gigaHz……………………………..1 nanoseconde
Michaël Beuve / LIRIS / UCB Lyon1 61 Michaël Beuve / LIRIS / UCB Lyon1 62
A et B
S Q
R Q’
Temps de réponse
Michaël Beuve / LIRIS / UCB Lyon1 63 Michaël Beuve / LIRIS / UCB Lyon1 64
Bascule RS =(0,0) Bascule RS =(1,0)
Etat Initial t t'
0 1 1 1 1 0 1 0 Stable
Transition (1,1) =>MAIS instable pour les autres états
(1,1) 0 1 1 1 1 0 1 0 Stable
⇒Il faut l’interdire
Michaël Beuve / LIRIS / UCB Lyon1 67 Michaël Beuve / LIRIS / UCB Lyon1 68
Bascule RS Bascule RSH
Diagramme, symbole et table de transition : Diagramme, symbole et table de transition :
S S
Condition supplémentaire :
Q Q H actif
R = Reset (Mise à 0) H •Si H=1 mémoire classique
S = Set (Mise à 1) •Si H=0 mémoire figée
Q’ Q’
R R
R S Qt+1 R S Qt+1
S Q 0 0 Qt Ne change pas d'état S Q 0 0 Qt Ne change pas d'état
0 1 1 Mise à 1 0 1 1 Mise à 1
H
1 0 0 Mise à 0 1 0 0 Mise à 0
R Q’ R Q’
1 1 ? Interdit 1 1 ? Interdit
Michaël Beuve / LIRIS / UCB Lyon1 69 Michaël Beuve / LIRIS / UCB Lyon1 70
Bascule D Bascule JK
Diagramme, symbole et table de transition : Diagramme, symbole et table de transition :
D
Q J
Q
H
H
Q’ Q’
K
J K Qt+1
D Q D Qt+1 0 0 Qt Ne change pas d'état
J Q
H 0 0 0 1 0 Mise à 0
H
Q’ 1 1 1 0 1 Mise à 1
K Q’
1 1 Qt Change d'état
Michaël Beuve / LIRIS / UCB Lyon1 71 Michaël Beuve / LIRIS / UCB Lyon1 72
Applications des circuits séquentiels Applications des circuits séquentiels
Les registres à décalage : Les compteurs :
Dans un registre à décalage droite (resp. gauche) : On désire réaliser un compteur modulo 8 : 0, 1, 2, …7, 0, 1….
<n-1, ……i+1, i, i-1, …,1, 0> T
t
la sortie de la bascule i à l’instant t correspond à la Q0
Q1
t
Q2
1OO1 0100 0010 0001 t
7 0 1 2 3
Nous avons trois bits : donc trois bascules 0,1, 2
Michaël Beuve / LIRIS / UCB Lyon1 73 Michaël Beuve / LIRIS / UCB Lyon1 74
1 1 0 1 1 1
1 1 1 0 0 0
Compteur synchrone
Trouvez les équations de J2, K2, J1, K1, J0, K0 en fonction des Qi avant
Michaël Beuve / LIRIS / UCB Lyon1 77 Michaël Beuve / LIRIS / UCB Lyon1 78
Michaël Beuve / LIRIS / UCB Lyon1 79 Michaël Beuve / LIRIS / UCB Lyon1 80