Разметка графа микропрограммы

При использовании МПА на основе автомата Мили, как и в случае автомата Мура, состояния автомата отображаются в виде окружностей, но каждое состояние автомата ассоциируется не с вершинами графа (точками формирования управляющих сигналов), а с переходами через эти вершины.

Основные правила разметки графа микропрограммы для автомата Мили:

1. Начальное состояние а0отмечается на выходе начальной вершины МП. Остальные состояния ставятся после операторной вершины.

2. Выход начальной и вход конечной вершины графа МП соответствуют состоянию а0 графа автомата Мили.

3. Вход вершины, следующей за операторной вершиной графа МП, соответствует определенному состоянию автомата Мили.

4. Отметка состояния аi ставится на входе вершины ниже стрелок из операторных вершин и выше стрелок из условных вершин.

На рис.8.5 и 8.6 представлены примеры, поясняющие правила разметки графа МП при построении графа автомата Мили и пример построения графа автомата Мили.

Первая часть последнего правила применяется для сокращения числа состояний автомата, вторая часть – для исключения пустых тактов. Например, при отметке состояния графа МП ниже стрелки из условной вершины (точка b2) появляется пустой такт (без формирования сигналов управления) при переходе из вершины a0 на вершину b2.

Соблюдение указанных правил позволяет для МП со сложными переходами составлять графы автоматов с уменьшенным количеством вершин, т.е. с меньшим количеством состояний. При этом могут использоваться более простой регистр и дешифратор состояний.

Состояния автомата Мили обозначены в вершинах графа. Вершины соединены путями возможных переходов. Рядом с каждым путем перехода (над чертой) указаны комбинации сигналов оповещения, которые определяют эти переходы. Отсутствие сигналов оповещения (безусловные переходы) обозначено прочерком. Рядом (под чертой) представлены микрокоманды - Y_i (наборы формируемых сигналов управления).

Разметка графа МП и граф микропрограммного автомата Мили для устройства алгебраического сложения/вычитания целых чисел со знаком в прямом коде представлены на рис 8.6 и рис. 8.7.

Рис.8.6.Пример разметки графа МП для построения графа автомата Мили

Рис.8.7.Пример построения графа автомата Мили

Конкретные наборы микроопераций для каждой микрокоманды представлены в табл. 11 (Совмещенная таблица выходов и переходов автомата Мили).

Таблица 11. Совмещенная таблица выходов и переходов автомата Мили

Исходное состояние	Код исходного состояния	Состояние перехода	Код состояния перехода	Входные сигналы (оповещения)	Выходные сигналы	Сигналы переходов D-триг.	Сигналы переходов JK-триг.
а0		а1		–	у1	D3	J3
а1		а6		–	у2, y6(tз),	D1D2	J1, J2, K3
а6		а2		p	y4,y6(tз),	D2	K1
а6		а3			y4, у5, y6(tз)	D2 D3	J1, K3,
а3		а2		X3	y5, y6(tз), y7,	D2	K3
а3		а2			y7, ,	D2	K3
а2		а0			y3		K2,
Формирование сигнала окончания цикла W = а2.

Совмещенная таблица выходов и переходов автомата Мили строится по графу автомата (рис.8.9) аналогично построению таблицы выходов и переходов автомата Мура.

Проектирование комбинационной схемы выходов (см. рис. 8.1)

Особенностью автомата Мили является то, что для него переходы являются функцией двух переменных:

y(a_i) = f [a(a_i), b(х_i)],

т.е. зависят от состояния a_i и сигналов оповещения y_i.

Следовательно, для определения функций выходных сигналов (микрокоманд) нужно отметить все состояния автомата, в которых они должны формироваться c учетом сигналов оповещения, атакже, возможно, произвести простейшие преобразования уравнений:

y₁ = a0 (1),

y₂ = a1 (2),

y₃ = a2 (3),

y₄ = a6 (4),

y₅ = a6 +a3 X₃ (5),

y_6(tз) = а1 + a6 + a3 X₃= a6 + X₃ a3, (6),