Автоматы с программируемой логикой

42895
знаков
30
таблиц
9
изображений

Рассмотренные выше реализации микропрограммного автомата на жесткой логике приводят к различным схемным решениям в зависимости от исходных  ГСА. А это значит, что при изменении функции автомата (изменении ГСА) необходимо изменять либо заново проектировать его схему. Реализация автомата на программируемых матрицах (ПЛМ – однократно программируемых), при незначительных изменениях в алгоритме работы автомата, требует программирования новых ПЛМ. Этого недостатка лишены автоматы с программируемой логикой. Алгоритм функционирования автомата с программируемой логикой представляется в виде закодированной микропрограммы, которая может загружаться в перепрограммируемые постоянные запоминающие устройства (ППЗУ) или в оперативные ЗУ (ОЗУ). Изменения в алгоритме отражаются в микропрограмме, но не влияют на схему автомата.

3.3.1 Принцип управления по хранимой программе

Напомним, что функция микропрограммного управляющего автомата определяется:

- множеством входных сигналов (логических условий): Х = {х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. Эта часть двоичного слова называется адресной.

Воспользуемся прямой таблицей переходов автомата Мура из примера (п.3.1).

a m

a s

Y as

Xa ma s

1

2

a 0

a 0

a 1

y7

 y1, y2

Ø x 3

x 3

3

4

a 1

a 2

a 3

 y3

 y4, y5

x 1

Ø x 1

5

a 2

a 3

y4, y5

1

6

7

a 3

a 4

a 0

y6

 y7

Ø x 2

x 2

8

9

a 4

a 2

a 3

y3

 y4, y5

x 1

Ø x 1

Если использовать приведенную выше структуру двоичного слова, то для описания данного автомата достаточно пяти двоичных слов (по числу состояний автомата), имеющих следующий формат:

уm1

уm2

хm

ах=0

ах=1

Сам номер (№) в слово помещать не нужно, так как это адрес слова в ЗУ. В слове под уmi отведено два поля, так как максимальное количество уmi в состоянии аmравно двум; под хmi – достаточно отвести одно поле, так как в любом переходе из аm в аmi (или аs) участвует только одно логическое условие. Под аmi достаточно отвести 2 поля: для адреса перехода при хm = 0 (ах=0) и при хm= 1 (ах=1). Используя выбранный формат двоичного слова можно составить в виде таблицы содержательную микропрограмму, описывающую работу автомата.

В этой таблице – каждая строка соответствует одному из состояний автомата (столбец am); № - соответствует адресу слова, описывающего это состояние в ЗУ. В колонках уm1 и уm2 записаны микрокоманды, вырабатываемые автоматом в состоянии am, в колонке хmзаписаны логические условия, определяющие переходы из состояния am в состояния, адреса которых в ЗУ записаны в колонках ах=0 и ах=1, в колонке  a m записаны пояснения: какому состоянию автомата соответствует данная строка.

уm1

уm2

хm

ах=0

ах=1

a m

0

у7

-

х3

0

1

a 0

1

у1

у2

х1

3

2

a 1

2

у3

-

х3

3

3

a 2

3

у4

у5

х2

4

0

a 3

4

у6

-

х1

3

2

a 4

Каждая из колонок этой таблицы (кроме am) должна быть представлена двоичными кодами. Количество двоичных разрядов для каждой колонки можно выбрать таким:

- уm1 – 3 разряда: здесь будем записывать номер уm1 (от 1 до 7);

- уm2 – 3 разряда: здесь будем записывать номер уm2 (от 1 до 7);

- хm  – 2 разряда: здесь будем записывать номер хm (от 1 до 3);

- ах=0 – 3 разряда: здесь будем записывать адрес ах=0, по которому в автомате должен произойти переход к следующему слову при хm =0 (от 0 до 4);

- ах=1 – 3 разряда: здесь будем записывать адрес ах=1, по которому в автомате должен произойти переход к следующему слову при хm =1(от 0 до 4).

Таким образом разрядность двоичного слова в нашем примере равна 14. Закодированная микропрограмма имеет вид, приведенный в таблице. В каждой колонке записаны двоичные числа в соответствии с принятыми выше соглашениями. Требуемый объем памяти – 70 бит. Рассмотрим подробнее 2-ю строку в этих таблицах.

уm1

уm2

хm

ах=0

ах=1

0

111

000

11

000

001

1

001

010

01

011

010

2

011

000

11

011

011

3

100

101

10

100

000

4

110

000

01

011

010

В этой и предыдущей таблицах в строке №2 описывается состояние автомата a2. Из этого состояния – безусловный переход  автомата в состояние a 3. Поэтому в столбце хm может быть записан номер любой переменной хm , а в обоих столбцах ах=0 и ах=1 одинаковый адрес перехода. Так как записанный в столбце хm обязательно имеет одно из значений: 0 или 1, то переход будет безусловным по адресу ах=0 = ах=1.

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

-          память для хранения микропрограммы (ЗУ) объемом не менее пяти слов; чтение слова из памяти осуществляется по адресу, подаваемому на адресный вход ЗУ; разрядность слов – 14 бит;

-          схему, преобразующую двоичный код  уm1 и уm2 в унитарный код, соответствующий закодированному уi; эта схема – дешифратор (DCу);

-          мультиплексор (MSх), выбирающий из множества входных сигналов Х всего один, номер которого записан в столбце хm;

-          мультиплексор (MSа), выбирающий из слова адрес ах=0 (если выбранное мультиплексором MSх значение хm=0) или адрес ах=1 (если выбранное мультиплексором MSх значение хm=1);

-          регистр адреса (RG), в который необходимо по импульсу синхронизации записать выбранный мультиплексором MSа адрес и подать его на адресный вход ЗУ, из которого будет считано следующее слово (иначе – переход в следующее состояние).

уm1

уm2

хm

ах=0

ах=1

1

2

3

4

5

6

7

8

9

10

11

12

13

14

Пронумеруем разряды двоичного слова с 1 по 14 (как показано в таблице); номера разрядов будут соответствовать номерам выходов ЗУ.

Функциональная схема автомата приведена на рис.27.

1.jpg

На этой схеме кроме описанных выше элементов имеется 8 дизъюнкторов, объединяющих одноименные выходы дешифраторов DCуm1 и DCуm2 . Эти элементы необходимы в случае, если одна и та же микрокоманда уi будет записана в разных строках микропрограммы в разных столбцах уm1 и уm2.

Автомат (рис.27) работает следующим образом. Сигнал Reset=1 устанавливает значение «0» во всех разрядах регистра RG. Код (или двоичное число) А=000 с выхода RG подается на адресный вход ЗУ. На выходах ЗУ (разряды 1..14) появляется слово, записанное по адресу 0 (см. таблицу). В этом слове:

разряды 1,2,3 – подаются на вход DCуm1 и, поскольку в этих разрядах записано число 111 (7), на выходе «7» DCуm1 формируется 1, а значит и выходной сигнал у7 = 1;

разряды 4,5,6 – подаются на вход DCуm2 и, поскольку в этих разрядах записано число 000 (0), (которое мы не использовали для кодирования уi) на выходе «0» DCуm1 формируется «1», но ни на каких либо других выходах уi эта «1» не появится;

разряды 7,8 – подаются на управляющие входы мультиплексора MSх; в этих разрядах записано число 11 (3). Значение логического условия х3 появляется на выход MSх;

мультиплексор MSа, в зависимости от значения х3 («0» или «1») подает на входы регистра адреса RG либо адрес перехода, записанный в разрядах 9,10,11 (если х3 = 0), либо адрес перехода, записанный в разрядах 12,13,14 (если х3 = 1);

при поступлении на вход С импульса синхронизации, этот адрес запишется в регистр RG и с его выходов поступит на адресный вход ЗУ, на выходе которого появится слово, записанное по этому адресу.

Таким образом за один цикл (время между синхроимпульсами С) автомат считает из ЗУ некоторое двоичное слово, выработает микрокоманды уm, проанализирует входные сигналы хm, и в зависимости от их значения выберет адрес следующего двоичного слова в ЗУ.

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

Рассмотрим некоторые приемы, позволяющие сделать автомат с программируемой логикой более оптимальным, чем приведенный на рис.27.

Кодирование наборов микроопераций

Выходные сигналы уi (микрокоманды), вырабатываемые управляющим автоматом, сгруппированы  в операторных вершинах ГСА в виде наборов, инициирующих выполнение операционным автоматом (ОА) совместимых микроопераций. Совместимые микрооперации – это такие, которые могут быть выполнены ОА одновременно.

Пусть автомат должен генерировать nразличных наборов микрокоманд из множества У = {у1, у2 …у k }; обозначим i-ый набор как:

Уi = {уi1, уi2 …уij }.

Составим матрицу М N*K, где N – количество различных наборов микрокоманд, а К – количество различных микрокоманд уi, вырабатываемых автоматом. Элемент матрицы mij = 1, если микрокоманда у j  входит в набор У i , а если не входит, то m ij  = 0. Если строки матрицы М (а значит и наборы Уi) не пересекаются, то в операционной части двоичного слова можно обойтись одним полем, в которое записывается номер набора Уi. Этот номер будет подаваться на один дешифратор DCу, на выходе которого будут сформированы микрокоманды уi.

В нашем примере все микрокоманды уiможно представить в виде следующих наборов: 

У0 = {у7};   У1 = {у1, у2 };    У2 = {у3};  У3 = {у4, у5};    У4 = {у6}; 

Матрицу М представим в виде таблицы:

у1

у2

у3

у4

у5

у6

у7

У0

1

У1

1

1

У2

1

У3

1

1

У4

1

Из матрицы видно, что пересечение строк для всех пар Уiи Уj (при i ¹ j) пусто. Закодируем наборы Уi следующим произвольным образом:

К(У0) = 000;  К(У1) = 001;  К(У2) = 010;  К(У3) = 011;  К(У4) = 100, 

и  изменим формат микрокоманды:

К(Уi)

хm

ах=0

ах=1

Количество разрядов двоичного слова при этом уменьшится до 11, а значит и уменьшится емкость необходимой памяти ЗУ до 55 бит. Пронумеруем разряды двоичного слова с 1 по 11 (как показано в таблице); номера разрядов будут соответствовать номерам выходов ЗУ на функциональной схеме автомата (рис.28).

К(Уi)

хm

ах=0

ах=1

1

2

3

4

5

6

7

8

9

10

11

Схема на рис.28 незначительно отличается от схемы на рис.27 по своему функционированию. Отличие – один дешифратор микрокоманд Уi, назначение которого описано выше.

2.jpg

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

1.            Если общее количество микрокоманд Уi невелико, то в операционной части двоичного слова можно выделить по одному разряду на каждую микрокоманду. В этом случае отпадает необходимость в дешифраторе DCу, так как в соответствующие разряды операционной части двоичного слова записываются значения (0 или 1) для всех Уi. Таким образом сигналы Уi берутся непосредственно с соответствующих выходов ЗУ. Если использовать такой подход для нашего примера, то разрядность двоичного слова увеличится до 15 бит, емкость ЗУ – до 75 бит, но из схемы автомата исчезнет дешифратор Dcу. Формат двоичного слова приведен ниже.

у1

у2

у3

у4

у5

у6

у7

хm

ах=0

ах=1

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

2.            Если общее количество микрокоманд Уi достаточно велико и использование приема, описанного в п1, приведет к значительному увеличению длины операционной части двоичного слова, то можно поступить следующим образом: закодировать пересекающиеся наборы микрокоманд минимальным образом (например, как в предыдущих примерах), в операционной части двоичного слова записать коды этих наборов, а в схеме автомата вместо DСу использовать дополнительное ЗУ. Разрядность адреса этого ЗУ равна разрядности кодов наборов микрокоманд, разрядность слов, записанных в ЗУ, равна количеству Уi в автомате. Каждый разряд слова в этом ЗУ соответствует определенному Уiи в него записывается «0» или «1» в зависимости от значения соответствующего Уiв данном наборе микрокоманд. Например, если использовать данный прием для предыдущего примера, то дополнительное ЗУ должно иметь разрядность адреса равное 3, разрядность слов – 5. Вид такого ЗУ приведен на рис.29.  

Если использовать кодирование наборов микрокоманд такое же, как в предыдущих примерах, то таблица программирования этого ЗУ будет иметь вид:

у7

у1,у2

у3

у4,у5

у6

3.jpg

А\бит

1

2

3

4

5

0

1

0

0

0

0

1

0

1

0

0

0

2

0

0

1

0

0

3

0

0

0

1

0

4

0

0

0

0

1

Адресация микрокоманд в автомате

В автоматах с программируемой логикой используются, в основном, два метода адресации микрокоманд: принудительная и естественная.

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

Естественная адресация предполагает наличие двоичных слов разного вида, например, операционные и управляющие слова. Операционные слова соответствуют операторным вершинам ГСА управляющего автомата, а управляющие – условным. Если в ГСА автомата есть линейные части (не содержащие условных вершин), то адреса слов, описывающих следующие друг за другом операторные вершины ГСА, должны формироваться в естественном нарастающем порядке: а t+1 = а t+ 1,

где: а t – адрес текущего слова,

     а t+1 – адрес следующего слова.

Управляющее слово может быть эквивалентно управляющей конструкции некоторого языка программирования:

IF  X i = 1 THEN GOTO  ахi=1;

если значение логического условия X i = 1, то адрес следующего слова а t+1 = ахi=1; если  X i = 0, то адрес следующего слова: а t+1 = а t+ 1.   

Естественная адресация микрокоманд в автомате

Формат микрокоманд (двоичных слов) при естественной адресации может быть следующим. Операционная микрокоманда содержит два поля: поле признака вида микрокоманды Р (операционная или управляющая; пусть для операционной – Р=0) и поле, в котором любым из возможных способов записаны значения уi, которые должен вырабатывать автомат. Управляющая микрокоманда содержит три поля: поле признака Р (пусть для управляющей – Р=1), поле логического условия (может содержать № логического условия X i ) и поле адреса перехода при X i = 1.

0

Уi

Формат операционного слова:                        

1

X i

Адр ахi=1.

Формат управляющего слова:

Поскольку для хранения и операционных и управляющих слов используется одно и то же ЗУ, разрядность слов должна быть одинаковой.

Возьмем, для примера, ГСА управляющего автомата, приведенную на рис.5 и запишем алгоритм работы автомата, используя следующие конструкции:

Оператор присваивания вида: уi = 1, для описания операторных вершин ГСА;

Оператор условного перехода вида: IF  X i = 1 THEN GOTO  ахi=1, для описания условных вершин ГСА.

Алгоритм, представленный в виде таблицы, напоминает программу на языке BASIC. Для более эффективного представления, в строках с адресами 1 и 3 перед логическими условиями X3 и X1 поставлен знак инверсии (Ø), что позволяет сократить количество строк в записи алгоритма. В строке 8 использована конструкция: GOTO  3 – безусловный  переход к строке 3. Для реализации безусловного перехода введем дополнительное логическое условие, например X0, а в схеме автомата предусмотрим, что бы всегда X0= 1. В этом случае, конструкцию  «GOTO  3 » можно заменить на конструкцию:   IF  X0 = 1 THEN GOTO  3.

Адрес

Оператор

0

 У 7 := 1;

1

IF  ØX3 = 1 THEN GOTO  0;

2

У 1 := 1; У 2 := 1;

3

IF  ØX1 = 1 THEN GOTO  5;

4

У 3 := 1;

5

У 4 := 1; У 5 := 1;

6

IF  X 2 = 1 THEN GOTO  0;

7

У 6 := 1;

8

GOTO  3;   (IF  X0 = 1 THEN GOTO  3;)

Из таблицы видно, что закодированная микропрограмма должна содержать 9 строк с адресами в ЗУ от 0 до 8. Поэтому адресное поле управляющей микрокоманды (в которое будем записывать адрес перехода - А) должно содержать не менее четырех разрядов (возьмем ровно 4), а поле логического условия (в которое будем записывать номер логического условия - Нх) должно содержать не менее двух разрядов (так как в нашем примере – 4 различных логических условия). В таблице показано соответствие разрядов двоичного слова и информации, которую содержит слово:

Разряды слова

1

2

3

4

5

6

7

Значения

1

Нх1

Нх0

А3

А2

А1

А0

В первом разряде всегда записывается 1 – признак управляющего слова. В разрядах 2 и 3 записывается номер логического условия Нх в виде двоичного числа: Нх1 Нх0, где индексы 0 и 1 – указывают младший и старший разряды числа  Нх. В разрядах 4, 5, 6 и 7 записывается адрес перехода А в виде двоичного числа А3 А2 А1 А0, где индексы при А так же указывают старшинство разрядов в числе А.

Формат операционного слова выберем следующий:

Разряды слова

1

2

3

4

5

6

7

Значения

0

у7

у12

у3

у45

у6

-

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

Адрес

Оператор

Разряды слова

1

2

3

4

5

6

7

0

 У 7 := 1;

0

1

0

0

0

0

0

1

IF  ØX3 = 1 THEN GOTO  0;

1

1

1

0

0

0

0

2

У 1 := 1; У 2 := 1;

0

0

1

0

0

0

0

3

IF  ØX1 = 1 THEN GOTO  5;

1

0

1

0

1

0

1

4

У 3 := 1;

0

0

0

1

0

0

0

5

У 4 := 1; У 5 := 1;

0

0

0

0

1

0

0

6

IF  X 2 = 1 THEN GOTO  0;

1

1

0

0

0

0

0

7

У 6 := 1;

0

0

0

0

0

1

0

8

IF  X0 = 1 THEN GOTO  3;

1

0

0

0

0

1

1

Для большей наглядности серым фоном в таблице выделены 1-ый разряд – признак вида микрокоманды, и разряды 4..7 – адрес перехода в управляющей микрокоманде. Объем памяти ЗУ – 63 бита.

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

-          память для хранения микропрограммы (ЗУ) объемом не менее девяти слов; чтение слова из памяти осуществляется по адресу (четырехразрядному), подаваемому на адресный вход ЗУ; разрядность слов – 7 бит;

-          схему, обрабатывающую операционную микрокоманду - преобразующую двоичный код в разрядах слова с 2-го по 6-ой в сигналы  уi на выходе автомата. Эта схема может быть реализована пятью элементами «И»;

-          мультиплексор (MSх), выбирающий из множества входных сигналов Х всего один, номер которого записан в разрядах 2 и 3 управляющего слова; мультиплексор должен иметь дополнительный вход разрешения  V; при  V=1 – режим нормальной работы MSх; при V=0 – режим запрета: на выходе MSх значение «0» независимо от сигналов на его входах;

-          четырехразрядный двоичный счетчик (СТ), имеющий два режима работы: параллельная загрузка адреса перехода (из разрядов 4..7 управляющего слова) в счетчик (когда выполняется условие Xi=1) и режим счета: СТ:=СТ+1 - во всех остальных случаях. Для этого счетчик СТ имеет вход управления V; при  V=0 – режим счета, при  V=1 – режим параллельной загрузки. У счетчика СТ должен быть еще один вход R для установки его в начальное состояние СТ:=0 (Reset).

Функциональная схема автомата с программируемой логикой и естественной адресацией приведена на рис.30.

Автомат (рис.30) работает следующим образом. Сигнал Reset=1 устанавливает значение «0» во всех разрядах двоичного счетчика СТ. Код (или двоичное число) А=0000 с выхода СТ подается на адресный вход ЗУ. На выходах ЗУ (разряды 1..7) появляется слово, записанное по адресу А=0 (см. таблицу). В нашем примере по адресу А=0 записана операционная микрокоманда, в которой:

первый разряд имеет значение 0 (признак операционной микрокоманды), поэтому на выходе мультиплексора MSх так же значение 0, а счетчик СТ находится в режиме счета; проинвертированное значение первого разряда (1) подается на входы элементов «И», выполняющих функцию электронных ключей, и на выходах этих элементов – значения 2..7 разрядов микрокоманды, т.е. – значения уi ; в нашем примере - У7 ;

так как счетчик в режиме счета (V=0), то при поступлении на вход С счетчика СТ импульса синхронизации, его состояние изменится: СТ:=СТ+1, а значит изменится на +1 адрес: А=0001;  этот адрес поступит на адресный вход ЗУ, на выходе которого появится слово, записанное по данному адресу;

в нашем примере слово по адресу А=0001 – управляющая микрокоманда; первый разряд в этом слове имеет значение 1 (признак управляющей микрокоманды); проинвертированное значение первого разряда (0) подается на входы элементов «И», и на выходах всех этих элементов – значения «0» (все уi=0); на разрешающий вход мультиплексора MSх подается значение «1»: MSх находится в режиме нормальной работы;

значения разрядов 2 и 3 – подаются на управляющие входы мультиплексора MSх; в нашем примере в этих разрядах записано  двоичное число 11 (3); значение логического условия ØX3 появляется на выходе MSх;

если ØX3 = 1 (X3 = 0), то на вход V счетчика СТ подается «1» (режим параллельной загрузки счетчика) и, при подаче на его вход С импульса синхронизации, в СТ запишутся значения разрядов 4..7  микрокоманды (в нашем примере – это адрес 0000); из ЗУ будет считано слово по этому адресу;

если ØX3 = 0 (X3 = 1), то на вход V счетчика СТ подается «0» (режим счета) и, при подаче на его вход С импульса синхронизации, состояние СТ изменится: СТ:=СТ+1; в нашем примере СТ:= 0001+1=0010; запишутся значения разрядов 4..7  микрокоманды (в нашем примере – это адрес 0000); из ЗУ будет считано слово по адресу 0010 (2); и т.д.

4.jpg

Принудительная адресация микрокоманд в автомате.

В начале раздела на рис.27 и 28 приведены схемы автомата с принудительной адресацией. В отличие от естественной, принудительная адресация сводится к указанию в каждом слове адреса (или адресов) следующего слова. Однако даже при двухадресной микрокоманде, когда в каждом двоичном слове всего одно логическое условие, длина адресной части может быть значительной. Есть различные способы уменьшения длины адресной части в двоичном слове. Один из них заключается в следующем. В адресной части слова записывают адрес перехода при Xi = 0 (Адр хi=0), а если X i= 1, то адрес перехода Адр  вычисляется так:

Адр = Адрхi=0 + 1.

Если использовать логическое значение переменной Xi как арифметическое (0 или 1), то адрес перехода можно вычислить так:

Адр = Адрхi=0 + Xi.

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

a m

a s

Y as

Xa ma s

1

2

a 0

a 0

a 1

y7

 y1, y2

Ø x 3

x 3

3

4

a 1

a 2

a 3

 y3

 y4, y5

x 1

Ø x 1

5

a 2

a 3

y4, y5

1

6

7

a 3

a 4

a 0

y6

 y7

Ø x 2

x 2

8

9

a 4

a 2

a 3

y3

 y4, y5

x 1

Ø x 1

Воспользуемся ГСА (рис.5), прямой таблицей переходов автомата Мура из примера в п.3.1. и форматом микрокоманды из первого примера текущего раздела, в котором в адресной части оставим только одно поле ах=0

К(Уi)

хm

ах=0

1

2

3

4

5

6

7

8

Используем кодирование наборов микрокоманд и дополнительное ЗУ (смотри рис. 29). Микропрограмма с комментариями приведена ниже.

У0 = {у7};   У1 = {у1, у2 };    У2 = {у3};  У3 = {у4, у5};    У4 = {у6}; 

 К(У0) = 000;  К(У1) = 001;  К(У2) = 010;  К(У3) = 011;  К(У4) = 100.

Для организации безусловного перехода в этом примере введено дополнительное логическое условие  X0 . В схеме автомата  на вход X0 подадим значение «0», а значит переход в этом случае будет всегда по адресу ах=0, записанному в микрокоманде.

Адрес

Комментарий      \   разряды

1

2

3

4

5

6

7

8

0

a 0; IF   X3 = 0 THEN GOTO  0;

0

0

0

1

1

0

0

0

1

a 1; IF ØX1 = 0 THEN GOTO 2;

0

0

1

0

1

0

1

0

2

a 2; IF   X0 =0 THEN GOTO  3;

0

1

0

0

0

0

1

1

3

a 3; IF  X 2 = 0 THEN GOTO  4;

0

1

1

1

0

1

0

0

4

a 4; IF ØX1 = 0 THEN GOTO 2;

1

0

0

0

1

0

1

0

5

a 0; IF   X3 = 0 THEN GOTO  0;

0

0

0

1

1

0

0

0

Из таблицы видно, что на состояние a 0 пришлось использовать два слова в ЗУ, тем не менее, общий объем ЗУ в нашем примере 48 бит (меньше, чем у двухадресной микрокоманды). 

Функциональная схема автомата приведена на рис.31.

5.jpg

Отличие этой схемы от рис.28 состоит в использовании вместо мультиплексора адреса MSа комбинационного счетчика (Ст). Комбинационная схема (КС), обозначенная как Ст, выполняет функцию: Ст:=А + Xi, где:

Ст – двоичное число на выходе КС;

А – адрес перехода при Xi= 0;

Xi – значение логического условия Xi, выбранного мультиплексором MSх в соответствии с кодом, записанным в разрядах 4 и 5 микрокоманды и интерпретируемым как число 0 или 1.

Функционирование схемы (рис.31) практически не отличается от описанной выше схемы на рис.28.

Используя описанный выше прием формирования адресов переходов, можно еще на один разряд сократить адресную часть микрокоманды. Так как адреса переходов всегда отличаются на 1, то в качестве младшего разряда адреса очередной микрокоманды можно использовать значение логического условия Xi. Формат микрокоманды в этом случае имеет вид, приведенный в таблице. Старшие разряды адресной части (аС) записаны в микрокоманде, а младший разряд формируется из значения логического условия Xi.

К(Уi)

хm

аС

Xi

1

2

3

4

5

6

7

8

В следующей таблице приведена микропрограмма (на основе предыдущего примера), в которой функцию младшего разряда адреса перехода выполняет соответствующее логическое условие Xi, а на рис. 32 – функциональная схема автомата. 

Адрес

Комментарий \ разряды

1

2

3

4

5

6

7

8

0

a 0; IF   X3 = 0 THEN GOTO  0;

0

0

0

1

1

0

0

X3

1

a 1; IF ØX1 = 0 THEN GOTO 2;

0

0

1

0

1

0

1

ØX1

2

a 2; IF   X0 =0 THEN GOTO  6;

0

1

0

0

0

1

1

X0

3

a 3; IF  X 2 = 0 THEN GOTO  4;

0

1

1

1

0

1

0

X 2

4

a 4; IF ØX1 = 0 THEN GOTO 2;

1

0

0

0

1

0

1

ØX1

5

a 0; IF   X3 = 0 THEN GOTO  0;

0

0

0

1

1

0

0

X3

6

a 3; IF  X 2 = 0 THEN GOTO  4;

0

0

0

1

1

0

0

X 2

7

Схема не содержит комбинационного счетчика КС, однако такой формат микрокоманды накладывает на микропрограмму ограничение: при Xi=0 – адрес перехода всегда четный, а при Xi=1 –всегда нечетный.

Таблица для ЗУ 2

А\биты

ЗУ2

7)

1

1,у2)

2

3)

3

4,у5)

4

6)

5

0

1

0

0

0

0

1

0

1

0

0

0

2

0

0

1

0

0

3

0

0

0

1

0

4

0

0

0

0

1

6.jpg

Повышение быстродействия автоматов с принудительной адресацией

Рассмотренные выше схемы и форматы микрокоманд позволяют анализировать в одной микрокоманде только одно логическое условие. Поэтому, если некоторый переход зависит от нескольких логических условий, приходится использовать несколько микрокоманд для описания этого перехода. Таким образом, если логических условий в переходе из состояния am  в состояние as  два – то требуется два такта работы автомата (две микрокоманды), если три – то три такта и т.д. Очевидно, что быстродействие автомата при этом уменьшается в два, три и более раз.

Понижения быстродействия автомата можно избежать анализируя в одной микрокоманде все логические условия, определяющие переход из состояния am  в состояние as .

Рассмотрим пример (ГСА_быстрПЛ-.bmp).  

Закодируем группы микрокоманд (К(Уi)) следующим образом:

У0 = {у5};          К(У0) =000;

У1 = {у1, у2 };    К(У1) =001;

У2 = {у3, у4 };    К(У2) =010;

У3 = {у2, у3};     К(У3) =011;

У4 = {у4};          К(У4) =100; 

7.jpg

Закодируем группы логи­ческих условий, опреде­ляющих пере­ходы из со­стояний am в состояния as. Причем, одинаковые группы будем кодировать оди­наковыми кодами:

Ха1={х0},      К(Ха1) = 01                Ха2={ х12}, К(Ха2) = 10 

Ха3={-},        К(Ха3) = 00

Ха4={-},        К(Ха4) = 00

Ха5={х3},      К(Ха5) = 11

По количеству разря­дов микрокоманда бу­дет иметь такой же формат, как и в преды­дущем при­мере, так как разрядность кодов групп микрокоманд (К(Уi)) в нашем примере равна трем (как и в преды­дущем примере), разряд­ность кодов групп логиче­ских условий (К(Хаi)) равна двум (в предыду­щем примере два разряда использовались для коди­рования логических усло­вий К(Хi) ). Однако в от­личии от предыду­щего примера, значения раз­рядов в адресной части микро­команды будет зави­сеть от К(Хаi). Фор­мат микрокоманды приве­ден в таблице.

Обозначим пол­ный адрес в микроко­манде трехразрядным двоичным числом А2А1А0.

К(Уi)

К(Хаi)

Адрес

1

2

3

4

5

6

7

8

Если К(Хаi)=00 (что соответствует пус­тым группам логических условий Ха3= {-} и Ха4={-}), то значения 6, 7 и 8 битов должны зада­ваться явно в микрокоманде числом А2А1А0, что обеспечит безуслов­ный переход по этому адресу.

Если К(Хаi) = 01 или К(Хаi) = 11 (что соответствует группам логических условий Ха1={х0} и Ха5={х3}), то значения 6 и 7 битов задаются в микрокоманде явно (А2А1), а значение 8-го бита определяют логические условия х0 или х3. Если значение логического условия равно «0», то формируется адрес А2А10, если – «1», то формируется адрес А2А11. Такая микрокоманда обеспечивает условный пере­ход по одному из двух соседних адресов (как в предыдущем примере).

Если К(Хаi) = 10 (что соответствует группе логических условий Ха2={ х12}), то значение разряда 6 (А2) задается в микрокоманде явно, а значение 7-го и 8-го битов определяют (соответственно) логиче­ские условия х1 и х2. Такая микрокоманда обеспечивает условный пе­реход по одному из четырех соседних адресов:

при  х1=0 и х2= 0, формируется адрес А200,

при  х1=0 и х2= 1, формируется адрес А201,

при  х1=1 и х2= 0, формируется адрес А210,

при  х1=1 и х2= 1, формируется адрес А211.

Эта микрокоманда определяет переходы по четырем адресам, но на прак­тике некоторые адреса будут приводить к одним и тем же состояниям, что приведет к дублированию некоторых микрокоманд, что увеличи­вает объем используемой памяти ЗУ.

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

Адрес

Комментарий \ биты м/команды

1

2

3

4

5

6

7

8

0

a1; IF X0 = 0 GOTO 0/1;

0

0

0

0

1

0

0

X0

1

a2; IF К(Ха2)? GOTO 4/5/6/7;

0

0

1

1

0

1

X1

X2

2

a2; IF К(Ха2)? GOTO 4/5/6/7;

0

0

1

1

0

1

X1

X2

3

a1; IF X0 = 0 GOTO 0/1;

0

0

0

0

1

0

0

X0

4

a5; IF X3 = 0  GOTO 2/3;

1

0

0

1

1

0

1

X3

5

a4; GOTO  4;

0

1

1

0

0

1

0

0

6

a3; GOTO  4;

0

1

0

0

0

1

0

0

7

a3; GOTO  4;

0

1

0

0

0

1

0

0

Для реализации схемы формирования адресов в соответствии с приведенными выше микрокомандами используем два мультиплексора.

Эти мультиплексоры в зависимости от кода К(Хаi) должны сформировать значения разрядов адреса А1А0. Значение разряда А2  всегда (в нашем примере) задается в 6-ом бите микрокоманды.

8.jpg

На рисунке приведена схема формиро­вания младших разрядов адреса А1А0. На управляющие входы мультиплексоров (2, 1; это не просто цифры, а веса разрядов управляющих входов) подается К(Хаi) - код группы логических условий (4 и 5 биты микрокоманды). На информационные входы мультиплексоров (0, 1, 2, 3; в зависимости от кода К(Хаi), представляющего собой двоичное число – номер информационного входа, значение которого появится на выходе MS) подаются значения логических условий (Хi) и значения 7 и 8 битов микрокоманды.

Логика работы схемы следующая. Если К(Хаi)=00 (число 0), то на выходах А1А0- значения 7 и 8 битов микрокоманды (соответственно). Если К(Хаi)=01 (число 1), то на выходе А1 - значение 7 бита, а на выходе  А0–значение логического условия X0. Если К(Хаi)=11 (число 3), то на выходе А1 - значение 7 бита, а на выходе  А0–значение логического условия X3. Если К(Хаi)=10 (число 2), то на выходе А1 - значение логического условия X1, а на выходе  А0 –значение логического условия X2.

А\биты

ЗУ2

1)

1

2)

2

3)

3

4)

4

5)

5

0

0

0

0

0

1

1

1

1

0

0

0

2

0

0

1

1

0

3

0

1

1

0

0

4

0

0

0

1

0

Функциональная схема автомата приведена на рисунке.

9.jpg

 (на основе предыдущего примера), в которой функцию младшего разряда адреса перехода выполняет соответствующее логическое условие Xi, а на рис. 32 – функциональная схема автомата. 

Сегментация ЗУ в автоматах с программируемой логикой

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

Для того, что бы максимально использовать ЗУ и при этом не увеличивать длину адресной части микрокоманды используют прием, который называется «сегментация ЗУ». Весь объем ЗУ делится на сегменты (страницы), а адрес А, поступающий на адресный вход ЗУ рассматривается как адрес сегмента Ас (обычно старшие разряды адреса) и адрес ячейки в сегменте Ая (обычно младшие разряды адреса). Число сегментов обычно выбирают равным целой степени двойки (2, 4, 8 и т.д. сегментов).

Микропрограммы в ЗУ необходимо размещать так, чтобы было как можно меньше переходов из сегмента в сегмент, а значит лучше всего, что бы первая микрокоманда микропрограммы размещалась в первой ячейке некоторого сегмента. В этом случае в адресной части микрокоманды в качестве адреса перехода будет записываться адрес ячейки Ая и только при   необходимости перехода в другой сегмент микрокоманда должна содержать полный адрес: Ас и Ая.  Полный адрес необходимо так же записать в регистр адреса при выборе той или иной микропрограммы в ЗУ.

Использование сегментации ЗУ в автоматах с принудительной адресацией и одноадресной микрокомандой рассмотрим на примере автомата, описанного ГСА рис.5 с кодированием групп микрокоманд (как в примере на рис.28).

Пусть ЗУ имеет 8-ми разрядный адрес (емкость ЗУ - 256 слов). Представим ЗУ состоящим из 32-х сегментов, в каждом из которых – 8 ячеек. Таким образом, 5 старших разрядов адреса – это адрес сегмента (Ас), а 3 младших – адрес ячейки (Ая).

Формат микрокоманды практически не отличается от используемого в примере рис.31. Для записи признака перехода из одного сегмента в другой в микрокоманду введем дополнительный разряд (0): значение этого разряда «0» - обычная микрокоманда (как в примере рис.31), если «1» - то все остальные 8 разрядов микрокоманды интерпретируются как полный адрес перехода А = Ас Ая.

Пусть адрес первой микрокоманды микропрограммы А=00000011, т.е. Ас=00000, Ая=011. Микропрограмма с комментариями приведена ниже.( 90 бит )

Ас

Ая

Комментарий \ разряды

0

1

2

3

4

5

6

7

8

00000

011

a 0; IF X3 = 0 THEN GOTO 3;

0

0

0

0

1

1

0

1

1

00000

100

a 1; IF ØX1 = 0 THEN GOTO 5;

0

0

0

1

0

1

1

0

1

00000

101

a 2; IF X0 =0 THEN GOTO  6;

0

0

1

0

0

0

1

1

0

00000

110

GOTO-S 1,0;

1

0

0

0

0

1

0

0

0

00000

111

0

0

0

0

0

0

0

0

0

00001

000

a 3; IF X2 = 0 THEN GOTO 1;

0

0

1

1

1

0

0

0

1

00001

001

a 4; IF ØX1 = 0 THEN GOTO 3;

0

1

0

0

0

0

0

1

1

00001

010

GOTO-S 0,3;

1

0

0

0

0

0

0

1

1

00001

011

GOTO-S 0,5;

1

0

0

0

0

0

1

0

1

00001

100

GOTO-S 1,0;

1

0

0

0

0

1

0

0

0

Первые 3 строки (по смыслу) совпадают с примером рис.31. В нулевом разряде записан «0», в адресной части – Ая сегмента с адресом Ас=00000.

Конструкция «GOTO-S Ас, Ая » в комментариях означает переход по полному адресу А = Ас Ая. Следует обратить внимание на то, что в нулевом разряде этой микрокоманды - «0», а в операционной части – Ас (а не Уi ).

По аналогии с примером (рис.31), в 4-ой строке следовало бы записать конструкцию: «a 3; IF  X 2 = 0 THEN GOTO  7», однако Ая = 7 – это адрес последней ячейки сегмента с адресом Ас=0, и при X 2 = 1 адрес Ая = 7 + X 2 = 8. Поскольку под Ая отведено 3 разряда, то после этой операции получим  Ая=0. Поэтому в 4-ой строке «GOTO-S 1,0» - переход в сегмент с Ас=00001 в ячейку с Ая=000. 5-ая строка при этом не используется.

В 6-ой строке конструкция «a 3; IF X2 = 0 THEN GOTO 1;»  по смыслу совпадает с конструкцией «a 3; IF  X 2 = 0 THEN GOTO  4;» (рис.31), причем «GOTO-S0,3;» в 8-ой строке – переход в начало микропрограммы (где  «a 0; IF X3 = 0 THEN GOTO 3;» эквивалентно «a 0; IF   X3 = 0 THEN GOTO  0;»(рис.31).

В 7-ой строке «a 4; IF ØX1 = 0 THEN GOTO 3;» и далее «GOTO-S0,5;» и «GOTO-S 1,0;» эквивалентно одной строке из примера рис.31 «a 4; IF  ØX1 = 0 THEN GOTO  2;»

На рис.33 приведена функциональная схема автомата с принудительной адресацией и сегментацией ЗУ. Для упрощения в ней не показаны элементы, обеспечивающие запись в регистр адреса начального адреса микропрограммы.

10.jpg

Регистр адреса состоит из двух независимых регистров:RGс – регистр адреса сегмента и RGя – регистр адреса ячейки. Пока значение нулевого разряда слова равно «0» - разрешается работа дешифратора DСy  и разряды слова 1..3 интерпретируются как код группы микрокоманд Уi. В RGя при каждом синхроимпульсе записывается Ая, формируемый КС (как в примере рис.31). Если значение нулевого разряда слова «1», то работа DСy запрещается (на всех выходах DСy – «0»), а импульс синхронизации через элемент «И» подается не только на вход С RGя , но и RGс. Происходит запись полного адреса перехода в оба регистра: А=Ас Ая.

В остальном работа схемы не отличается от схемы на рис.31.


Информация о реферате «Автоматы с программируемой логикой»
Раздел: Радиоэлектроника
Количество знаков с пробелами: 42895
Количество таблиц: 30
Количество изображений: 9

Похожие материалы

Скачать
34836
6
6

... 6. Синтез управляющего автомата по граф-схеме алгоритма Конечный управляющий автомат, реализующий микропрограмму работы дискретного устройства, принято называть микропрограммным автоматом. Как уже отмечалось, микропрограмма отображается с помощью ГСА. Рассмотрим последовательность этапов синтеза управляющего автомата по его ГСА. 1. Запись словесного алгоритма функционирования операционного ...

Скачать
10854
13
11

... лекций. Основное внимание при выполнении курсового проекта обращается на умение принимать технические решения и обосновывать их. Объектом курсового проектирования является специализированное вычислительное устройство, включающее процессор и запоминающее устройство. Процессор проектируется для заданного списка команд и должен удовлетворять заданным требованиям технического задания. 2.Задание   ...

Скачать
54943
42
0

... nразъем = 135 резист = 0,05*10-6 час-1 nрезист = 3 общ = 344,1*10-6 час-1 Т = 2906,14 час Р = 0,6 ЗАКЛЮЧЕНИЕВ данном курсовом проекте был разработан процессор для ограниченного набора команд. Исходя из критерия проектирования, то есть максимального быстродействия блоки процессора построены на основе ТТЛШ технологии, на перспективных быстродействующих сериях, эти серии имеют ...

0 комментариев


Наверх