J1k1, j2k2

Данная таблица легко получается из таблицы переходов-выходов и таблицы входов J-Kтриггера.

Условия работы автомата.

А) Условия функционирования выходов.

Из таблицы переходов-выходов имеем ( по знаменателям ):

Z1=20,[00,01,02,04,10,12,14,15,16,24,25,26,32,34,35,36,37]

Z2=01,02,10,12,15,25,26,32,35,37,[00,04,14,16,20,24,34,36]

Б) Условия функционирования блока управления памятью (входов элементов памяти).

Из таблицы возбуждения элементов памяти имеем:

J1=16,[00,01,02,04,10,12,14,15,35]

K1=[20,24,25,26,34,36,37]

J2=04,25,[00,01,02,20,24,26]

K2=12,34, [10,14,15,16,32,35,36,37]

Структурный синтез

I. Минимизация логических функций, записанных в символической форме, в восьмеричной системе счисления, полученных на этапе абстрактного синтеза. (База: y1y2abcd)

Т.к. представленные функции содержат более 4^хпеременных, то для их минимизации воспользуемся методом Викентьева: будем поразрядно сравнивать рабочие и запрещенные наборы. Так как число переменных в функциях -5, то решение задачи сводится к минимизации логической функции трех переменных с помощью куба соседних чисел для младшего разряда рабочих чисел и минимизации логической функции двух переменных с помощью квадрата соседних чисел для старшего разряда рабочих чисел.

Z1=20,[00,01,02,04,10,12,14,15,16,24,25,26,32,34,35,36,37]

Z2=01,02,10,12,15,25,26,32,35,37,[00,04,14,16,20,24,34,36]

Покрыты 01,15,25,35,37

Покрыты 02,12,32

Покрыты 10,12,32

Покрыты 02,26

J1=16,[00,01,02,04,10,12,14,15,35]

K1=[20,24,25,26,34,36,37]

На K₁не подается ни какого сигнала.

J2=04,25,[00,01,02,20,24,26]

K2=12,34,[10,14,15,16,32,35,36,37]

Для последующего физического синтеза синтезируемого ДУ, предлагаю использовать интегральные элементы из наиболее распространенной серии ИМС - К155. Т.к в этой серии основной логической схемой является схема И-НЕ, то полученные выражения будем преобразовывать к виду, удобному для реализации на элементах И-НЕ.

Преобразовав логические функции к требуемому виду, приступаем к получению функциональной схемы синтезируемого ДУ. Функциональная схема кодового замка, составленная вручную, представлена ниже, а также схема, разработанная пакетом PROEKT.

Анализ автомата на отсутствие состязаний типа "Риск в 1 " в функции выхода z2.

На этапе абстрактного синтеза была построена функция выхода Z₂, имеющая следующий вид в ДНФ:

Видим, что переменные с и у2 входят в нее как в прямом, так и в инверсном виде. Значит, в данном автомате возможны состязания по сигналам с и у2 типа риск в 1 при изменении их значения с 1 на 0.

Определим функции A₁,B₁,C₁по переменной с:

Для удобства функциюZ₂запишем в виде:

Тогда

Определим функцию риска в 1 по переменной с:

Определим функции A₁,B₁,C₁по переменнойy2:

Для удобства функциюZ₂запишем в виде:

Тогда

Определим функцию риска в 1 по переменной y2:

Общая формула риска в единице по переменным с и у2 будет иметь вид:

Итак, логическая формула, описывающая риск в единице в рассматриваемом ДУ, имеет вид (в СДНФ):

или в символическом виде при базе y₂y₁abc:

Полученный результат говорит о том, что в рассматриваемом ДУ на единичных наборах функции риска выход дискретного устройства равен 1, но т.к. по таблице переходов от наборов 31 к 30, от 30 к 10 и от 11 к 10 нет, то риска в 1, для данного автомата, нет.

АВТОМАТИЗИРОВАННЫЙ СИНТЕЗ АВТОМАТА НА ЭВМ