TD 8 Logique Séquentielle – MEF

1. Passage à niveau

𝐸 𝑆
𝐸𝑆 𝑏
• On rassemble les entrées en 𝐸 = 𝐸1 + 𝐸2
00 0 et 𝑆 = 𝑆1 + 𝑆2

10 1
• En rassemblant les états équivalents (1ère et
00 1 dernière lignes), on parvient à identifier 4
01 1 états stables que l’on note A à D

00 0
• On va utiliser une machine de Moore
 𝟎𝟏 TD 8 Logique Séquentielle – MEF
1. Passage à niveau
𝑑1 𝑑0
𝐸𝑆 𝐸𝑆
𝑫/𝟏 𝑒1 𝑒0 00 01 11 10
𝑒1 𝑒0 00 01 11 10
𝟎𝟏 0 𝑋 𝑋 0
00 00 0 𝑋 𝑋 1
01 1 𝑋 𝑋 0 01 0 𝑋 𝑋 1
11 0 1 𝑋 𝑋 11 0 1 𝑋 𝑋
10 1 1 𝑋 𝑋 10 0 1 𝑋 𝑋
𝟎𝟎

𝟎𝟎
𝑨/𝟎 𝑪/𝟏
𝒅𝟏 = 𝑺 + 𝒆𝟏 𝒆𝟎 + 𝑬𝒆𝟎 𝒆𝟏
𝒅𝟎 = 𝑺 + 𝑬
𝟎𝟎
𝟏𝟎 𝑩/𝟏
𝒃 = 𝒆𝟏 + 𝒆𝟎
𝟏𝟎

Etat Entrées Bascules

Etat a) Table desfutur
états a) Table des états Sortie
actuel 𝟎𝟎 𝟎𝟏 𝟏𝟎 𝟏𝟏 𝒅𝟏 𝒅𝟎 𝒅𝟏 𝒅𝟎 𝒅𝟏 𝒅𝟎 𝒅𝟏 𝒅𝟎
𝟎𝟎 𝟎𝟎 − 𝟎𝟏 − 𝟎 𝟎 − − 𝟎 𝟏 − − 𝟎
𝟎𝟏 𝟏𝟎 − 𝟎𝟏 − 𝟏 𝟎 − − 𝟎 𝟏 − − 𝟏
𝟏𝟎 𝟏𝟎 𝟏𝟏 − − 𝟏 𝟎 𝟏 𝟏 − − − − 𝟏
𝟏𝟏 𝟎𝟎 𝟏𝟏 − − 𝟎 𝟎 𝟏 𝟏 − − − − 𝟏
 TD 8 Logique Séquentielle – MEF
2. Détecteur de passage

𝑎1 𝑎0 𝑎1 𝑎0 𝐶𝐼𝑛𝑐
• Entrées : capteurs 𝑎1 et 𝑎0
00 00

10 00
• Sorties : 𝐶 bit désignant le passage (1) ou
11 00 non (0) de l’objet, 𝐼𝑛𝑐 bit désignant le sens
de passage (1 : incrément, 0: décrément)
01 01

00 11
• En rassemblant les états équivalents, on
00 00 parvient à identifier 7 états stables que
l’on note A à G
01 00

11 00
• Si l’on utilise machine de Mealy, on
10 00 économise 2 états → A à E
00 10
 TD 8 Logique Séquentielle – MEF
2. Détecteur de passage

𝟏𝟏/𝟎𝟎
𝟏𝟏
𝟏𝟏 𝟏𝟏/𝟎𝟎

𝑩/𝟎𝟎 𝑪/𝟎𝟎 𝑩 𝑪
𝟏𝟎

𝟎𝟏
𝟎𝟏
𝟎𝟎 𝟎𝟏
𝑨/𝟎𝟎 𝟏𝟎
𝑫/01 𝑨 𝑫
𝑮/𝟏𝟏
𝟎𝟎
𝟎𝟎 𝟎𝟎/𝟏𝟏

𝑭/𝟏𝟎 𝑬/𝟎𝟎 𝑬
𝟎𝟎
𝟎𝟎

𝟏𝟎

MOORE MEALY
 TD 5 Logique Combinatoire – Comparateur
Entrées Bascules
Etat Sorties
Etat a) Table desfutur
états a) Table des états
𝒂𝟏 = 𝟎
𝒂𝟎 = 𝟏 𝒂𝟎 = 𝟎
𝒂𝟏 = 𝟏
𝒂𝟎 = 𝟏
actuel 𝒂𝟎 = 𝟎
𝟎𝟎 𝟎𝟏 𝟏𝟎 𝟏𝟏 𝒅𝟐 𝒅𝟏 𝒅𝟎 𝒅𝟐 𝒅𝟏 𝒅𝟎 𝒅𝟐 𝒅𝟏 𝒅𝟎 𝒅𝟐 𝒅𝟏 𝒅𝟎 𝒔𝟏 𝒔𝟎
𝟎𝟎𝟎 𝟎𝟎𝟎 𝟎𝟎1 𝟎𝟎𝟏 − 𝟎 𝟎 𝟎 𝟎 𝟎 𝟏 𝟎 𝟎 𝟏 − − − 𝟎 𝟎
𝟎𝟎𝟏 − 𝟎𝟎𝟏 𝟎𝟎𝟏 𝟎𝟏𝟎 − − − 𝟎 𝟎 𝟏 𝟎 𝟎 𝟏 𝟎 𝟏 𝟎 𝟎 𝟎
𝟎𝟏𝟎 − 𝟎𝟏𝟏 𝟏𝟎𝟎 𝟎𝟏𝟎 − − − 𝟎 𝟏 𝟏 𝟏 𝟎 𝟎 𝟎 𝟏 𝟎 𝟎 𝟎
𝟎𝟏𝟏 𝟏𝟏𝟎 𝟎𝟏𝟏 − − 𝟏 𝟏 𝟎 𝟎 𝟏 𝟏 − − − − − − 𝟎 𝟏

𝟏𝟎𝟎 𝟏𝟎𝟏 − 𝟏𝟎𝟎 − 𝟏 𝟎 𝟏 − − − 𝟏 𝟎 𝟎 − − − 𝟎 𝟎

𝟏𝟎𝟏 𝟎𝟎𝟎 − − − 𝟎 𝟎 𝟎 − − − − − − − − − 𝟏 𝟎
𝟏𝟏𝟎 𝟎𝟎𝟎 − − − 𝟎 𝟎 𝟎 − − − − − − − − − 𝟏 𝟏
 TD 5 Logique Combinatoire – Comparateur

Etat futur Sorties

Etat
𝒂𝟏 𝒂𝟎 = 𝟎𝟎 𝒂𝟏 𝒂𝟎 = 𝟎𝟏 𝒂𝟏 𝒂𝟎 = 𝟏𝟎 𝒂𝟏 𝒂𝟎 = 𝟏𝟏 𝒂𝟏 𝒂𝟎 = 𝟎𝟎 𝒂𝟏 𝒂𝟎 = 𝟎𝟏 𝒂𝟏 𝒂𝟎 = 𝟏𝟎 𝒂𝟏 𝒂𝟎 = 𝟏𝟏
actuel
𝒅𝟐 𝒅𝟏 𝒅𝟎 𝒅𝟐 𝒅𝟏 𝒅𝟎 𝒅𝟐 𝒅𝟏 𝒅𝟎 𝒅𝟐 𝒅𝟏 𝒅𝟎 𝒔𝟏 𝒔𝟎 𝒔𝟏 𝒔𝟎 𝒔𝟏 𝒔𝟎 𝒔𝟏 𝒔𝟎
000 0 0 0 0 0 1 0 0 1 - - - 0 0 0 0 0 0 - -
001 - - - 0 0 1 0 0 1 0 1 0 - - 0 0 0 0 0 0
010 - - - 0 1 1 1 0 0 0 1 0 - - 0 1 0 0 0 0
011 0 0 0 0 1 1 - - - - - - 1 1 0 1 - - - -
100 0 0 0 - - - 1 0 0 - - - 1 0 - - 0 0 - -