Fonction de sortie machine de Mealy

On recopie les états stables :
 Z  0 1 a
000
001
011
010
100   1
101 0
111 0
110 1 1
y1y2y3

On part ensuite d'un état stable et on change un bit d'entrée. On suit alors le chemin dicté par la table de départ codée. Exemple : partons de L'état stable 101;0 (y1y2y3;a) en changeant le bit a de 0 vers 1 ; on se déplace donc d'une case vers la droite. La table d'état nous dit que cet état envoie vers 100 => on se déplace verticalement jusqu'en 100;1 qui se trouve être un état stable. Maintenant qu'on sait par où on passe, il faut décider de la sortie de cet état : 1, 0 ou — (don't care), et ce en évitant les glitches. Dans cet exemple, on passe de 0 -> 1, donc on s'en fout que la sortie intermédiaire soit à 1 ou 0 => on met un —. Il faut garder à l'esprit qu'une autre transition peut passer par ce même état mais pour laquelle un don't care entraînerait un glitch. Quand on doit choisir entre un 0 ou un —, ou entre un 1 et un —, c'est toujours la sortie définie qui l'emporte (le — perd).

La table ressemble maintenant à ceci :
 Z  0 1 a
000
001
011
010
100   1
101 0 —
111 0
110 1 1
y1y2y3

À présent, partons de 100;1 en changeant a de 1 vers 0 (déplacement vers la gauche). On passe par 100, puis 000 et enfin 110 qui est un état stable. La sortie de départ est à 1 et l'arrivée est aussi à 1. Dans ce cas on n'a pas le choix, toutes les transitions doivent être définies à 1.

Table :
 Z  0 1 a
000 1
001
011
010
100 1 1
101 0 —
111 0
110 1 1
y1y2y3

On procède de la même manière pour 111;0

 Z  0 1 a
000 1 0
001
011   0
010
100 1 1
101 0 —
111 0 0
110 1 1
y1y2y3

Maintenant que toutes les transitions partant des états stables ont été parcourues, on peut remplir les trous par des — :

 Z  0 1 a
000 1 0
001 — —
011 — 0
010 — —
100 1 1
101 0 —
111 0 0
110 1 1
y1y2y3

Il ne reste plus qu'à résoudre cette K-map. Pour info, j'obtiens Z = y1y3 + y1'a'