В исходном автомате количество состояний М=6, следовательно, число элементов памяти

1. В исходном автомате количество состояний М=6, следовательно, число элементов памяти

m = ] log 2 M [ = ] log 2 6 [ = 3.

Пусть для синтеза используются JK триггеры.

2. Кодируем внутренние состояния автомата, используя для этого карту Карно (рис.57.) и по возможности метод соседнего кодирования. Рекомендуется самостоятельно закодировать состояние с помощью эвристического алгоритма.

3. Строим прямую структурную таблицу переходов-выходов автомата Мили (табл. 31). В данной таблице в столбцах k(a_m) и k(a_s) указывается код исходного состояния и состояния перехода соответственно. В столбце функций возбуждения ФВ указывается те значения функций возбуждения, которые на данном переходе обязательно равны 1. Остальные (т.е. равные 0 или принимающие неопределенные значения) не указываются. Это эквивалентно тому, что всем неопределенным значениям функций возбуждения приписывается значение 0, что в общем случае не дает минимальной функции, однако в реальных автоматах минимизация обычно не делается в виду ее неэффективности. Предлагается самостоятельно построить структурную таблицу переходов с указанием всех значений функций возбуждения (в том числе и неопределенных), выполнить минимизацию и сравнить результаты с приведенными ниже.

Табл. 31. Структурная таблица переходов-выходов автомата Мили.

4. Для получения функций возбуждения поступаем следующим образом. Выражение для каждой функции получается в виде логической суммы произведений вида a_iX, где a_i- исходное состояние, X-условие перехода. Для упрощения полученных выражений выполняем все возможные операции склеивания и поглощения:

J₁ = a₂x₃ + a₄x₂ K₁ = a₃ + a₅

J₂ = a₁x₁ K₂ = a₅ + a₆x₄

J₃ = a₁x₁ + a₂x₃x₂ K₃ = a₄x₂ + a₆x₄ + a₆x₄ = a₆ + a₄x₂

5. Для получения функций выходов поступаем аналогично:

y₁ = a₁x₁ + a₂x₃x₂ + a₄x₂ + a₆x₄

y₂ = a₁x₁ + a₂x₃x₂ + a₂x₃ + a₄x₂ + a₅ + a₆x₄

y₃ = a₂x₃ + a₃ + a₁x₁

y₄ = a₁x₁ + a₂x₃x₂ + a₃ + a₄x₂

6. Для построения функциональной схемы автомата по полученным выражениям необходимо либо заменить a_i его значениями через Q₁Q₂Q₃ либо получить сигнал, соответствующий a_i. Обычно используют второй способ и для получения сигнала a_i применяют так называемый дешифратор состояний, на вход которого поступают сигналы с выходов элементов памяти Q₁Q₂Q₃. Кроме того, при построении схемы стараются выделить общие части, встречающиеся в функциях возбуждения или выходных сигналах. В этом случае окончательная система уравнений, по которым строится схема, будет иметь вид:

A = a₂x₃x₂+J₂ ; J₁ = D + B ; y₁ = A + B + E ;

B = a₄x₂ ; K₁ = a₃ + a₅; y₂ = A + D + C + a₅ + E ;

C = a₄x₂ ; J₂ = a₁x₁ ; y₃ = D + F + a₃ ;

D = a₂x₃ ; K₂ = a₅ + a₆x₄ ; y₄ = a₃ + B + J₃;

E = a₁x₁  ; K₃ = a₆ + C ;

F = a₁x₁ J₃ = F+a₂x₃x₂

Функциональная схема автомата, построенная на основании полученных уравнений, представлена на рис. 58.

СТРУКТУРНЫЙ СИНТЕЗ АВТОМАТА МУРА

Выполним структурный синтез микропрограммного автомата Мура, заданного своей таблицей переходов-выходов (табл.29 или табл. 30). В качестве примера синтез будем выполнять по обратной таблице (табл. 32).

m = ] log 2 M [ = ] log 2 7 [ = 3

Пусть для синтеза используется D-триггеры.

2. Кодируем внутренние состояния автомата, используя алгоритм кодирования для D-триггеров. Количество переходов в данное состояние легко определяется из обратной таблицы: a₁ ~ 2, a₂ ~ 3, a₃ ~ 2, a₄ ~ 1, a₅ ~ 1, a₆ ~ 1, a₇ ~ 2.

Поэтому коды состояний следующие:

a₂-000, a₁-001, a₃-010, a₇-100, a₄-011, a₅-101, a₆-110.