Синтез автомата необходимо выполнить на 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 | | BX1 | D4 D1, D4 |
b2(Y1). | | b4 b3 | | X2 | D1, D3,… |