R1s1, r2s2

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

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

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

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

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

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

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

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

R1=15,[ 00,01,02,04,10,14,16]

S1=[15,20,24,25,26,31,34,35,37]

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

S2=34,[04,10,14,15,16,31,35,37]

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

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

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

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

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

Покрыты 02,16,26,37

Покрыты 10,31

Покрыты 01,25

R1=15,[ 00,01,02,04,10,14,15,16]

S1=[15,20,24,25,26,31,34,35,37]

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

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

S2=34,[04,10,14,15,16,31,35,37]

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

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

&

&

Z₁

DD1

R₁

TT

Y₁

DD2

S₁

DD4

&

&

DD5

DD6

TT

Y₂

R₂

&

Y₂

DD8

DD7

&

&

Z₁

DD11

DD12

&

DD13

&

&

Z₂

DD15

DD18

Кодовый замок

Лит

Масса

.

Схема функциональная

М

Изм

Лист

№ докум

Подп

Дата

Разраб.

Проверил

У

Лист

Коган Т.И.

Файзуллин А.М.

Листов

ПГТУ

ЭВТ-02

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

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

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

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

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

Тогда

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

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

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

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

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

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