You are on page 1of 20

Chapitre 3 : Analyse Synchrone

Analyse synchrone
Le but de l’analyse est de comprendre le fonctionnement d’une machine logique déjà existante. Cette analyse se déroule toujours de la manière suivante : 1. Identifier les différentes parties du schéma générale d’une machine logique :

X CCE

E CB

Q CCS

S

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 déjà fait en 3) Dessiner le graphe de Transition

La machine logique étant synchrone. • La table de sortie (tableau de Karnaugh) exprime la valeur des sorties en fonction de l’état présent et des commandes si il y a lieu. • Le graphe des états représente de manière graphique la table des états. • Le graphe de transition représente de manière graphique la table de transition.Analyse synchrone Définitions : • La table de transition (tableau de Karnaugh) exprime la valeur de l’état suivant en fonction des excitations X. l’évolution des différentes variables se fait sur un front actif de l’horloge. • La table des états (tableau de Karnaugh) indique l’état suivant en fonction des excitations X. .

Analyse avec bascule T (entrée) X E0 Q0 T0 H0 C0 Q0 Q0 CCE E1 Q1 (sortie) Z T1 H1 C1 Q1 Q1 CCS CLK RESET CB Équation caractéristique d’une bascule T Q + = TQ + T Q .

Analyse avec bascule T Q0+ = E0 Q0 + E0 Q0 (entrée) 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 Entrée X=0 Vers État suivant La machine logique passe à 0 lorsque elle a détecté l’entrée à 1 pendant 3 fronts actifs d’horloge. 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 Entrée X=0 Vers État suivant La machine logique passe à 0 lorsque elle a détecté l’entrée à 1 pendant 3 fronts actifs d’horloge. 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 l’entrée de forçage RESET (asynchrone) .

Exemple n°2 : Schéma et Equations Y X CLK D Q Q Z Excitation : D = X·Q = Q+ Sorties : Y = X ⊕ Q Z=Q Mealy Moore 11 .

01 0.1 0.ZY 12 Moore 1 1 1 0 0 Z 0 1 1 Q 0 1 0 0.11 X 1 1.1 X 1 1.00 0.0 0.Exemple n°2 : Tables Excitation / Sortie : X Q 0 1 0 0 0 0 0 Q+ D = X·Q = Q+ Q 0 1 0 0.10 Q+.Y Mealy Mealy .0 Q+.

10 Mealy Etat / Sortie : S+.01 A.ZY X S A B 0 A.Exemple n°2 : Tables Excitation / Sortie : Q A B 0 1 0 0.00 0.11 1 B.00 A.ZY 13 .01 0.10 Q+.11 X 1 1.

14 .Exemple n°2 : Graphes Moore 0 1 Format: Arc = entrée X Nœud = état/sortie Z B 1 A 0 0.1 Mealy 1 1 0 0 0 1 0 A B Format: Arc = entrée X / Sortie Y Nœud = état 1 .

Exemple n°2 : Graphes Format: Arc = entrée X / Sortie ZY Nœud = état Mealy 1 01 0 00 0 1 11 . 10 A B 15 .

Exemple n°3 : Machine d’état 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 = X·Q1 + Q2 16 .

Exemple n°3 .Equations Excitation J1 = X K1 = X·Y J2 = X K2 = 0 Equation Caractéristique Q+ = J·Q + K·Q Q1+ = J1·Q1 + K1·Q1 Q2+ = J2·Q2 + K2·Q2 Equations de transition Q1 + = X·Q1 + (X·Y) ·Q1 = X·Q1 + X·Q1 + Y·Q1 Q2 + = X·Q2 + 0·Q2 = X·Q2 + Q2 17 .

1 11.0 10.0 01.1 10.0 11.0 01.1 10.0 11.1 01.0 01.1 01.0 11.1 11.Exemple n°3 : Table de Transition/Sortie Q1 + = = X·Q1 + X·Q1 + Y·Q1 Q2 + = X·Q2 + Q2 XY S A B C D Q1 Q2 0 0 1 1 0 1 0 1 00 01.1 00. Z 18 .1 11.0 01.1 11.1 01.0 10.1 10 10.1 11.1 Q1+Q2+.1 11.0 11.1 11.0 11.1 01.1 01 01.1 11.1 11 10.0 11.1 00.

1 19 .1 B.1 D.0 D.1 C.1 D. Z 11 C.Exemple n°3 : Table des États/Sortie XY S A B C D 00 B.1 D.1 B.0 D.0 D.0 B.1 A.0 C.1 D.0 B.1 10 C.1 D.1 A.0 D.1 01 B.0 D.1 C.0 C.1 B.1 D.0 B.1 D.1 S+ .

01.11 0 C 10 1 00.01 0 A 10.Exemple 3 – Graphe des états Format : entrées xy sortie z 00.01 1 11 1 00.01 0 11 1 B 10.11 1 D 00.10 1 20 .