Главная страница Случайная страница
Разделы сайта
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
Этап 4. Составление двоичной кодированной таблицы переходов/выходов автомата.
|
|
В таблицу переходов/выходов включаем:
для момента времени t – значения входного сигнала, обозначения и коды состояний, значения выходного сигнала;
для момента времени t+1 – обозначение и код состояния, в которое переходит автомат из данного состояния под воздействием соответствующего входного сигнала.
В правой части таблицы для каждого перехода si ® sj указываем, какие сигналы должны быть сформированы комбинационной схемой автомата и поданы на входы триггеров, чтобы в момент времени t+1 произошло требуемое переключение автомата.
Например, пусть в момент времени t автомат находится в состоянии s4, при этом под воздействием входного сигнала x = 0 вырабатывается выходной сигнал y = 1, и в следующий момент времени автомат должен перейти в состояние s1:
 |
| время: t | t+1 | t (входы триггеров) | ||||||||||||
| x | si | Q2 | Q1 | Q0 | y | sj | Q2 | Q1 | Q0 | S2 | R2 | S1 | R1 | D0 |
| . . . | ||||||||||||||
| ~ | ||||||||||||||
| . . . |
Рис. 9.3. Фрагмент кодированной таблицы переходов/выходов автомата
для перехода s4 ® s1 при x = 0
Условием задачи оговорено применение синхронных RS- и D-триггеров. Реализуем разряды Q2 и Q1, например, на RS-триггерах, а разряд Q0 – на D-триггере. Для обеспечения указанного перехода значения сигналов на входах триггеров должны быть такими:
Q2: 0 ® 0, S2R2 = 0~; Q1: 1 ® 0, S1R1 = 01; Q0: 0 ® 0, D0 = 0.
Фрагмент таблицы, отвечающий рассмотренному случаю, показан на рис. 9.3.
Таким образом, строка таблицы соответствует конкретному переходу в автомате при выработке значения выходного сигнала, заданного алгоритмом функционирования КА. Число строк полной таблицы такого формата, очевидно, равно числу всех возможных переходов автомата, то есть количеству дуг графа переходов. Однако в таблицу целесообразно включить и неиспользуемые кодовые комбинации, что может оказаться полезным на следующем этапе структурного синтеза при получении минимальных форм функций fy и fs.
Полная двоичная кодированная таблица переходов/выходов автомата приведена на рис. 9.4.
| время: t | t+1 | t (входы триггеров) | входы триггеров других типов | ||||||||||||||
| x | Si | Q2 | Q1 | Q0 | y | Sj | Q2 | Q1 | Q0 | S2 | R2 | S1 | R1 | D0 | J1 | K1 | T0 |
| ~ | ~ | ~ | |||||||||||||||
| ~ | ~ | ~ | |||||||||||||||
| ~ | ~ | ||||||||||||||||
| ~ | ~ | ~ | |||||||||||||||
| ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ||||
| ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ||||
| ~ | |||||||||||||||||
| ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ||||
| ~ | ~ | ||||||||||||||||
| ~ | ~ | ||||||||||||||||
| ~ | ~ | ||||||||||||||||
| ~ | ~ | ||||||||||||||||
| ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ||||
| ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ||||
| ~ | ~ | ||||||||||||||||
| ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ | ~ |
Рис. 9.4. Полная кодированная таблица переходов/выходов автомата
Строки таблицы упорядочены по возрастанию кодов состояний для каждого значения входного сигнала. Для удобства чтения столбцы таблицы, относящиеся к одному и тому же разряду памяти, выделены одинаковым цветом. Для справки в таблицу добавлены столбцы, соответствующие триггерам других типов: JK-триггеру для разряда Q1 и T-триггеру для разряда Q0. Знаком «~» обозначены как произвольные значения логических переменных, так и позиции, несуществующие в данном КА.
|
|