- •Методические указания
- •7.080407 «Компьютерный эколого-экономический мониторинг»
- •Методические указания
- •7.080407 «Компьютерный эколого-экономический мониторинг»
- •Методические указания
- •7.080407 «Компьютерный эколого-экономический мониторинг»
- •Перечень условных обозначений
- •Введение
- •Лабораторная работа №1 – Синтез комбинационных схем
- •1. Общие сведения
- •2. Задание
- •3. Пример выполнения работы
- •5. Содержание отчета
- •Лабораторная работа №2 – Реализация сбф на дешифраторе
- •1. Общие сведения
- •2. Задание
- •3. Пример выполнения работы
- •4. Содержание отчета
- •Лабораторная работа №3 – Синтез схем сравнения
- •1. Общие сведения
- •2. Задание
- •3. Пример выполнения работы
- •4. Содержание отчета
- •Лабораторная работа №4 – Реализация сбф на плм и пзу
- •1. Общие сведения
- •2. Задание
- •3. Пример выполнения работы
- •4. Содержание отчета
- •Лабораторная работа №5 – Синтез многофункционального регистра
- •1. Общие сведения
- •2. Задание
- •3. Таблица выбора микроопераций
- •4. Пример выполнения работы
- •5. Содержание отчета
- •Лабораторная работа №6 – Синтез микропрограммных автоматов
- •1. Общие сведения
- •2. Примеры выполнения работы
- •2.1 Cинтез мпа Мили по гса
- •2.2 Cинтез мпа Мура по гса
- •3. Задание
- •4. Содержание отчета
- •Список рекомендуемой литературы
2. Примеры выполнения работы
2.1 Cинтез мпа Мили по гса
Рассмотрим пример синтеза МПА Мили S1 по ГСА Г1 (рис. 6.2).
2.1.1 Формирование отмеченной ГСА.
Для формирования отмеченной ГСА входы вершин, следующих за операторными и начальной, отмечаем символами α1, ..., αМ таким образом:
а) символом α1 отмечаем вход вершины, находящийся за начальной, а также вход конечной вершины;
б) входы всех вершин, следующих за операторными, должны быть отмечены;
в) если вход вершины отмечается, то только одним символом;
г) входы различных вершин, кроме конечной, отмечаются различными символами.
Применение этой методики в ГСА Г1 позволяет получить отмеченную ГСА (рис. 6.3), причем состояний МПА A=α1, …, α4.
Рис. 6.2 – ГСА Г1.
Рис. 6.3. – Отмеченная ГСА Г1 при синтезе автомата Мили
2.1.2 Кодирование состояний.
Для кодирования М=4 состояний МПА S1 достаточно R=2 внутренних переменных, следовательно, T=T1,T2, а РП состоит из двух триггеров. Не останавливаясь на рассмотрении методов кодирования, закодируем состояния автомата S1 следующим образом: K(α1)=00, K(α2)=01, K(α3)=10, K(α4)=11.
2.1.3 Формирование прямой структурной таблицы МПА Мили.
В прямой структурной таблице (ПСТ) автомата строки заносятся путем описания перехода в отмеченной ГСА вида:
|
αm Xh Yt αs ; |
(6.3) |
|
αm Yt αs ; |
(6.4) |
|
αm α1 ; |
(6.5) |
|
αm Xh αs. |
(6.6) |
Здесь Xh – коньюкция логических условий, определяющая переход из αm в αs . Например, из состояния α2 существуют пути:
α2 x y1 y3 α3, α2 x2 y4 α3, α2 y2 α3,
соответствующие условным переходам (6.3). Переход (αm, αs) может быть безусловным, например, α1 y1 y2 α2 соответствует безусловному переходу (6.4). В ПСТ заносятся только пути перехода, проходящие через операторные вершины ГСА. В противном случае увеличивается время выполнения алгоритма. Исключение составляют переходы (6.7) и (6.8), необходимые для завершения алгоритма, что соответствует переходу автомата в конечное состояние.
ПСТ автомата S1 приведена в табл. 6.1., при этом для реализации памяти используются триггеры D-типа.
Таблица 6.1 – ПСТ МПА Мили
αm |
K(αm) |
αs |
K(αs) |
Xh |
Yh |
Фh |
h |
α1 |
00 |
α2 |
01 |
1 |
y1 y2 |
D2 |
1 |
α2 |
01 |
α3 α3 α3 |
10 10 10 |
x1 x2
|
y1 y3 y4 y2 |
D1 D1 D1 |
2 3 4 |
α3 |
10 |
α1 α4 |
00 11 |
x1
|
y2 y4 y3 |
– D1D2 |
5 6 |
α4 |
11 |
α4 α1 |
11 00 |
x3 |
– – |
D1D2 – |
7 8 |
Такой выбор триггеров обусловлен тем, что практически все регистры, выпускаемые в интегральном исполнении, содержат информационные входы D-типа. Для безусловных переходов в столбце Xh записана единица, так как, по определению, коньюнкция пустого множества тождественна единице.
2.1.4 Формирование СБФ, описывающих КС автомата.
Для формирования СБФ (6.1) необходимо детализировать структуру (рис. 6.1). Для автомата Мили структурная схема включает следующие элементы (рис. 6.4):
Рис. 6.4 – Структура автомата Мили.
а) схема M1 , предназначенная для формирования переменных
FhF={F1, …, Fn},
соответствующая строкам ПСТ:
,
где – переменная, соответствующая исходному состоянию m, записанному в h-й строке ПСТ;
б) схема M2, предназначенная для формирования переменных ynY и , заданных в виде
где Сnr, Crn – булевы переменные, равные единице, если и только если в h-й строке ПСТ записана соответствующая переменная;
в) схема M3 (дешифратор кода состояния), формирующая по внутренним переменным TrT переменные Am, соответствующие кодам состояний МПА.
Для нашего примера схема M1 задается СБФ:
;
;
;
;
.
Отметим, что F8 формировать не надо, так как в 8-й строке табл. 6.1 нет выходных сигналов и функций возбуждения. Схема M2 задается СБФ:
y1 = F1 ˅ F2; D1 = F2 ˅ F3 ˅ F4 ˅ F6 ˅ F7
y2 = F1 ˅ F4 ˅ F5; D2 = F1 ˅ F6 ˅ F7
y3 = F2 ˅ F6;
y4 = F3 ˅ F5.
Схема M3 задается СБФ:
; ; ; .
2.1.5 Синтез ЛС автомата в заданном элементном базисе.
Этот этап сводится к синтезу комбинационных схем M1, M2, M3 и установлению связей между элементами структуры. На рис. 6.5 приведена схема МПА S1 в булевском базисе. Для задания момента переключения памяти автомата используется синхронизация СИ. Для устранения критических гонок применяются двухтактные элементы памяти.
Рис. 6 5 – Логическая схема автомата Мили