Слайд 1Лекция 11
Проектирование последовательных схем
Слайд 2Конечные автоматы
В реальных последовательных схемах существует конечное число логических состояний,
поэтому их общее название – конечные автоматы.
Состояние схемы можно представить
двоичными сигналами, называемыми – переменными состояниями, где каждое состояние характеризуется однозначной для него комбинацией значений переменных, хранящихся в триггерах и активизирующихся по внешнему тактовому сигналу.
Слайд 3Модели синхронных последовательных схем
Существуют две различные модели:
Модель Мили (Mealy model)
Модель
Мура (Moore model)
Условные обозначения:
Хn-1,..,X0 – n входов схемы;
Zm-1,..,Z0 – m
выходов схемы;
yk-1,..,y0 – k переменных текущих состояний (их значения хранятся в триггерах)
Yk-1,..,Y0 – k переменных следующих состояний (формируются для изменения состояния схемы)
Слайд 6Отличия моделей Мура и Мили
В модели Мили выходные сигналы схемы
представляют собой комбинационные функции, включающие входные сигналы, что может привести
к изменению сигнала на выходе без синхронизации с приходом тактового импульса
Модель Мура позволяет избежать этого, устанавливая зависимость выходных переменных от переменных текущих состояний
Слайд 7Построение последовательной схемы на основе модели
Необходимо получить комбинационную функцию переменных
следующих состояний (Y) и выходные сигналы (Z)
Для этого в первую
очередь необходимо определить количество триггеров (k). При количестве состояний схемы от 2k-1+1 до 2k необходимо иметь k триггеров.
Слайд 8Счетчик с двумя произвольными счетными последовательностями
Допустим необходимо создать счетчик, счетная
последовательность которого при С=0: 0→1 →3, а при С=1: 1→2→3
Выберем
модель Мура, поскольку выходы схемы являются выходами триггеров
Необходимо составить диаграмму состояний модели мура для указанного счетчика
Далее составляется таблица переходов состояний
Слайд 9Диаграмма состояний модели Мура для счетчика
Для каждого из состояний существует
три состояния, но при включении может возникнуть и четвертое (2
для C=0 и 0 для С=1), поэтому необходимо отобразить, чтобы оно перешло в состояние 1
Слайд 10Таблица переходов состояний
0 0
0 1
1 1
1 0
0 1
1 1
0 0
0
0
0 1
1 0
1 1
0 1
y2y1
Y2Y1
Y2Y1
Слайд 11Определение входных функций (заполнение карт Карно)
Используем D-триггеры
y2y1
y2y1
С
С
Y2
Y1
Слайд 12Определение входных функций (построение схемы)
Y2=y2y1+y1C=y2y1C+y1C
Y1=y2C+y2C+y2y1=y2y1+y2y1C+y2C
Слайд 13Детекторы последовательности
Пусть необходимо построить схему, которая детектировала определенную кодовую последовательность,
поступающую через единственный вход данных, и выдавала бы результат на
единственный выход
Предположим нужно определить наличие на входе последовательности: 0110011
Слайд 14Алгоритм проектирования
Построение диаграммы состояний
Построение таблицы переходов состояний
Присвоение состояниям схемы комбинаций
значений переменных состояний
Построение таблицы назначенных состояний
Получение входных функций триггеров (с
помощью карт Карно)
Получение по картам Карно выходных функций
Построение логической схемы
Слайд 17Назначение состояниям значений переменных
Для описания 8 различных состояний требуется 3
переменных состояния
Назначение значений может быть произвольным
Назначение значений следует проводить таким
образом, чтобы получить наиболее простую форму выходных функций
Для этого существуют 3 правила
Слайд 18Правило 1
При переходе в одинаковое следующее состояние, назначаются коды, отличающиеся
значением только одной переменной
Это делается для упрощения объединений в картах
Карно
Слайд 19Правило 2
Следующим состоянием, в которое могут переходить текущее состояние, следует
назначать коды, отличающиеся только одной переменной
Слайд 20Правило 3
Состояниям с одинаковым значением на выходе (с одинаковыми входными
значениями) следует назначать коды, отличающиеся значением одной переменной
Слайд 21Код Грея
Код, характеризуемый тем, что все его соседние комбинации отличаются
значением только одного бита называется кодом Грея
Все указанные три правила
являются лишь рекомендацией, позволяющей упростить выходные функции, однако это не значит, что они будут использовать минимальное количество вентилей
Слайд 22Назначение состояний
Состояние 1 → 000
Состояние 4 → 001
Состояние 5 →
010
Состояние 8 → 100
Состояние 2 → 111
Состояние 3 → 101
Состояние
6 → 110
Состояние 7 → 011
Слайд 24Входные функции триггеров
y2y1
xy3
y2y1
xy3
y2y1
xy3
Y3=xy1+xy3+y2y1
Y2=x+y3y2y1
Y1=y3y1+y3y2y1+xy2y1++xy2y1
Слайд 25Выходная функция
Получается непосредственно из столбца текущих значений в таблице назначений
Z=y3y2y1
y2y1
y3
Z
Слайд 26Проектирование на основе модели Мили
Используется тот же алгоритм, что и
при проектировании на модели Мура
На диаграмме состояний модели Мили над
дугами, направленными к состоянию, указываются как входные, так и выходные сигналы, которые приводят к переходу в данное состояние
Слайд 27Диаграмма состояний модели Мили
0110011
Слайд 29Таблица назначенных состояний модели Мили
Слайд 30Входные и выходная функции триггеров
Y3=xy1+xy3+y3y2y1+xy2y1
Y2=x+y3y1
Y1=y3+xy2y1+xy2y1
Z=xy3y2y1
Слайд 31Минимизация количества состояний
Идентичные состояния – это состояния, с одними и
теми же выходными сигналами, которые могут быть объединены
Эквивалентные состояния –
это состояния, которые можно свести к одному, если в схеме уже имеются другие такие же состояния или уже были сделаны таковыми
Слайд 32Эквивалентные состояния
Два состояния называются эквивалентными, и, следовательно, могут быть заменены
одним, если выполняются следующие условия:
Выходные сигналы (текущие для модели Мура
и следующие для модели Мили), связанные с этими двумя состояниями, одинаковые;
Соответствующие следующие состояния также одинаковы или эквивалентны.