uzluga.ru
добавить свой файл

Синтез автоматов, заданных микропрограммами




4. Синтез автоматов, заданных микропрограммами


4.1.Общие сведения о микрокомандах

и микропрограммах



общем случае структуру любого цифрового устройства можно представить в виде рис.4.1.





В операционном блоке выполняется операция, для которой предназначено устройство. Если, например, это арифметико-логическое устройство, то в нем выполняется преобразование операндов в результат арифметической или логической операции.

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

Таким образом, последовательность управляющих сигналов, выдаваемых блоком управления, определяется алгоритмом работы операционного блока. Поэтому при синтезе блоков управления алгоритм работы операционного блока должен быть описан наиболее подробно. Наибольшая детализация алгоритма достигается, если в нем используются только элементарные операции. Элементарная операция, которая может быть выполнена под воздействием одного управляющего сигнала, называется микрооперацией. Примерами микроопераций могут быть, например, сброс регистра в "0", сдвиг содержимого регистра, сложение чисел в сумматоре, прием данных в регистр и т.д.

Преобразование данных в операционном блоке обычно выполняется в дискретные моменты времени, называемые тактами. Такты задаются при помощи специального генератора тактовых сигналов.

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

Упорядоченная последовательность микроопераций составляет некоторую операцию по обработке данных. В свою очередь соответствующая упорядоченная последовательность микрокоманд образует микропрограмму выполнения данной операции. Таким образом, понятие "микрокоманда" имеет тот же уровень детализации, что и понятие "микрооперация", а понятие "микропрограмма" имеет одинаковый уровень с понятием " операция".

Обычно микропрограмма работы блока управления задается в графической форме в виде схемы алгоритма. В качестве примера рассмотрим микропрограмму сложения чисел в арифметико-логическом устройстве (АЛУ) с аккумулятором.

Упрощенная структура АЛУ приведена на рис. 4.2.





На рис.4.2 показаны только части АЛУ, необходимые для выполнения операции сложения. Регистры А и В служат для размещения слагаемых в АЛУ на время выполнения сложения. При этом регистр А является аккумулятором, в нем остается результат предыдущей операции. Регистры А и В связаны с оперативной памятью (ОП) при помощи шины данных. Данные из ОП поступают в регистр В в прямом коде. Сумматор служит для выполнения операции сложения двух чисел. Сложение выполняется с использованием дополнительного кода. Блок управления формирует управляющие сигналы Y0 – Y4, необходимые для операции сложения.

Работа АЛУ при сложении происходит следующим образом. Перед сложением первое слагаемое находится в аккумуляторе в дополнительном коде. Второе слагаемое размещено в оперативной памяти в прямом коде.

Операция сложения начинается с того, что на блок управления поступает сигнал S=1, который является кодом операции и одновременно сигналом начала операции. Далее выполняется прием слагаемого В из оперативной памяти через шину данных в регистр В. Для этого блок управления выдает управляющий сигнал Y1.

Сложение чисел производится в сумматоре. В зависимости от знака слагаемого В оно передается в сумматор в прямом или дополнительном коде, а слагаемое А – в дополнительном коде. При этом блок управления выдает управляющие сигналы Y2 и Y3 или Y2 и Y4. Результат операции из сумматора записывается в аккумулятор. На этом операция заканчивается.

Алгоритм операции сложения в данном АЛУ может быть представлен в виде микропрограммы, показанной на рис. 4.3.

На рис. 4.3 показаны выполняемые в каждом такте микрооперации и соответствующие управляющие сигналы. Отметим, что перед началом операции блок управления выдает сигнал Y0, который является сигналом готовности АЛУ к выполнению операции.


4.2 Разметка микропрограмм

Синтез автоматов по микропрограмме выполняется в той же последовательности, что и при словесном задании автомата. При этом микропрограмма содержит ту же информацию, которую содержит граф автомата, т.е. таблица переходов и выходов строится по микропрограмме. Для синтеза блока управления производится разметка микропрограммы. Правила разметки зависят от типа автомата.

Разметка микропрограммы для автомата Мура

Начальный и конечный операторы помечаются символом начального состояния.

Все безусловные операторы помечаются символами следующих состояний


Разметка микропрограммы для автомата Мили

.Выход начального и вход конечного операторов помечаются символом начального состояния.

.Входы всех операторов, следующих за безусловными операторами,

помечаются символами следующих состояний.

После разметки микропрограммы строится таблица переходов и выходов. Далее синтез автомата выполняется в порядке, рассмотренном выше. Разметку микропрограмм рассмотрим на примере.



4.3. Пример синтеза автомата по микропрограмме


Задание. Синтезировать автомат, который управляет выполнением микропрограммы, приведенной на рис.4.3.





Заданы:

 тип автомата – автомат Мили;

 тип элементов памяти - D-триггеры;

 тип логических элементов -И, ИЛИ, НЕ.

Формализация задания. Для автомата, заданного микропрограммой, количество входов равно количеству условных операторов в микропрограмме. В данном






Y0


Q0


0


S





1


Y1


Q1


1

0




В<0



Y2

Y4

Y2

Y3






Q0






Y0



Рис. 4.5




случае автомат имеет два входа. Количество выходов равно количеству управляющих сигналов, т.е. пяти. Тогда обобщенная схема автомата может быть представлена на рис.4.4.

Разметка микропрограммы. Для автомата Мили размеченная микропрограмма имеет вид, показанный на рис. 4.5.

В соответствии с правилами разметки автомат имеет два состояния, обозначенные Q0 и Q1. На размеченной микропрограмме содержание микроопераций не указано, приведены только управляющие сигналы, выполняемые в данном такте. Кроме того, условные операторы обозначены буквами S и B, которые принимают значения 0 или 1 в зависимости от выполнения условий.


Составление таблицы переходов и выходов. Таблица переходов и выходов автомата Мили в соответствии с размеченной микропрограммой имеет вид табл. 4.1.

Таблица 4.1

Входы

Состояния и выходы


S

B

Q0

Q1.

0

0

Q0, Y0

Q0 , Y2 , Y3

0

1

Q0 , Y0

Q0 , Y2 , Y4

1

0

Q1., Y1

Q0 , Y2 , Y3

1

1

Q1., Y1

Q0 , Y2 , Y4

Кодирование состояний.

Количество элементов памяти: n = log22­ = 1.

Состояния закодируем естественным способом:

_

Q0 ® q ® 0; Q1 ® q ® 1;

Таким образом, за состояние Q0 принята ситуация, при которой в элемент памяти записан 0. Состоянию Q1 соответствует запись символа 1 в элемент памяти.

Составление кодированной таблицы переходов и выходов. В соответствии с принятым способом кодирования состояний кодированная таблица переходов и выходов имеет вид табл.4.2.

Таблица 4.2

Входы

Состояния и выходы


S

B

Q0

Q1.

_

q


q

0

0

0 , Y0

0 , Y2 , Y3

0

1

0 , Y0

0 , Y2 , Y4

1

0

1 , Y1

0 , Y2 , Y3

1

1

1 , Y1

0 , Y2 , Y4

Выбор типа элементов памяти. В качестве элементов памяти заданы D-триггеры.

Преобразование кодированной таблицы переходов и выходов в таблицу функций возбуждения триггеров для D-триггеров не выполняется.


Запись функций переходов и выходов в СДНФ. Для одного элемента памяти записывается одна функция переходов (функция возбуждения D-триггера):

_ _ _

qt+1 = SBq Ú SBq .

Функции выходов

_ _ _ _ _

Y0 = SBq Ú SBq ;

_ _ _

Y1 = SBq Ú SBq ;


_ _ _ _

Y2 = SBq Ú SBq Ú SBq Ú SBq ;

_ _ _

Y3 = SBq Ú SBq ;

_

Y4 = SBq Ú SBq .

Минимизация функций возбуждения и выходов. В результате минимизации методом непосредственных преобразований получим следующие формы функций: _

Функция переходов: qt+1 = Sq ;

_ _ _ _

Функции выходов:Y0 = Sq ;Y1 = Sq ;Y2 = q ; Y3 = Bq ; Y4 = Bq .
Выбор типа логических элементов. Для синтеза заданы логические элементы И, ИЛИ, НЕ.

Преобразование функций переходов и выходов к виду, удобному для реализации на элементах И, ИЛИ, НЕ. Для элементов И, ИЛИ, НЕ преобразование не выполняется.




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

Проверка правильности работы автомата. При проверке рассмотрим случай, когда автомат находится в состоянии Q0 и на его входы поступают сигналы S = 1 и B = 0. В состоянии Q0 в элементе памяти записан 0, т.е. q=0. Значения сигналов для этого случая приведены на рис. 4.6. При условии, что сигнал С=1, на выходах формируются следующие сигналы:

Y0 = 0; Y1 = 1; Y2 = 0; Y3 = 0; Y4 = 0,

а триггер переключается из состояния 0 в состояние 1, т.е. автомат переходит в состояние Q1 Таким образом, автомат при данном сочетании текущего состояния и входного сигнала работает в соответствии с таблицей переходов и выходов.
Контрольные вопросы


Для чего предназначен операционный блок?

Какие функции выполняет блок управления?

Чем определяется набор и последовательность управляющих сигналов?

.Что такое машинный такт?

Что такое микрооперация?

 Какие микрооперации называются совместимыми?

Что такое микрокоманда?

 Что такое микропрограмма?

 Сформулируйте правила разметки микропрограмм для автомата Мура.

Сформулируйте правила разметки микропрограмм для автомата Мили.