
- •Построение и минимизация Первичной таблицы переходов-выходов
- •Построение реализуемой таблицы переходов.
- •Построение таблиц переходов-выходов и возбуждений элементов памяти.
- •Анализ автомата на отсутствие состязаний типа "Риск в 1”
- •Автоматизированный синтез автомата на эвм
- •Сравнение ручного и машинных решений.
- •Элементы физического синтеза.
- •Список литературы:
Анализ автомата на отсутствие состязаний типа "Риск в 1”
Функции выходов полученный на этапе абстрактного синтеза:
В
идно,
что только в функцию Z2
входят переменные, находящиеся в прямом
и инверсном видах – А, B,
C, Y2. Значит, в данном автомате возможны
состязания по сигналу a
типа риск в 1 при изменении его значения
с 1 на 0.
Определим функции A1, B1, C1 по переменной А:
Определим функции A1, B1, C1 по переменной B:
следовательно риска в единице в этом случае не будет.
Определим функции A1, B1, C1 по переменной С:
Определим функции A1, B1, C1 по переменной Y2:
Общая формула риска в единице будет выглядеть так:
а в символическом виде:
Переходы ДУ:
30>10
10>0
14>34
6>15
37>17
Полученные в результате анализа на предмет риска в единице переходы не совпадают с имеющимися в синтезированном ДУ.
Полученный результат говорит о том, что в рассматриваемом ДУ риска в единице не будет.
Автоматизированный синтез автомата на эвм
PAMJAT = 'JK' - унивеpсальныe тpиггеpа'
STR = 12, STO = 8, XRAZV = 1, XRAZB = 3, ZRAZB = 2
Схема построена на 'И-НЕ' элементах
База входного слова: a,b,c;
База выходного слова: z1,z2;
Пеpвичная таблица пеpеходов-выходов:
╔═════╦════════════════════════════════════════╦═════╗
║N.вн.║ Вх.слова ║вых. ║
║сост.║ 0 1 2 3 4 5 6 7 ║¤1¤0 ║
╠═════╬════════════════════════════════════════╬═════╣
║ 1 ║ - - - 6 - 7 2 1 ║ 0 0 ║
║ 2 ║ - - 8 - 3 - 2 9 ║ 0 0 ║
║ 3 ║ 4 - - - 3 - 10 9 ║ 0 0 ║
║ 4 ║ 4 11 5 - 12 - - - ║ 0 0 ║
║ 5 ║ - - 5 - - - - - ║ 1 0 ║
║ 6 ║ - - - 6 - - - - ║ 0 1 ║
║ 7 ║ - - - - - 7 - - ║ 0 1 ║
║ 8 ║ - - 8 - - - - - ║ 0 1 ║
║ 9 ║ - - - - - - - 9 ║ 0 1 ║
║ 10 ║ - - - - - - 10 - ║ 0 1 ║
║ 11 ║ - 11 - - - - - - ║ 0 1 ║
║ 12 ║ - - - - 12 - - - ║ 0 1 ║
╚═════╩════════════════════════════════════════╩═════╝
Матpица объединеных стpок:
╔═════╦═════════════════════════════════════════════════╗
║Nстp.║N стp. ║
║мин. ║пеpв.табл. ║
║табл.║ 1 2 3 4 5 6 7 8 9 10 11 12 ║
╠═════╬═════════════════════════════════════════════════╣
║ 1 ║ 1 0 0 1 1 1 1 0 0 0 1 1 ║
║ 2 ║ 0 1 0 0 0 0 0 1 1 0 0 0 ║
║ 3 ║ 0 0 1 0 0 0 0 0 0 1 0 0 ║
╚═════╩═════════════════════════════════════════════════╝
Минимизиpованная таблица пеpеходов:
╔═════╦═════════════════════════════════╗
║N.вн.║ Вх.слова ║
║сост.║ 0 1 2 3 4 5 6 7 ║
╠═════╬═════════════════════════════════╣
║ 1 ║ 1 1 1 1 1 1 2 1 ║
║ 2 ║ - - 2 - 3 - 2 2 ║
║ 3 ║ 1 - - - 3 - 3 2 ║
╚═════╩═════════════════════════════════╝
Матpица выходов:
╔═════╦═════════════════════════════════╗
║N.вн.║ Вх.слова ║
║сост.║ 0 1 2 3 4 5 6 7 ║
╠═════╬═════════════════════════════════╣
║ 1 ║ 00 01 10 01 01 01 00 00 ║
║ 2 ║ -- -- 01 -- 00 -- 00 01 ║
║ 3 ║ 00 -- -- -- 00 -- 01 01 ║
╚═════╩═════════════════════════════════╝
Pеализуемая таблица пеpеходов:
╔═════╦═════════════════════════════════╦═════╗
║N.вн.║ Вх.слова ║Вн. ║
║сост.║ 0 1 2 3 4 5 6 7 ║сост.║
╠═════╬═════════════════════════════════╬═════╣
║ 1 ║ 1 1 1 1 1 1 2 1 ║ 00 ║
║ 2 ║ 1 - 2 - 3 - 2 2 ║ 01 ║
║ 3 ║ 2 - - - 3 - 3 2 ║ 11 ║
║ 4 ║ - - - - - - - - ║ 10 ║
╚═════╩═════════════════════════════════╩═════╝
Конечная матpица выходов:
╔═════╦═════════════════════════════════╗
║N.вн.║ Вх.слова ║
║сост.║ 0 1 2 3 4 5 6 7 ║
╠═════╬═════════════════════════════════╣
║ 1 ║ 00 01 10 01 01 01 00 00 ║
║ 2 ║ 00 -- 01 -- 00 -- 00 01 ║
║ 3 ║ 00 -- -- -- 00 -- 01 01 ║
║ 4 ║ -- -- -- -- -- -- -- -- ║
╚═════╩═════════════════════════════════╝
Базис: y1,y2,a,b,c
'JK' - унивеpсальныe тpиггеpа'
Уpавнения возбуждения элементов памяти:
J1 = y2*a*~b;
K1 = ~a + c;
J2 = a*b*~c;
K2 = ~y1*~a*~b;
Уpавнения выходов:
z1 = ~y2*~a*b*~c;
z2 = ~b*c + ~a*c + ~y2*a*~b + y2*~a*b + y2*c + y1*b;
Теперь выводим на элементах И-НЕ
'JK' - унивеpсальныe тpиггеpа'
Уpавнения возбуждения элементов памяти:
J1 = ~( ~( y2*a*~b ) );
K1 = ~( ~(~a) * ~(c) );
J2 = ~( ~( a*b*~c ) );
K2 = ~( ~( ~y1*~a*~b ) );
Уpавнения выходов:
z1 = ~( ~( ~y2*~a*b*~c ) );
z2 = ~( ~(~b*c) * ~(~a*c) * ~(~y2*a*~b) * ~(y2*~a*b) * ~(y2*c) *
~(y1*b) );