Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
23
Добавлен:
10.12.2013
Размер:
470.53 Кб
Скачать

Анализ автомата на отсутствие состязаний типа "Риск в 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) );

Соседние файлы в папке ЭВТ-3-Курсовой-Коган (2)