- •Кафедра “Вычислительная техника”
- •Составитель: и.В. Воронцов
- •СамГту; Сост. И.В. Воронцов. Самара, 2013, 95 с.
- •Раздел 1. Начальные языки описания цифровых автоматов
- •Тема 1.1. Предмет теории автоматов, его место и задачи
- •Тема 1.2. Начальные языки описания цифровых автоматов. Язык регулярных
- •Язык регулярных выражений алгебры событий использует следующие понятия:
- •Тема 1.3. Граф - схемы алгоритмов (гса) цифровых автоматов.
- •Объединение гса с помощью мса
- •Формулы переходов описывают все пути между операторными вершинами в гса . Они имеют вид:
- •Раздел 2. Автоматные языки описания цифровых автоматов
- •Тема 2.1. Автоматные языки описания цифровых автоматов. Графы переходов,
- •Тема 2.2. Конечные автоматы. Модель дискретного преобразования
- •Тема 2.3. Автоматы Мура, Мили и с-автоматы. Принципиальные различия
- •Тема 2.4. Эквивалентные автоматы, преобразования автоматов.
- •Раздел 3. Абстрактные и микропрограммные автоматы
- •Тема 3.1. Определение абстрактного автомата. Соединение двух автоматов:
- •Тема 3.2. Сети и коллективы автоматов
- •Тема 3.3. Абстрактный синтез микропрограммных автоматов (мпа) по гса.
- •Тема 3.4. Структурный синтез микропрограммных автоматов по гса
- •Разметка состояний
- •Тема 4.1. Формальные языки и операции над ними
- •Тема 4.2. Концепция порождения и распознавания.
- •Тема 4.3. Конечные автоматы как распознаватели.
- •Тема 4.4. Машина Тьюринга как автомат, реализующий
- •Тема 4.5. Автоматы с магазинной памятью (мп-автоматы)..
- •Лекция 9.
- •Тема 5.1. Автоматы как технические устройства эвм.
- •Раздел 6. Микропрограммные цифровые автоматы
- •Тема 6.1. Предмет теории автоматов и формальных языков, его место и задачи в подготовке бакалавра по информатике и вычислительной технике. Краткий исторический обзор
- •Место дисциплины в структуре ооп
- •Тема 6.2. Микропрограммные цифровые автоматы. Микропрограммирование.
- •Раздел 7. Синтез цифровых автоматов на жесткой логике
- •Тема 7.1. Структурный синтез мпа на жесткой логике. Синтез мпа автоматов Мура
- •Синтез автомата Мура по гса. Простейшая реализация
- •3.1.1.2. Построение графа переходов автомата Мура (по гса рис. 3.14)
- •3.1.1.3. Построение прямой таблицы переходов автомата Мура
- •3.1.1.4. Кодирование состояний автомата. Выбор элементов памяти
- •3.1.1.5. Обратная структурная таблица автомата Мура
- •3.1.1.6. Функции управления элементами памяти и функции выходов автомата
- •3.1.1.7. Структурная схема автомата Мура на жесткой логике
- •3.1.1.8. Функциональная схема автомата Мура на жесткой логике
- •Тема 7.2. Структурный синтез мпа на жесткой логике. Синтез мпа автоматов
- •Разметка состояний автомата Мили по гса
- •3.1.2.2. Построение графа переходов автомата Мили по гса
- •3.1.2.3. Построение прямой таблицы переходов автомата Мили
- •3.1.2.4. Кодирование состояний автомата. Выбор элементов памяти
- •3.1.2.5. Обратная структурная таблица автомата Мили
- •3.1.2.6. Функции управления элементами памяти и функции выходов автомата
- •3.1.2.7. Структурная схема автомата Мили на жесткой логике
- •3.1.2.8. Функциональная схема автомата Мили на жесткой логике
- •Раздел 8. Синтез цифровых автоматов на программируемых матрицах (плм)
- •Тема 8.1. Структурный синтез мпа Мили на плм. Вопросы оптимизации мпа
- •3.3.2. Простейшая матричная реализация автомата Мили
- •Тема 8.2. Структурный синтез мпа Мура на плм. Вопросы оптимизации мпа Простейшая матричная реализация автомата Мура
- •3.3.4. Вопросы оптимизации автоматов на матрицах
- •Кодирование логических условий х. Площадь матрицы м& в автоматах Мили и Мура зависит:
- •Раздел 9. Синтез цифровых автоматов на программируемой логике
- •Тема 9.1. Автоматы с программируемой логикой и естественной адресацией.
- •Принцип управления по хранимой программе
- •Кодирование наборов микроопераций
- •Адресация микрокоманд в автомате
- •Естественная адресация микрокоманд в автомате
- •Тема 9.2. Автоматы с программируемой логикой и принудительной адресацией.
- •Тема 9.3. Сегментация памяти в автоматах с программируемой логикой.
Лекция 9.
Тема 5.1. Автоматы как технические устройства эвм.
Принцип микропрограммного управления
Работа ЭВМ заключается в последовательном преобразовании цифровой информации, которое осуществляется в операционном устройстве (ОУ).
Функционально и структурно ОУ подразделяется на две части: операционный автомат (ОА) и управляющий автомат (УА).
Для ОУ характерно наличие аппаратно реализованных элементарных операций, называемых микрооперациями. Множество микроопераций должно быть таким, чтобы этих элементарных операций было достаточно для выполнения всех более сложных операций, возложенных на ОУ.
Все операции более сложные, чем микрооперации выполняются по принципу микропрограммного управления, состоящему в следующем
Л
юбая
операция рассматривается как сложное
действие, требующее выполнения
определенной последовательности
микроопераций над словами цифровой
информации. Причем порядок следования
микроопераций может зависеть от
обрабатываемых данных.Собственно микрооперации выполняются в ОА под воздействием управляющих сигналов , формируемых в УА.
Для управления последовательностью микроопераций состояния ОА отображаются множеством сигналов, называемых сигналами логических условий (или логическими условиями), которые в зависимости от результатов преобразования информации принимают значения “истина” или “ложь” (1 или 0).
Процесс выполнения операции в ОУ описывается в форме алгоритма, представленного в терминах микроопераций.
- множество входных слов, вводимых в автомат в качестве операндов.
-множество
выходных слов, представляющих результаты
выполнения операций.
- множество сигналов, инициирующих выполнение микроопераций.
- множество логических условий, отражающих состояния ОА.
ОА осуществляет хранение информации, задающей исходные, промежуточные и конечные результаты преобразования информации, осуществляет преобразование информации, а так же вычисляет значения логических условий.
УА отображает информацию о ходе выполнения операции, вырабатывает сигналы инициирующие выполнение микроопераций.
Структурная схема автомата Мура на жесткой логике
Структурная схема автомата Мура состоит из следующих цифровых узлов (Рисунок 3.16):
П
амять
состояний (ПС), дешифратор состояний
(DC),
комбинационная схема формирования
сигналов управления элементами
памяти состояний (КСF),
комбинационная схема формирования
выходных сигналов автомата (КСУ).
Взаимодействие узлов автомата
следующее. Автомат находится в
некотором состоянии am,
код которого Kam
в виде значений Q
на выходе триггеров памяти состояний
(ПС) подается на вход дешифратора
состояний (DC),
на выходе которого собственно и
формируются значения переменных am.
На выходах комбинационной схемы КСУ
формируются микрокоманды У, а на выходах
схемы КСF
формируются значения функций управления
элементами памяти, которые обеспечивают
переход автомата в новое состояние a
s
при поступлении импульса синхронизации
С на вход синхронизации ПС.
На рис.3.18 приведены временные диаграммы, поясняющие работу автомата Мура. Находясь в некотором состоянии a i автомат вырабатывает выходной сигнал (микрокоманду) yj ,соответствующий этому состоянию. В это же время формируются сигналы управления элементами памяти D i , которые определяют следующее состояние автомата в зависимости от текущего и значений логических условий x i. При поступлении на вход синхронизации автомата положительного фронта импульса С, автомат переходит в новое состояние, определяемое значениями D i на входах триггеров Т2 Т1 Т0.
Принцип управления по хранимой программе.
Рассмотренная выше реализация микропрограммного автомата на жесткой логике приводят к различным схемным решениям в зависимости от исходных ГСА. А это значит, что при изменении функции автомата (изменении ГСА) необходимо изменять либо заново проектировать его схему. Реализация автомата на программируемых матрицах (ПЛМ – однократно программируемых), при незначительных изменениях в алгоритме работы автомата, требует программирования новых ПЛМ. Этого недостатка лишены автоматы с программируемой логикой. Алгоритм функционирования автомата с программируемой логикой представляется в виде закодированной микропрограммы, которая может загружаться в перепрограммируемые постоянные запоминающие устройства (ППЗУ) или в оперативные ЗУ (ОЗУ). Изменения в алгоритме отражаются в микропрограмме, но не влияют на схему автомата.
Напомним, что функция микропрограммного управляющего автомата определяется:
множеством входных сигналов (логических условий): Х = {х1, х2 …х n };
множеством выходных сигналов (микрокоманд): У = {у1, у2 …у k };
микропрограммой (ГСА), задающей порядок следования выходных сигналов У в зависимости от значений входных сигналов X.
Если автомат Мура описан прямой таблицей переходов, то для каждого состояния am известно:
множество выходных сигналов У(am), вырабатываемых автоматом в состоянии am;
множество входных сигналов Х(am), определяющих все возможные переходы автомата из состояния am в состояние as;
множество состояний as, в которые может перейти автомат из состояния am (обозначим A(am).
Для каждого состояния автомата Мура (а значит для каждой операторной вершины ГСА) эту информацию, необходимую и достаточную для описания закона функционирования автомата, можно закодировать и представить двоичным словом (микрокомандой – не путать с выходным сигналом автомата уi, который часто так же называют микрокомандой !), которое имеет следующую структуру:
№ |
уm1 |
уm2 |
… |
уmk |
хm1 |
хm2 |
… |
хmn |
аm1 |
аm2 |
… |
аms |
где:
№ – номер двоичного слова, соответствующего состоянию автомата аm (или его адрес ЗУ, где будет храниться микропрограмма);
уmi – выходной сигнал (микрокоманда), который должен вырабатывать автомат в данном состоянии аm; в общем случае таких сигналов k; эта часть двоичного слова называется операционной;
хmi – входной сигнал (логическое условие), участвующее хотя бы в одном переходе из am в as ; в общем случае таких сигналов n; эта часть двоичного слова называется управляющей;
аmi – одно из состояний аs , в которое может перейти автомат из состояния аm при определенных значениях логических условий хmi. Поскольку описание одного состояния – это одно двоичное слово, имеющее свой адрес в ЗУ, аmi можно считать адресом состояния аmi в ЗУ; в общем случае таких состояний s. Если количество логических условий в слове равно n, то количество аmi равно 2 в степени n. Эта часть двоичного слова называется адресной.
Лекция 10.
