Chapitre 3 : Analyse Synchrone

Analyse synchrone
Le but de lanalyse est de comprendre le fonctionnement dune machine logique dj existante. Cette analyse se droule toujours de la manire suivante : 1. Identifier les diffrentes parties du schma gnrale dune machine logique :

X CCE

E CB

Q CCS

2. 3. 4. 5. 6.

tablir les quations des excitations : E = F(X,Q) crire la table de Transition Q+= G(E) et la table de sortie Coder les tats et crire la table des tats crire la table des sorties (si pas dj fait en 3) Dessiner le graphe de Transition

Analyse synchrone
Dfinitions :
La table de transition (tableau de Karnaugh) exprime la valeur de ltat suivant en fonction des excitations X. Le graphe de transition reprsente de manire graphique la table de transition. La table des tats (tableau de Karnaugh) indique ltat suivant en fonction des excitations X. Le graphe des tats reprsente de manire graphique la table des tats. La table de sortie (tableau de Karnaugh) exprime la valeur des sorties en fonction de ltat prsent et des commandes si il y a lieu.

La machine logique tant synchrone, lvolution des diffrentes variables se fait sur un front actif de lhorloge.

Analyse avec bascule T

(entre) X E0 Q0

T0 H0 C0

Q0 Q0

CCE
E1 Q1

(sortie) Z

T1 H1 C1

Q1 Q1

CCS

CLK RESET

CB

quation caractristique dune bascule T

Q + = TQ + T Q

Analyse avec bascule T

Q0+ = E0 Q0 + E0 Q0
(entre) X E0 T0 H0 C0 Q0 Q0

quations des Excitations: E0 = X E1 = X Q0

(sortie) Z

E1

T1 H1 C1

Q1 Q1

quations de transition :

Q0+ = X Q0 + X Q0 Q1+ = XQ0 Q1 + XQ0Q1 Q1+ = XQ0 Q1 + X Q1 + Q0Q1

quation de sortie :

CLK RESET

Q1+ =E1 Q1+ E1 Q1

Z = Q0 + Q1
Machine de Moore

Table de transition et de sortie

quations de transition : quation de sortie :

Q0+ = X Q0 + X Q0

Q1+ = X Q1Q0 + X Q1 + Q1 Q0

Z = Q0 + Q1

Table de Transition et de sortie

Q1+ Q0+
X Q1 Q0 00 01 11 10 00 01 11 10 01 10 00 11 0 1 1 1 0 1 Z Codage symbolique des tats

A B C D

Graphe de transition
Graphe de transition : Format:
X=0 Code tat/ Sortie Entre X=0 Vers tat suivant La machine logique passe 0 lorsque elle a dtect lentre 1 pendant 3 fronts actifs dhorloge. 00 Z=0 X=1 11 Z=1 X=1 X=1 01 Z=1 X=1 10 Z=1 X=0

X=0

Table des tats et de sortie

Table des tats et de sortie

Q1+ Q0+
X Q1 Q0 A B C D A B C D B D A C 0 1 1 1 0 1 Z

Graphe des tats

Graphe des tats : Format:
X=0 tat Sortie Entre X=0 Vers tat suivant La machine logique passe 0 lorsque elle a dtect lentre 1 pendant 3 fronts actifs dhorloge. A Z=0 X=1 C Z=1 X=1 X=1 B Z=1 X=1 D Z=1 X=0

X=0

Exemple 1 :Chronogramme
RESET X CLK ETAT Q1 Q0 Z A A B D D C C A

volution sur front actif sauf pour lentre de forage RESET (asynchrone)

Exemple n2 : Schma et Equations

Y X CLK D Q Q Z

Excitation :

D = XQ = Q+

Sorties : Y = X Q Z=Q

Mealy Moore

11

Exemple n2 : Tables
Excitation / Sortie : X Q 0 1 0 0 0 0 0 Q+ D = XQ = Q+ Q 0 1 0 0,00 0,11 X 1 1,01 0,10 Q+,ZY
12

Moore 1 1 1 0 0 Z 0 1 1 Q 0 1 0 0,0 0,1

X 1 1,1 0,0 Q+,Y

Mealy

Mealy

Exemple n2 : Tables
Excitation / Sortie : Q A B 0 1 0 0,00 0,11 X 1 1,01 0,10 Q+,ZY X S A B 0 A,00 A,11 1 B,01 A,10 Mealy

Etat / Sortie :

S+,ZY
13

Exemple n2 : Graphes
Moore
0 1

Format: Arc = entre X Nud = tat/sortie Z B 1

A 0
0,1

Mealy
1 1 0 0 0 1 0

Format: Arc = entre X / Sortie Y Nud = tat

1 ,

14

Exemple n2 : Graphes
Format: Arc = entre X / Sortie ZY Nud = tat Mealy
1 01 0 00 0 1 11 , 10

15

Exemple n3 : Machine dtat avec des bascules J-K

X Y J K Q Q 1 Q Machine de Mealy J Q Q2 Z

J1 K1 J2 K2

K Q Equation de sortie :

CLK

Z = XQ1 + Q2

16

Exemple n3 - Equations
Excitation
J1 = X K1 = XY J2 = X K2 = 0 Equation Caractristique Q+ = JQ + KQ Q1+ = J1Q1 + K1Q1 Q2+ = J2Q2 + K2Q2

Equations de transition Q1 + = XQ1 + (XY) Q1 = XQ1 + XQ1 + YQ1 Q2 + = XQ2 + 0Q2 = XQ2 + Q2

17

Exemple n3 : Table de Transition/Sortie

Q1 + = = XQ1 + XQ1 + YQ1 Q2 + = XQ2 + Q2 XY S A B C D Q1 Q2 0 0 1 1 0 1 0 1 00 01,0 01,0 01,1 01,1 11,0 11,0 11,1 11,1 01 01,0 01,0 01,1 01,1 11,0 11,0 11,1 11,1 11 10,0 10,0 11,1 11,1 00,1 00,1 01,1 01,1 10 10,0 10,0 11,1 11,1 10,1 10,1 11,1 11,1

Q1+Q2+, Z

18

Exemple n3 : Table des tats/Sortie

XY S A B C D 00 B,0 B,1 D,0 D,1 01 B,0 B,0 B,1 B,1 D,0 D,0 D,1 D,1 S+ , Z 11 C,0 C,0 D,1 D,1 A,1 A,1 B,1 B,1 10 C,0 C,0 D,1 D,1 C,1 C,1 D,1 D,1

19

Exemple 3 Graphe des tats

Format : entres xy sortie z
00,01 0 A 10,11 1 D 00,01 0 11 1 B 10,11 0 C 10 1

00,01 1

11 1 00,01,10 1

20