3.5 Получение условий работы синтезируемого

дискретного устройства

Таблицы переходов-выходов и возбуждений легко позволяют получить условия работы синтезируемого ДУ, т.е. условия функционирования блока формирования выходных сигналов (условия появления выходных сигналов z₁,z_{2 ,}…,z_m) и условия функционирования блока управления памятью (условия появления сигналов управления памятьюu₁,u₂,…,u_l).

Условия функционирования выходов ДУ определяются из таблицы переходов-выходов (только для выходов). Те такты (клетки) таблицы переходов-выходов, в которых значение данного выхода z_i.равно 1, определяют при выбранной базе его рабочие состояния, а такты, в которых значение выходаz_i.равно 0, определяют запрещенные состояния.

Если в качестве элементов памяти взяты линии задержки на 1 такт (обычные бесконтактные логические элементы), то, как известно, таблица возбуждений совпадает с таблицей переходов-выходов (для элементов памяти).

Условия функционирования входов элементов памяти u₁,u₂, …,u_lопределяются в символической форме аналогично условиям функционирования выходов. Те клетки таблицы переходов-выходов (только для элементов памяти), где значение у (t+1) равно 1, определяют рабочие весовые состояния для данного ЭПu_i., а те клетки (такты), где значение у (t+1) равно 0, определяют запрещенные состояния для данного ЭПu_i..

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

Весовые состояния клеток таблицы, в которых рассматриваемый сигнал u_i.¹(u_i.⁰) равен 1, являются рабочими состояниями для этого сигнала, а весовые состояния клеток, в которых сигналu_i.¹(u_i.⁰) равен 0, - запрещенными.

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

Так, для примера 1 из табл. 3.13 получаем:

u = y (yab) = 2, 4, 6, [0, 1, 5];

z (yab) = 4, [0, 1, 2, 5, 6],

Для примера 2 условия функционирования выходов берем из таблицы переходов-выходов (табл. 3.14) (по знаменателям):

z₁ (y₁y₂x₁x₂) = 3, 5, 6, 7, 13, 14, 15, [0, 2, 4, 8, 12];

z₂ (y₁ y₂ x₁ x₂) = 4, 6, [0, 2, 3, 5, 7, 8, 12, 13, 14, 15],

а условия функционирования блока управления памятью (входов элементов памяти) берем из таблицы возбуждений (табл. 3.17):

u₁¹ (y₁ y₂ x₁ x₂) = 5, [0, 2, 3, 4, 6, 7, 8];

u₁⁰ (y₁ y₂ x₁ x₂) = 8, [5, 12, 13, 14, 15];

u₂¹ (y₁ y₂ x₁ x₂) = 3, [0, 2, 8, 12];

u₂⁰ (y₁ y₂ x₁ x₂) = 12, [3, 4, 5, 6, 7, 13, 14, 15].

На этом этап абстрактного синтеза ДУ с памятью заканчивается.

Отметим, что на этапе построения реализуемой таблицы переходов можно и нужно использовать пустые клетки (клетки с тире). В них можно проставлять необходимые неустойчивые такты для обеспечения соседних переходов без добавления строк.

Такое доопределение таблицы переходов зачастую позволяет уменьшить количество элементов памяти.