Построение структурной таблицы микропрограммного автомата, составление канонических уравнений и реализация автомата на базе логических элементов И-ИЛИ-НЕ

Синтез автомата необходимо выполнить на D-триггерах, которые являются триггерами со счётным входом и как бы считают поступающие на вход импульсы. D-триггер реализует функцию временной задержки, т. е. осуществляет задержку поступившего на его вход сигнала на один такт. Функция переходов и функция входов D-триггера приведены в табл.10 и 11 соответственно.

Аналитически функционирование триггера описывается выражением.

Q (t+)=D (t).

Структурная таблица переходов автомата создаётся на основе прямой таблицы переходов (табл. 2), которая дополняется столбцами кодов состояний и столбцом функций возбуждений.

Коды состояний уже определены в предыдущем разделе. Для определения функций возбуждения будем использовать таблицу выходов (табл. 8). Функцию обозначим в соответствии с используемым D-триггером буквой D с цифровым нижним индексом, означающим номер разряда, в котором функция D (t) при переходе из состояния ф(t) в состояние ф(t+1) принимает значение равное 1.

В итоге структурная таблица будет иметь вид табл.9.

На основании этой таблицы составляется система канонических уравнений, которая минимизируется любым способом.

Таблица 12.

Структурная таблица переходов и выходов автомата Мили, выполняющего операцию деления с восстановлением остатка с плавающей запятой.

bm	K (bm).	bs	K (bs).	X (bm, bs).	D (bm, bs).
b1		b1 b2	0001 1001	BX1	D4 D1, D4
b2(Y1).		b4 b3	1011 1101	X2	D1, D3,…