J1k1, j2k2

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

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

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

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

Z1=20,[00,01,02,04,10,11,13,15,22,23,26,31,32,33,37]

Z2=02,04,10,15,23,26,31,37,[00,01,11,13,20,22,32,33]

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

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

J1=13,[00,01,02,04,10,11,15]

K1=[20,22,23,31,32,33]

J2=01,[00,02,04,20,22,23,26]

K2=32,[10,11,13,15,31,33,37]

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

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

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

Z1=20,[00,01,02,04,10,11,13,15,22,23,26,31,32,33,37]

Z2=02,04,10,15,23,26,31,37,[00,01,11,13,20,22,32,33]

J1=13,[00,01,02,04,10,11,15]

K1=[20,22,23,31,32,33]

На К1 не подается никакого сигнала.

J2=01,[00,02,04,20,22,23,26]

K2=32,[10,11,13,15,31,33,37]

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

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

Анализ автомата на отсутствие состязаний типа "Риск в 1 ".

Функция выходаZ2 полученная на этапе абстрактного синтеза имеет вид:

Видно, что только в функцию Z2 входят переменные, находящиеся в прямом и инверсном видах –y1,y2,b,c. Значит, в данном автомате возможны состязания по сигналу a типа риск в 1 при изменении их значений с 1 на 0.

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

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

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

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

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

а в символическом виде:

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