Systmes Logiques Travaux Dirigs - Corrigs

J -C Geffroy page 1
TD n3 Simplification des Fonctions Logiques
Commentaire [g1] :
Exercice 1
f (a, b, c, d, e) = R (1, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 25, 26, 27)
c
d
a b e
0
1
1
1
3
2
1
6
1
7
1
5
1
4
8 9
1
11
1
10
1
14
1
15
1
13
1
12
24
1
25
1
27
1
26
30 31 29 28
16 17
1
19
1
18
1
22
1
23
1
21
1
20

1 3 4 5 6 7 10 11 12 13 14 15 18 19 20 21 22 23 25 26 27 cot expr.
A X X X X 3 abe
B X X X X 3 cde
C X X X X 3 ade
D X X X X 3 bde
E X X X X X X X X 2 ac
F X X X X X X X X 2 bc
G X X X X 3 abd
H X X X X 3 bcd
I X X 4 abce
J X X X X 3 acd
K X X X X 3 abd
IPE : A, E, F, I cot initial de 11 littraux
Colonnes dominantes : 11 10 et 19 18
10 18 26 cot
G X 3
H X X 3
J X X 3
K X 3
Recherche dune solution minimale. Lignes domines : H G (cot 3) et J K(cot 3)
Solution : f
min
= A + E + F + I + H + J f
min
= abe + ac + bc + abce + bcd + acd
Cot de 17 littraux : 17 contacts/MOS ou 6 portes ET et 1 porte OU ou 7 portes NANDs
Recherche de toutes les solutions minimales. On ne peut pas supprimer les lignes domines
Branch & Bound : on casse en 10 Il y a 3 solutions minimales de cot 17 :
f min =A +E +F +I +

+
J G
K
J
H
Systmes Logiques Travaux Dirigs - Corrigs
J -C Geffroy page 2
TD n3 Simplification des Fonctions Logiques
Commentaire [g2] :
Exercice 2
f (a, b, c, d) = R
1
(2, 7, 10, 11, 12, 13) + R
-
(0, 5, 8, 15)
Synthse en NORs synthse SIGMA-PI de f :
les sommets 0 deviennent 1 et rciproquement; les sommets - restent -

c
a b d


-
0
1
1
1
3

2

1
4
-
5

7
1
6


12

13
-
15
1
14

-
8
1
9

11

10

Base complte du Majorant de f : 6 IPs.
Couverture du minorant :

s 1 3 4 6 9 14 cot expression
A X X 2 ac
B X X 2 bc
C X X 3 abd
D X X 3 ab d
E X X 3 b c d
F X 3 a b c

IPE : B limine 1, et 9 C limine 1 et 3
Il reste les sommets 4, 6 et 14.
Recherche dune solution minimale :
D domine A (mais le cot de A est infrieur au cot de D), E domine F (mme cot)
On supprime F E devient essentiel car il est seul couvrir 14.
Il reste couvrir 4 on prend A qui cote 2 alors que D cote 3.

fmin = B + C + E + A (cot =10) =bc +abd +bcd +ac
synthse de f en portes 5 NORs : fmin = (b c) (a b d) (b c d ) (a c)
Remarque : il ny a pas dautre solution minimale en nombre de littraux.
Systmes Logiques Travaux Dirigs - Corrigs
Simplification des Fonctions Logiques
Synthse multiple

f1 (a, b, c, d) = R
1
(0, 3, 6, 10, 13, 14) + R
-
(4, 8, 9, 15)
f2 (a, b, c, d) = R
1
(1, 3, 4, 13, 15) + R
-
(0, 5, 7, 8, 9, 14)

f
1

J -C Geffroy page 3

c
a b d


1
0 1
1
3
2

-
4

5 7
1
6


12
1
13
-
15
1
14

-
8
-
9

11
1
10
A
B
D C
E
f
2


c
a b d

-
0
1
1
1
3
2
1
4
-
5
-
7

6

12
1
13
1
15
-
14
-
8
-
9

11

10
F D C
E

Synthse multiple minimale de f1 et f2
Examen de f1. Sommets spcifiques : 6 couvert par exemple par lIP A (bcd) et 10 couvert par
exemple par lIP B (acd). Il sensuit que le sommet 14 est galement couvert. Le sommet vrai 3
est galement vrai dans la fonction f2 mais il ne peut tre couvert que par lIP C (abcd).
Pour couvrir le sommet 0, il y a 2 IPs possibles, mais on voit que lIP D (acd) permet de
couvrir le sommet 4 de f2 : il est donc rcuprable pour f2. Pour couvrir le sommet 13, il y a 2
IPs possibles, mais on voit que lIP E (abd) permet de couvrir galement les sommets 13 et 15 de
f2 ; dans ce cas, C nest pas rcupr pour f2.
Il nous faut donc 6 portes NANDs pour f1 : 5 NANDs pour raliser les IPs A, B, C, D et E et 1
NAND pour faire le OU de ces IPs.
Examen de f2. Sommet spcifique : 1 qui peut tre couvert par 3 IPs : ac, cd ou ad. Par
exemple, prenons lIP F (ad) : on doit alors rcuprer les IPs D et E venant de f1 pour couvrir
les sommets vrais 4, 13 et 15. Chaque IP rcupr aura donc sa sortie allant vers chaque
NAND de sortie de f1 et de f2. Il nous faut donc 1 NAND pour faire lIP F et un NAND pour
faire f2.
Synthse spare minimale de f1 et f2
f1 min =A +B +C +D +E 6 portes NAND
f2 min =ac +ad +bd 4 portes NAND
Bilan On obtient un gain de 2 portes NAND
Systmes Logiques Travaux Dirigs - Corrigs

TD n 4 : Systmes Squentiels
Correction
Exercice 1. Analyse dun circuit squentiel
a) Chronogramme de la squence < 10, 00, 01, 11, 10, 00 >, partir de ltat initial
(a, b, A, B) =(0 0 1 0).

J -C Geffroy page 4

A
a
B
b
sortie
y
Y



A
b
S = B
a

O O O O O O
2/1

O
Remarques :
Le fonctionnement est bien squentiel (effet mmoire) : a =SET, b =RESET.
Le rgime transitoire a une dure variable (pas dvolution, 1 ou 2).

b) On choisit B comme variable secondaire y : y =b (a Y) =(a +Y) b, et S =y.
Do la table des excitations, puis la table des tats, et enfin le graphe dtats rduit et le graphe
primitif.


ab
b
ab + b
b
1/0

La squence de la question 1) ne passe pas par tous les tats totaux : il faut donc la complter
pour quelle devienne pertinente.
Remarque : Le modle dHuffman ne reprsente pas les aspects dynamiques fins du circuit.
Chaque transition est suppose tre effectue en un temps unique.
ab
Y

b a

0 0 0 0 1
1 1 0 0 1
ab
q
S
b a
1 2 0
O O O
O
2 1 1 1
O
Systmes Logiques Travaux Dirigs - Corrigs
J -C Geffroy page 5
TD n 4 : Systmes Squentiels
correction
Exercice 2. Synthse dun systme synchrone niveaux

Graphe primitif et table des tats primitive
q

B A S1S2
1 1 6 - 2 10
2 3 - - 2 10
3 3 4 - 5 01
4 3 4 - - 01
5 1 - - 5 01

1 0
1 0
1 0
0 1
0 0
0 1
0 1
1 0
A B
S1 S2
6
3
5
1
2
0 0
1 0
0 1
0 1
4

6 3 6 - - 10

Diagramme de rduction dtats

1
6
2
3
Moore
Mealy
5
4

Table rduite selon le modle de Moore

q B A S1S2
a = 1 a b - b 10
b = 2 + 6 c b - b 10
c = 3 + 4 c c - d 01
d = 5
a - - d 01
Commentaire [g3] :
Systmes Logiques Travaux Dirigs - Corrigs
Codage: 4 tats : 2 Variables internes Y1, Y2



a b
Y1\Y2

d c
Table des tats cods:
Etat B A S1S2
J - page 6 C Geffroy
00 00 01 - 01 10
01 11 01 - 01 10
11 11 11 - 10 01
10 00 - - 10 01

Table de commande bascule D
Qi Qi+1 D
0 0 0
0 1 1
1 0 0
1 1 1


Y1Y2
B A B A
Y1Y2
00 0 0 - 0 00 0 1 - 1
01 1 0 - 0 01 1 1 - 1
11 1 1 - 1 11 1 1 - 0
10 0 - - 1 10 0 - - 0
D1=Y2.A.B+Y1.Y2+Y1.A D2= B+Y2.A+Y1.A
Do : S1=Y1.Y2+Y1.Y2=Y1 S2=Y1.Y2+Y1.Y2=Y1
Avec Y1 =Q1, Y2 =Q2
Systmes Logiques Travaux Dirigs - Corrigs
TD n 4 : Systmes Squentiels
correction
Exercice 3. Synthse selon le modle de Mealy
J -C Geffroy page 7
q C F M
1
F C
M
- - 2 1 0
2 - 3 2 5 1
3 6 3 4 - 1
4 - - 4 1 0
5 6 - 2 5 1
0 1
1
1 1
1
1 1
0
1 0
1
0 0
1
1
4
2
5
3
6
1 0
0
6 6 3 - 1 1


q C F
a =1 - - 2 1/0

b =3, 4, 6 6/1 3/1 4/0 1
Moore
Mealy
1
6
2
3
5
4
c =2 +5 6 3 2/1 5/1

Diagramme de fusionnement

a
c
b

Il faut associer des valeurs de sortie 0 ou 1 chaque tat total de commutation. En mode
synchrone, ces valeurs sont -.
Il reste ensuite coder les 3 tats avec 2 variables secondaires, ce qui donne 4 tats internes.
Systmes Logiques Travaux Dirigs - Corrigs
TD n 4 : Systmes Squentiels
correction
Exercice 4. Synthse en bascules synchrones
Ce systme na pas dentres en dehors de lhorloge H. Ses sorties correspondent aux trois
lampes (G, E et I). Chaque affichage constitue un tat du systme. Un tat est donc une
combinaison de ltat (allume (1) ou teinte (0)) des trois lampes. Par exemple ltat initial
toutes les lampes son teintes, la combinaison associe est 000. Le fonctionnement complet du
systme est dcrit par une succession daffichages. Le graphe dtats est une simple squence
des 7 tats. La squence termine revient son tat initial le graphe constitue un cycle.
1. On associe une bascule J K la commande de chaque lampe. La sortie de chaque bascule est
donc associe chaque variable interne reprsentant ltat des lampes. On dtermine les valeurs
des entres des trois bascules partir de la table de commande dune J K et de la table des tats :

Etats Etat
J -C Geffroy page 8











2. On dtermine lexpression des entres des 3 bascules (notes G, E et I).
La combinaison 110 nest pas spcifie.


EI
G
00

01 11 10

0
1-

1 -

1-

0-

1 -1 -1 -1 --



Prsents
GEI
Suivant
GEI
J
G
K K K J J
G E E I I
000 100 1 - 0 - 0 -
100 010 - 1 1 - 0 -
010 001 0 - - 1 1 -
001 101 1 - 0 - - 0
101 011 - 1 1 - - 0
011 111 1 - - 0 - 0
111 000 - 1 - 1 - 1
J =E+I
G
K =1
G
Systmes Logiques Travaux Dirigs - Corrigs
EI 00 01 11 10
J -C Geffroy page 9
G
J
E
=G
K =G+I
0
0-

0-

-0

-1

E
1 1- 1- -1 --

EI 00 01 11 10
G
J
I
=E
K =EG
0
0-

-0

-0

1-

I
1 0- -0 -1 --
Les sorties des bascules correspondent directement aux commandes des lampes.
3. Logigramme















G E
I
1 K
G
K
E K
I
H
J
G J
E
J
I
Q
G Q
E Q
I
Systmes Logiques Travaux Dirigs - Corrigs




J -C Geffroy page 10

f
g
a
b
c