Применяя правило двойной инверсии, получим следующие выражения:
Функции возбуждения T — триггеров:
Функции выходов:
Построение функциональной схемы блока управления
Функциональная схема блока управления строится в соответствии с преобразованными функциями переходов Tтриггеров (т. к. при использовании Tтриггеров функциональная схема имеет меньшую сложность) и функциями выходов. Функциональная схема блока управления приведена на рисунке. Перед составлением схемы нужно определить типы и количество логических элементов, необходимых для построения схемы.
С учетом количества и вида функций возбуждения T — триггеров и функций выходов для реализации схемы блока управления потребуются элементы, количество и тип которых приведены в таблице 6.
Таблица 6.
|
Тип элемента. | Количество входов элемента. | Количество элементов. | Общее количество входов элементов. | |
И — НЕ. | | | | |
И — НЕ. | | | | |
И — НЕ. | | | | |
И — НЕ. | | | | |
Итого. | | | |
|
Таким образом, для построения блока управления с использованием T — триггеров потребуется 22 логических элемента с общим количеством входов, равным 95.
Проверка правильности работы блока управления
При контроле работоспособности автомата определяется правильность смены состояний и выходных сигналов для определенной последовательности входных сигналов и исходного состояния. Пусть автомат находится в состоянии, и на входы автомата поступают сигналы n=1, k=0, a=0, b=1 и s=0. Для каждого такта известны набор входных сигналов и текущее состояние автомата, представленное в виде сигналов на выходах элементов памяти (). Эти сигналы подаются на входы функциональной схемы.
Далее для каждого элемента схемы определяется выходной сигнал, затем новое состояние автомата и сигналы на выходе автомата. При этом для автомата Мура сначала определяется новое состояние, а затем значение выходного сигнала Y при новом состоянии. Полученные результаты сравниваются с данными таблицы переходов и выходов автомата.
Результаты контроля для некоторых комбинаций входных сигналов и состояний автомата приведены в таблице 7.
Таблица 7.
|
Входы. | Текущее состояние. | Следующее состояние. | Выход. | |
| | | | |
nkabs. | (). | (). | | |
1 0 0 1 0. | 0 0 1 0 (Q2). | 0 1 0 1 (Q5). | Y5. | |
1 0 0 1 1. | 0 1 0 1 (Q5). | 0 1 1 0 (Q6). | Y6. | |
1 0 1 0 0. | 0 1 0 0 (Q4). | 0 1 1 1 (Q7). | Y7. | |
1 0 1 0 1. | 1 0 0 1 (Q9). | 0 0 0 0 (Q0). | Y0. | |
|
Из данных таблицы 7 видно, что при заданных входных сигналах и заданном текущем состоянии автомат работает в соответствии с таблицей переходов. По результатам проверки работы автомата при всех сочетаниях входных сигналов и состояний можно сделать вывод о том, что автомат синтезирован правильно.