Управляющий автомат Мили.
Состояниями в модели Мили для управляющего автомата, синтезируемого по ГСА, обозначаются выходы операторных вершин и входы ждущих вершин.
Эквивалентные состояния объединяются на входе следующей вершины в одно состояние. Корректируется ГСА так, чтобы пути проходили через операторные вершины.
Состояния обозначаются последовательно q0,q1,.. от начала ждущей вершины. Выделяются и обозначаются узлы i на входах условных вершин.
Входные управляющие сигналы Yi формируются параллельно и на тех же элементах И, реализующих условия перехода.
Память состояний автомата Мили может быть выполнена:
1. На DV - регистрах с унитарным кодированием;
2. На DV - регистрах с максимальным кодированием.
3. На сдвигающем регистре с унитарным кодированием.
4. На счетчике с максимальным кодированием.
Применение сдвигающих регистров и счетчиков не целесообразно, т.к. функции перехода совмещены с функциями выходов, а применение функциональных регистров упрощает .... функции переходов.
Составив структурную таблицу переходов/выходов, учитывая выделенные состояния и узлы i .
На основе структурной таблицы составляются общие для всех вариантов расчета схем уравнения переходов/выходов.
Y
* Q`
Q * X
где : Q` - следующее состояние;
Y - управляющий сигнал (микрокоманды) формируемый на переходе в Q состояние;
Q - текущее состояние;
X - условия перехода между состояниями.
Для каждого варианта организации память рассчитывается сложность схемы.
Уравнения переходов/выходов
|
уравнения |
|
|
|
|
|
Q0/- <= Q0x0
|
|
|
|
|
|
Q0/Y20 <= Q11
|
|
|
|
|
|
Q0 = Q0x0Ú Y20 |
|
|
|
|
|
Q1/- <= Q1x3
|
|
|
|
|
|
Q1/Y21 <= Q0x0x1 |
|
|
|
|
|
Q1 = Q1x3Ú Y21
|
|
|
|
|
|
Q2/ Y10 <= Q0x0x1x2
|
|
|
|
|
|
Q2/Y31 <= Q1x3x2 |
|
|
|
|
|
Q2 = Y10Ú Y31
|
|
|
|
|
|
Q3/Y22 <= Q2
|
|
|
|
|
|
Q3/ Y30 <= Q0x0x1x2
|
|
|
|
|
|
Q3 = Y22ÚY30
|
|
|
|
|
|
Q4/Y5 <= Q3
|
|
|
|
|
|
Q4/ Y4 <= Q1x3x2
|
|
|
|
|
|
Q4 = Y4 Ú Y5
|
|
|
|
|
|
Q5/Y13 <= Q4
|
|
|
|
|
|
Q5 = Y13
|
|
|
|
|
|
Q6/Y7 <= Q5x3
|
|
|
|
|
|
Q6 = Y7 |
|
|
|
|
|
Q7/Y714 <= Q6
|
|
|
|
|
|
Q7 = Y17
|
|
|
|
|
|
Q8/- <= Q8x5 |
|
|
|
|
|
Q8/Y15 <= Q7x6 |
|
|
|
|
|
Q8 = Q8x5Ú Y15
|
|
|
|
|
|
Q9/Y21 <= Q8x5
|
|
|
|
|
|
Q9 = Y21 |
|
|
|
|
|
Q10/Y17 <= Q7x6
|
|
|
|
|
|
Q10/- <= Q10x4 |
|
|
|
|
|
Q10 = Q10x4Ú Y17
|
|
|
|
|
|
Q11/Y16 <= Θx8
|
|
|
|
|
|
Q11/ Y18 <= Q9x7x8 |
|
|
|
|
|
Q11/ Y19 <= Q9x7x8 |
|
|
|
|
|
Q11/Y17 <= Θx8
|
|
|
|
|
|
Θ <= Q10x4Ú Q9x7 Q11 = Y16Ú Y17Ú Y18Ú Y19 Q11 = Y16Ú Y17Ú Y18Ú Y19 |
|
|
|
|
|
Q11 = Y16Ú Y17Ú Y18Ú Y19 |
|
|
|
|
|
|
|
|
|
|