Пример синтеза структурного автомата на триггерах
7.1 Синтез структурного автомата Мура на D -триггерах
Кратко отметим основные этапы синтеза автомата:
- Находим количество элементов памяти ( М - число состояний абстрактного автомата) и кодируем состояния абстрактного автомата.
- Кодируем входные и выходные сигналы.
- Структурный автомат представляем обобщенной схемой.
- Составляем закодированную таблицу выходов автомата и по ней записываем уравнения выходов.
- Составляем закодированную таблицу переходов автомата и по ней записываем уравнения для функций возбуждения.
- Уравнения функций возбуждения и выходов минимизируются (по картам Карно, например) и по ним строится схема в заданном функционально - логическом базисе базисе ({И, ИЛИ, НЕ}, {И-НЕ}, {ИЛИ-НЕ} ).
Рассмотрим синтез структурного автомата Мура, заданного табл.7.1, на D -триггерах в элементном базисе {И, ИЛИ, НЕ}.
- Находим количество элементов памяти и кодируем состояния абстрактного автомата, например так, как показано в табл.7.2
- Кодируем входные и выходные сигналы абстрактного автомата, например так, как показано в табл.7.3 и табл.7.4
- Структурный автомат представляем обобщенной схемой (рис.7.1).
-
Табл.7.1 представляем, используя коды состояний, входных и выходных сигналов (табл.7.5), и по ней записываем уравнения выходов.
Функция выхода r1, зависящая для автомата Мура только от состояния, принимает единичное значение на единственном наборе 10, т.е . Функция выхода r2, принимает единичное значение так же на единственном наборе равном 01, то есть .
Таким образом, уравнения выходов:
,
.
- Записываем уравнения для функций возбуждения. Так как в D -триггере функция возбуждения совпадает с состоянием перехода, то функцию возбуждения можно записать по табл.7.5. Находим единичные состояния первого триггера. Их всего пять, см. в табл.7.5. Функция возбуждения зависит от входных сигналов и состояния автомата, из которого был переключен данный триггер : .
Первое единичное значение функция возбуждения принимает при переходе из состояния а0, закодированного как 00, то есть , при поступлении единичных входных сигналов . Аналогично находим остальные термы и записываем функцию возбуждения первого триггера:
Для второго триггера состояний перехода, в которых он принимает единичные значения, четыре. Они выделены темно красным цветом. По ним записана функцию возбуждения второго триггера:
- Уравнения функций возбуждения и выходов минимизируются по картам Карно (рис.7.2).
По полученным уравнениям функций возбуждения и выходов строим функционально - логическую схему (рис.7.3).