Синтез синхронных автоматов

Синтез синхронных автоматов

Основная модель синхронного автомата

Основная модель синхронного автомата (рис. 6) отличается от модели асинхронного потенциального автомата (см. рис. 3) лишь свойствами ЭП типа D, которые управляются тактовым сигналом Н. В синхронных ЭП тактовый сигнал Н оказывает на них импульсное воздействие только в момент изменения с 1 на 0 (или только с 0 на 1), а изменения информационных сигналов ЭП D_r=Q⁺_r не воздействуют на ЭП, т.е. эта формула справедлива только при dH = 1, а при dH =0 сигнал Q⁺_r = Q_r.

Понятно, что информационные сигналы D_r не должны изменяться при dH = 1, так как они при этом имеют неопределенное значение Ф, а значит, нарушается детерминированность переходов автомата. Из этого следует, что и входные сигналы автомата x_p не должны изменяться при dH = 1.

            Рис.6.                                                          Рис.7.

Данные ограничения на изменения информационных сигналов описываются уравнениями

ÑD_r×dH=0,  Ñx_p×dH=0.

На рис.7. показаны временные диаграммы, поясняющие работу синхронного автомата. Моменты изменения тактового сигнала с 1 на 0 задают дискретное время t_д = 1, 2, 3,... . Только в данные дискретные моменты времени внутреннее состояние автомата может изменяться. Переходный процесс, вызванный в КС этим изменением в данный момент времени t_д, должен окончиться к следующему дискретному моменту времени t_д+ 1. Из этого следует, что максимальная частота тактового сигнала должна быть ограничена некоторой величиной. Понятно, что минимально допустимое значение периода тактового сигнала Т_H (рис.7.) полностью определяется быстродействием ЭП и КС.

Заменив в переключательных функциях основной модели автомата непрерывное время на дискретное, получим функции переходов и выходов синхронного автомата:

Рекомендуемые материалы

Выполнение данных условий гарантирует детерминированность переходов автомата при ложных значениях функции переходов во время переходного процесса, так как они смогут появиться только при значении сигнала dH == 0, а значит не вызовут срабатывания ЭП. Следовательно, можно сказать, что синхронные ЭП (триггеры) обладают фильтрующими свойствами, так как все изменения информационных сигналов, происходящие на интервале времени, когда сигнал dH = 0, не пропускаются на их выход. Из этого следуют важные для синтеза синхронных автоматов вывод: КС могут синтезироваться несвободными от состязаний;

Исключение из рассмотрения в синхронных автоматах переходных процессов значительно упрощает методы их синтеза.

Этапы синтеза синхронных автоматов

Процесс проектирования синхронных цифровых устройств разделяется на несколько относительно независимых этапов.

1. Словесная постановка задачи проектирования или с помощью временных диаграмм самим исполнителем или заказчиком, который может и не владеть аппаратом формального синтеза.

2. Абстрактный синтез – предполагает переход от словесного описания автомата к одному из формальных способов его задания, т. е. к составлению графа переходов или таблиц переходов и выходов в символах абстрактных алфавитов. На этом же этапе выполняется кодирование, которое заключается в установке соответствия каждому абстрактному символу состояния входа v_i, выхода w_l и внутреннего состояния автомата s_j наборов двоичных значений входных сигналов x_p, выходных сигналов z_q и внутренних состояний Q_r.

3. Структурный синтез, предполагающий выбор элементной базы, включая типы ЭП (триггеров), составление и минимизация логических выражений для функций переходов П_r (функций возбуждения триггеров) и функций выходов B_q.

4. Схемная реализация, заключающаяся в построении функциональной и принципиальной схем автомата в выбранном элементном базисе, используя заданную серию интегральных схем (ИС).

5. Проверка правильности синтеза – получение в процессе работы автомата значений его внутренних состояний, выходных сигналов и сравнение их с заданными. Проверку удобно производить путем построения потактной таблицы или временных диаграмм.

Пример синтеза синхронного автомата

Требуется создать автомат по продаже газет стоимостью 3 рубля.

1 ЭТАП. Словесное описание работы автомата.

Автомат «ПРОДАВЕЦ ГАЗЕТ» получает монеты достоинством в один рубль и два рубля и выдает сообщения о достоинстве принятой монеты. Если полученная сумма монет равна трем рублям, то автомат выдает газету. Если сумма более трёх рублей, то автомат возвращает все деньги.

2 ЭТАП. Абстрактный синтез.

Определим множества состояний входов, выходов, внутренних состояний автомата и обозначим их соответствующими символами абстрактного алфавита.

Состояния входов автомата: v₀- принята монета достоинством в 1 руб.;

v₁ - принята монета достоинством в 2 руб.

Множество состояний входов автомата – V={ v₀, v₁}.

Состояния выходов автомата: w₀ – выдача сообщения " Принята сумма 1 руб.";

w₁ – выдача сообщения " Принята сумма 2 руб.";

w₂ - выдача газеты;

w₃ - возврат денег.

Множество состояний выходов автомата – W={ w₀, w₁, w₂, w₃}.

Внутренние состояния автомата: s₀ - принята сумма 0 руб. (начальное состояние);

s₁ - принята сумма 1 руб.;

s₂ - принята сумма 2 руб.

Множество внутренних состояний автомата – S={ s₀, s₁, s₂}.

Составляем таблицы переходов (табл.5), выходов (табл.6) и объединенную таблицу (табл.7).

    Таблица 5.                         Таблица 6.                             Таблица 7.

Этот же автомат можно задать в виде графа, вершины которого соответствуют состояниям автомата, а  дуги - переходам (рис.2):

Рис. 8.

Для уяснения работы автомата ПРОДАВЕЦ ГАЗЕТ приведём пример его реакции на заданную входную последовательность в виде табл.8:

                                                                                       Таблица 8.

Перед началом кодирования необходимо определить количество двоичных символов, которое требуется для отображения каждого множества состояний автомата в двоичных кодах. Если множество содержит N состояний, то требуемое количество двоичных символов (или разрядов) b вычисляется как ближайшее целое двоичного логарифма числа N:

b=]log₂N[.

Исходя из сказанного, определяем количество двоичных разрядов, требуемое для кодирования:

множества, состоящего из двух состояний входов v_i – n=]log₂2[=1;

множества, состоящего из четырех состояний выходов w_l – k=]log₂4[=2;

множества, состоящего из трех состояний входов s_j – m=]log₂3[=2.

Таким образом, создаваемый автомат имеет один вход, два выхода, и два ЭП.

Один из возможных вариантов кодирования состояний автомата представлен в табл.9-11.

       Таблица 9.                Таблица 10.                    Таблица11.

Таблица переходов-выходов автомата (см. табл.4) в кодированном виде представлена в табл.12.

                               Таблица 12.

Кодированный граф переходов, в котором символы абстрактных алфавитов заменены соответствующим им двоичными кодами, изображен на рис 9.

Рис. 9.

3 ЭТАП. Структурный синтез автомата.

Любую логическую функцию можно представить в виде комбинации простейших логических функций. Набор простейших логических функций, с помощью которых можно записать любую логическую функцию называется логическим базисом. Такими базисами являются базис И, ИЛИ, НЕ (булев базис), базис И-НЕ, базис ИЛИ-НЕ и др.

Выберем булев базис.

На этом этапе выбираются виды ЭП (триггеры) из существующего множества типовых: R-S-, T-, D-, J-K-триггеры или их комбинации. Так как любой триггер является элементарным цифровым автоматом, то он описывается таблицей переходов. По таблицам переходов для всех типов триггеров строятся словари переходов, представленные в табл.13.

                                                                                                 Таблица 13.

В качестве ЭП синтезируемого автомата выберем J-K-триггер и D-триггер.

Составление и минимизацию логических выражений для функций переходов (функций возбуждения триггеров) и для функций выходов удобно выполнять с использованием расширенной кодированной таблицы переходов-выходов (табл.14).

                                                                              Таблица 14.

Ввиду того, что внутреннее состояние 11 не участвовало в кодировании состояний автомата, то реакция автомата, находящегося в состоянии 11, не определена. Автомат не может находиться в этом состоянии и для отличия обозначим значения функций для этого состояния символом Ф. Поэтому все полученные функции будут частичными.

Рассмотрим подробнее одну из строк табл.14, например, строку, соответствующую набору x₀Q₁Q₀ = 101. Строка была получена из таблицы переходов-выходов (см. табл.12) следующим образом. Из состояния Q₁Q₀ =10 под воздействием входного сигнала х₀ =0 автомат переходит в состояние Q⁺₁Q⁺₀ =00 и выдает выходной сигнал z₁z₀ = 10.

Продолжим заполнение строки, определяя значения функций возбуждения входов триггеров J₁, K₁, D0₁. При этом будем пользоваться словарями переходов триггеров (табл. 13). Значения функций возбуждения элементов памяти автомата должны быть такими, чтобы реализовался закон его функционирования. Первый элемент памяти автомата - D-триггер находился в нулевом состоянии и должен остаться в этом состоянии: Q₀=0 ® Q⁺₀=0. Это определяет значение функции D₀=0. Второй элемент памяти должен переключится из единицы в нуль: Q₁=1 ® Q⁺₁ = 0. Поэтому J₁ = *, а K₁=1.

Аналогично заполняются все остальные строки табл.14 и определяются значения функций возбуждения триггеров на остальных наборах значений аргументов в соответствии с табл.13.

Минимизация логических выражений функций возбуждения триггеров П_r и выходов B_q выполняется с помощью карт Карно (или диаграмм Вейча). Карты Карно заполняются значениями функций возбуждения триггеров J₁, K₁, D₀ и функций выходов z₁, z₀. Карты изображены на рис.9.

а)                                                          б)

                                                  K₁=1

в)                                                           г)

                                               

д)

Рис.9.

4 ЭТАП. Схемная реализация.

Осуществляется построение функциональной и принципиальной схем в выбранном базисе и на заданной серии ИС.

Функциональная схема приведена на рис 10.

Обратив внимание на то, что J₁=z₀, обе функции можно реализовать одной и той же схемой.

Если задана серия ИС, например серия 155, то пользуясь справочными данными, можно построить принципиальную схему автомата.

Ещё посмотрите лекцию "Тема 3. Спинной мозг" по этой теме.

Рис.10.

5 ЭТАП. Проверка правильности синтеза.

Проверку целесообразно выполнять путем моделирования работы созданной схемы автомата на ПК для заданной последовательности входных сигналов. Результатом моделирования являются временные диаграммы.

Пусть задана последовательность входных сигналов, под воздействием которой автомат выполняет последовательно все возможные переходы, заданные графом переходов: v₀=0, v₁=1, v₀=0, v₀=0, v₀=0, v₁=1, v₁=1. Для этой последовательности при моделировании получены временные диаграммы, представленные на рис.11.

Рис.11.

На этом завершается процесс синтеза автомата.