Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги / Проектирование дискретных устройств автоматики

..pdf
Скачиваний:
3
Добавлен:
12.11.2023
Размер:
8.51 Mб
Скачать

Теперь проверим выполнение условия п. 46: для начального оператора A i в М л г имеем

Pi'Pi =

Pi î

 

для

начального оператора А 2 в

имеем

Р ч - Р ч =

Рч

 

для начального оператора А 3 в М а я имеем

Р ч - Р ч =

Рч-

 

Таким образом, четвертое условие также выполняется.

Схема реализованного автомата в базисе УЯ изображена на рис. 6.2. Как видно из рисунка, выход УЯ1 соединен со входами УЯ2 и УЯз, так как поело

возможен

переход

к М а я и М а ь

При этом

входами Хи - ,

УЯ1 явля­

ются pi и р 2,

так

как

переход М а х осуществляется от М а 9 при рi= 0 и Р2 = Ь

В случае

перехода

MA

во внутреннее

состояние,

соответствующее

М а %ш он ос­

тается в

нем до тех пор, пока значение pi=0 не

сменится на p i= l. Аналогич­

но во внутреннее состояние, соответствующее Ма2, микропрограммный автомат

перейдет после М а х (вход

от УЯ1) и М а ь (вход от УЯз)

при

Pi = l и Р2=1.

При этом MA останется во внутреннем состоянии, соответствующем М а § 9 ДО тек

пор, пока значение р2= 1 не сменится на

р2= 0 (см. М л 9)-

Заметим, что на не-

задействованные

входы Хи

...» х п

должен

постоянно подаваться единичный сиг­

нал.

 

 

 

 

 

 

 

 

 

 

 

 

Т а б л и ц а

6.i

 

00

10

01

11

Выход

УЯ

 

1

3

(1)

2

Z A ,

у Яг

 

2

3

3

(2)

(2)

* А г

У Я 3

3

(3)

(3)

1

<2

2а ,

УЯ3

Для сравнения языка ЛСА с языком таблиц переходов приведем запись условий рассматриваемого автомата на языке таблиц переходов (табл. 6.1, в которой указан номер i-й ячейки, соответствующей t-му внутреннему состоянию автомата).

Таблица 6.2

 

Р1Р2

 

 

 

 

 

 

 

00

10

01

11

Выход

УЯ

 

1

3

(1)

3

2

гЛг

У Hi

 

2

1

1

(2)

(2)

ZA ,

УЯ2

 

3

(3)

1

(3)

i

ZA ,

УЯ,

Рис. 6.2

 

Пример 6.2. Пусть заданы логическая схема алгоритма

 

И = I 2 Аг P l Î* р2 Î* ^ а 2 р2 Î* © Î* ^ А 3 P l Î 1 0 î*

 

и система

микрокоманд:

 

 

 

Ш

P2

+ —

/V

JMi = J l1 Ai -*Pi

i

 

\

 

;

 

 

 

 

 

-и 3]

)

J

 

 

 

 

r

 

/■

f

> * 1

)

 

Ma = J i1 Аг+рг

}

M3

 

 

 

 

1

-M il J

t

i

 

J

 

И з

рассмотрения этой

системы микрокоманд

видно, что в

ней выполняют­

ся три

первых

условия.

К а к и ранее,

убедимся

в

выполнении

четвертого ус­

ловия:

 

 

 

 

 

 

 

 

.для

оператора A i

(p 2\ Z p i ) p i p 2= p i p 2\

 

 

 

для

оператора Л 2

P \ P z' P 2= P i p 2\

 

 

 

 

для оператора А 3

p ip l z=pl .

 

 

 

 

Схема M A изображена на рис. 6.3, а таблица переходов— в табл. 6.2.

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

условий.

Рассмотренная УЯ может применяться при синтезе ДУ лишь тогда, когда в каждом внутреннем состоянии автома­ та имеется хотя бы одно ус-

Рис. б.з тойчивое состояние (т. е. в каждой микрокоманде долж­ на быть ветвь, заканчивающаяся начальным членом). Если

во внутреннем состоянии нет устойчивого состояния, что обычно бывает в микропрограммном автомате, то необходимо использо­ вать второй тип УЯ, которую обозначим УЯ'. Эта ячейка (рис. 6.4) отличается от УЯ тем, что в цепи обратной связи (рис. 6.4,а)

введены элементы И с двумя входами и ИЛИ—НЕ с входами Хп+и •••> Хп+г. Поэтому после включения ячейки (т. е. возникнове­ ния сигнала в цепи обратной связи) она будет находиться в этом состоянии до тех пор, пока на один из входов хп+и •••> хп+г не при­ дет единичный сигнал. При появлении единичного сигнала сигна­ лы на выходах элементов ИЛИ-HE и И станут нулевыми и, та­ ким образом, обратная связьчнарушится, ячейка перейдет в исход­ ное (невключенное) состояние. Условное обозначение УЯ' приве­ дено на рис. 6.4,6.

Пример 6.3. Пусть заданы ЛСА (3.9) и система микрокоманд, полученная по этой ЛСА в примере 4.7. Из системы микрокоманд видно, что в каждом

внутреннем

состоянии

автомата нет

устойчивых

состояний,

в

микрокомандах

M Pi и М р 4

начальными членами являются не

операторы, а

логические

усло­

вия. Конечными членами в микрокомандах

M F i,

M Pi

и М р j

являются

ло*

гические

условия.

Использование

в

качестве

начальных

и конечных

членов

микрокоманд

логических

условий —

характерное

 

свойство

MA.

При нахождении микропрограммного автомата в определенных внутренних со­ стояниях на его вход могут поступать не все сигналы (значения ЛУ), а лишь некоторые из них. Например, из пяти логических устройств при выполнении микрокоманды М р% запрашиваются лишь значения р\ и рз.

В рассматриваемой системе микрокоманд для М р^ не выполняется второе

условие, так как конечный оператор Fj входит к микрокоманду дважды. По­ этому данная система микрокоманд реализуется в базисе не УЯ, а УЯ'. Кроме того, эту систему необходимо преобразовать, оборвав в М р4 ветвь на логиче­

ском условии р2 и введя новую микрокоманду М Р%. В результате вместо одной микрокоманды М Р4 получим две следующие:

/ Ы

 

 

 

 

Мр2 =

(

>

, 1

)

 

Р4_

 

г

{

Pi _

 

\1

 

 

 

*И ^i] J

 

I

\ [ F ) i

J

 

для которых второе условие выполняется.

 

 

 

Для микрокоманд

AfPi, М Р^ и М А г

не выполняется также третье усло­

вие, поэтому

 

преобразуем их следующим образом:

 

 

 

^[Fj]

 

 

(

 

_1

 

\

 

 

 

 

 

 

f[Pi]

 

 

+Рь

 

 

 

+Рь

 

 

/

\[Fi]

 

 

 

/

\lFj]

1

\Рг_

1

МР.= \\Р*_

 

 

{

\М*1

 

1

 

 

J

J

 

ч

 

 

М д я = М 3 — [Z7* ]} > М ^

{ А г

[А 2]} ;

 

— {Л2 [ F i] } -

При этом учитываем, что микрокоманда M p j уже имеется.

для логического условия р4

1 • [р4] \ / 1 • [Р4] = р4;

для оператора Fj

PiPzFi\/pKpbFyt

для

оператора A i

рьРьРгАу,

 

для

оператора Аг

■I-Аг\

 

для

оператора Аз

рИз;

 

для

оператора F*

PipsFiVlFi-

ДЛЯ логического условия р2

Р4Р5[Рг].

Как видно, для операторов Fi и Fj четвертое условие не выполняется. По­ этому заданную систему микрокоманд нельзя реализовать только в базисе УЯ. Однако в тех случаях, когда добавляются логические элементы ИЛИ либо ФБ, реализующие операторы Fi и Fj, имеют несколько входов, система микрокоманд

может быть реализована вводом для

каждого из операторов

Fi и Fj несколь­

ких

УЯ' (рис.

6.5). Каждая

из этих

УЯ

может быть выполнена в виде

БИС

или

в базисе

ИМС с малой

интеграцией,

например в базисе

элементов

ИМС

серии 155.

Zn

ZFj.

ZA, l Az ZAj

ZAk

 

 

 

Рис. 6.5

Сложность (т. e. число корпусов) ИМС серии 155 как при стандартноГг

реализации микропрограммного автомата

в виде схемы Уилкса

(см. гл. 4), так и

при использовании УЯ' существенно зависит от алгоритма функционирования

MA. В общем случае при синтезе MA наиболее предпочтительно

использовать

его стандартную реализацию. Однако

в том

случае, когда (см.

примеры 6.1

и 6.2) все или хотя бы большинство

(более

75%) микрокоманд

имеют ветви,

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

При выборе элементного базиса необходимо иметь в виду, что применение БИС вместо малых ИМС сокращает число межкор­ пусных соединений (паек), а следовательно, повышает надеж-

«ость проектируемого ДУ. С этой точки зрения при аппаратной реализации ДУ в качестве элементного базиса наиболее пред­ почтительно использовать выполненные в виде БИС программируе­ мые логические матрицы (ПЛМ), которые освоены промышлен­ ностью, и перспективные БИС на основе матричных однородных сред (МОС).

6.3. Синтез дискретного устройства на программируемых логических матрицах

Программируемые логические матрицы [5, 21] можно рассма­ тривать как один из наиболее простых, типов однородных сред. При этом ПЛМ, представляющая собой БИС, создана на базе полупроводниковой технологии запоминающих устройств. Струк­ турная схема простейшей ПЛМ (рис. 6.6,а) состоит из двух мат­ риц Mi и М2. Условное обозначение ПЛМ приведено на рис.

а)

* )

 

Рис. 6.6

6.6,6. Число входов Xi, .... хп и выходов fu —, fh в ПЛМ ограни­ чено и зависит от степени интеграции (т. е. от числа компонент) БИС. Инверсные входы хи .... хп образуются непосредственно в буфере ПЛМ, включающем инверторы НЕ. В матрице Mi форми­

руются /

конъюнкций Zi = f(xi...... х„), i= l, ...,

/,

от прямых

и

инверсных

входных переменных, сопоставленных

с

прямыми

и

инверсными входами ПЛМ. Выходы zь ..., zi матрицы Mi, ко­ торым соответствуют образованные в Mi конъюнкции, являют­ ся входами матрицы М2, в которой конъюнкции zu —, А логически складываются, образуя дизъюнктивные нормальные формы (ДНФ) функций fu ..., fk, описывающих сигналы на одноименных выходах матрицы М2. Иными словами, функционально матрица Mi представляет собой / многовходовых (2л-входовых) логичес­ ких элементов И, а матрица М2 — k многовходовых (/-входовых) логических элементов ИЛИ (рис. 6.7). Однако в ПЛМ допуска­ ется настройка (программирование) и Mi, и М2 путем изменения состава входов в логические элементы как И, так и ИЛИ. Поэто­ му на ПЛМ может быть реализована любая система k булевых

(переключательных) функций от п переменных, представленных в ДНФ. Учитывая вместе с тем, что реально в ПЛМ. число выхо­ дов в М\ берется значительно меньше, чем возможное число конъюнкций от п переменных, т. е. /<2™, на ПЛМ могут быть реализованы только такие ДНФ, в которых число конъюнкций не превышает /. Вместо логических элементов И в Mi или ИЛИ в М2 могут применяться логические элементы ИЛИ—НЕ.

Рис. 6.7

Приведенную на рис. 6.6 ПЛМ можно представить в виде си­ стемы вертикальных и горизонтальных шин, в каждой точке пере­ сечения которых стоит элемент (диод, транзистор и т. п.), соеди­ няющих соответствующие горизонтальную и вертикальную шины (рис. 6.8). В зависимости от типа применяемых элементов разли­ чают биполярные ПЛМ и МОП (металл, окисел, полупроводник)

ПЛМ. На рис. 6.9,а представлены

возможные элементы в M t и

Мг биполярной ПЛМ,

 

а на рис. 6.9,а — МОП

 

ПЛМ.

1i à

 

 

77/тп-

 

^

 

t n

 

 

 

Г"

■’. . 2

 

 

51r

 

 

 

\

г

V*)\

Z1

If ^f Ï

f Ï f

 

 

1- -~|1f

v

/

1

“t—jЛл )

КА;

 

i 1

 

 

 

 

г ■ \

Гv

 

Zi

\ f ^ f \ f ^ !

'"T—Иt7t)

{А'i !

r

 

 

 

j

1

1

 

 

 

 

1

:

1

 

 

 

 

1

1

 

 

 

 

 

 

 

 

!

v

 

 

V\ I Zf-1

If \

f \

f \

f

 

1

г—1If

 

 

J

1

"Т--Нтл )

zt -

)

kJ

V.

 

!_1--1z'

)

 

'if

) I

\ ( ^f >

f ^f

 

1

Ч—ïfX

V

 

 

\ \

 

 

 

J

 

кNJ

 

L

3 A/2C

 

j

L

KN

 

 

 

 

6

 

 

 

 

 

 

А;

t

■1

i

 

 

 

 

 

 

 

 

 

 

 

Рис. 6.8

Очевидно, прежде чем реализовать систему функций при ис­ пользовании МОП ПЛМ, каждую из этих функций необходимо перевести в двухъярусную форму, аналогичную ДНФ, но исполь­ зующую операцию ИЛИ—НЕ (функция Вебба) [1]. В зависимос­ ти от способа настройки (программирования) элементов матриц. Mi и М2 различают два основных типа ПЛМ: программируемые

впроцессе изготовления в программируемые пользователем.

Ф

Рис. 6.9

В программируемых логических матрицах первого типа ин­ формация в матрицы (т. е. соединения вертикальных и горизон­ тальных шин) заносится в процессе их изготовления с помощью маски и в дальнейшем не может изменяться. В биполярных ПЛМ маска используется для подключения элементов к шинам матриц путем металлизации нужных участков схемы. В МОП ПЛМ не­ нужные (замаскированные) элементы не образуются.

Программируемые логические матрицы второго типа поставля­ ются незапрограммированными. Информация в матрицы М\ и М2 заносится пользователем с помощью специального оборудования. Таким образом, потребитель может сам программировать ПЛМ при создании на их базе тех или иных ДУ. При этом следует отметить, что среди ПЛМ второго типа имеются как однократно, так и многократно программируемые (т. е. допускающие пере­ программирование) .

Пример 6.4. Пусть задана следующая система представленных в совер­ шенной дизъюнктивной нормальной форме (СДНФ) [1, 16] булевых функций,, описывающая комбинационный автомат:

{ / l = * 1 * 2 * 3 V * 1 * 2 * 3 V * 1 * 2 * 3 V * 1 *2 *g Î

\ f 2 = x 1 x 2 x 3*4

Vt*i х 2 х 3 х 4 V х г х 2 х 3 х 4 ;

I F3 —*1 *2 V *1*2*

Необходимо

реализовать данную систему в базисе ПЛМ биполярного

типа.

 

Решение. Вначале необходимо минимизировать функции [1, 16], причем так, чтобы было минимальным число различных конъюнкций, так как число / выхо­ дов ПЛМ ограничено. Получение же минимального числа вхождений перемен­ ных в функции какого-либо значения не имеет, поскольку в М\ каждой пря­ мой и инверсной переменной все равно отведена одна вертикальная шина. Та­ ким образом, при минимизации системы функций необходимо стремиться по­ лучить не минимальные, а кратчайшие ДНФ, причем такие, которые имели 6ье

(^наибольшее число одинаковых конъюнкций. В результате минимизации задан­ ной системы функций получаем следующие кратчайшие ДНФ:

[ f i xi *1V х2 H ;

{ /а = *1х2 х4 V *1*3*4! 1 /з = *1*2 V *1 *2"

Прежде чем реализовать полученную систему ДНФ на ПЛМ, удобно со­ ставить сокращенную таблицу соответствия [1, 16] (табл. 6.3).

Т а б л и ц а 6.3

* 1

* 2

* 3

* 4

h

/ 2

/ 3

I

X

1

X

1

0

0

X

0

0

X

1

0

0

.1

0

X

1

0

1

0

1

X

1

1

0

1

0

I

1

X

X

0

0

1

0

0

X

X

0

0

1

В табл. 6.3 вхождению прямой (без отрицания) переменной в конъюнкцию соответствует 1, а инверсной — 0. Знак «X» обозначает, что соответствующая переменная в конъюнкцию не входит. От такой таблицы легко перейти к прог­

раммируемой логической матрице (рис. 6.10), где точками

указаны те элемен­

ты матриц Mi и М 2, которые должны быть образованы

в ПЛМ.

При

использовании МОП

 

ПЛМ от ДНФ необходимо перейти

к функциям в базисе

 

ИЛИ—НЕ, а затем уже реализовать их на

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ПЛМ.

Методы

перехода

от

 

 

х , х . х , х , х , х , х , х , .

 

 

 

 

 

 

 

 

ДНФ к формам в базисе

 

 

 

 

 

 

 

 

 

 

[

 

 

 

 

ИЛИ—НЕ изложены в [1]. а

 

 

 

 

 

 

11-

 

 

 

г

 

более подробно— в {19].

 

а

 

 

 

 

 

- - -г-

 

 

 

 

Рассмотрим

теперь

реали­

3_L

 

 

"

1

- - -

-

-

- “1

 

зацию в базисе ПЛМ автомата

 

 

 

с памятью. В данном случае

т

_

_

L

 

 

Н

 

-

- - -г

-

 

 

 

 

 

 

1

-

- - -

-

-

 

 

 

на

ПЛМ реализуется

логиче­

3

_

1

_

 

 

 

г

 

 

 

 

ский

преобразователь ЛП

ав­

J] ±1

 

 

 

П- - - -г-

 

 

 

 

 

 

—1

 

ML

 

Н

 

-

- - -г

-

Мг

 

 

L

томата (рис. 6.11), а для

бло­

 

 

 

-

J

 

 

 

-

ка

элементов

памяти

могут

 

 

 

 

 

 

 

 

 

'

(

1

 

 

 

 

 

 

 

 

 

 

 

 

быть использованы любые ти­

 

 

 

 

 

 

 

 

 

 

t

f Z

'S-

 

пы

триггеров,

например

RS-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

РИС. 6.10

триггеры, имеющие два входа и

мой). При этом

 

 

 

 

 

 

 

 

 

 

два выхода (инверсный и пря­

в систему функций, реализуемых на ПЛМ (мат­

рицы Mi

и М2), войдут как функции, описывающие

сигналы

на

выходах Zi, ..., г/, автомата, так и фукции выключения и включе­ ния триггеров YR( и YS {, t = l , .... m, от входных Xi......хп и внут­

ренних у 1, ..., уп переменных.

В том случае, когда весь логический преобразователь автома­ та реализован на одной стандартной ПЛМ с ограниченными раз­ мерами, необходимо осуществить декомпозицию системы функций.

Рис. 6.11

В настоящее время существует ряд достаточно эффективных мето­ дов декомпозиции системы функций при их реализации на ПЛМ (см., например, [5]).

6.4. Синтез дискретного устройства в базисе МОС

Матричная, как и любая другая однородная среда [14, 20) характеризуется тем, что ее функциональные элементы (ФЭ) и связи между ними являются однотипными. Матричная однородная, среда, относящаяся к классу сред с индивидуальной настройкой ФЭ, представляет собой прямоугольную итеративную решетку из М горизонтальных и N вертикальных шин (рис. 6.12,а). Функ­ циональные элементы МОС, которые обычно называются ячейка­ ми среды, расположены на пересечении горизонтальных и верти­ кальных шин. Каждая из ячеек МОС подключена к одной гори­ зонтальной и одной вертикальной шине, причем связь между ши­ нами МОС возможна только через ячейки среды.

Каждая ячейка МОС может выполнять одну из следующих че­ тырех одноместных операций (рис. 6.12^6):

0 \ — передачу инвертированного сигнала с горизонтальной ши­ ны На вертикальную;

Ог — передачу инвертированного сигнала с вертикальной шины на горизонтальную;

Оъ — передачу сигнала с горизонтальной шины на вертикаль­ ную;

О4 — развязку между шинами.

1 Z N

А ■А ■ А - >

 

 

 

 

: А А

А-

т :

. п

т

-

А ■А •

'

А- *

0j

Qz

Üj

а)

 

 

В)

 

 

Рис. 6.12

При этом ячейка МОС вносит задержку т при передаче сигнала с одной шины на другую. Параллельное подключение выходов яче­ ек к горизонтальной (при операции 0 2) или вертикальной (при операциях 0 { и 0 3) шине соответствует дизъюнкции переменных, •сопоставленных с этими выходами. С помощью внешних сигна­ лов ячейка МОС настраивается (программируется) на реализа­ цию одной из четырех операций Оь О4. Настройка осуществ­ ляется координатным методом-одновременно всех ячеек. Показа­ но, что в такой среде могут быть реализованы любая система бу­ левых функций и любой автомат с памятью.

Пример 6.5. Пусть задана система из трех булевых функций, рассмотрен­ ная в примере 6.4. Необходимо ее реализовать на матричной однородной среде.

Решение. При синтезе системы булевых функций на МОС, так же как и при синтезе на ПЛМ, должны быть найдены кратчайшие ДНФ и выбраны та­ кие кратчайшие формы, которые обеспечили бы наличие максимального числа одинаковых конъ­ юнкций в различных ДНФ. Пусть после миними­ зации построена табл. 6.3. От табл. 6.3 легко пе­ рейти к настройке МОС (рис. 6.13). При этом входы и выходы автомата подключаются к гори­ зонтальным шинам. На вертикальной шине обра­ зуется дизъюнкция переменных, соответствующих сигналам, снимаемым с выходов подключенных к данной шине ячеек. Вертикальная шина, на кото­

рой образована дизъюнкция k{ переменных х,1Э X i V 1<п, где п — общее число переменных во

всех функциях, подключается к горизонтальной шине через инвертор. Поэтому если в конъюнкции ДНФ входит переменная без отрицания, то она подается на вертикальную шину через ячейку, на­ строенную на реализацию операции 0 4 (т. е. эта переменная инвертируется). Если она входит в ДНФ без отрицания, то подается через ячейку,

настроенную на реализацию операции Оз. Таким образом, в нашем случае по­ лучим для функции fi две дизъюнкции, образованные на первых двух верти­

кальных шинах:

к \ = х \ \ / х з и

= ^ 2V П о с л е их инвертирования ячейками,

настроенными на

реализацию операции 0 2 и их объединения

на горизонтальной

шине получаем / I = £ I VÆ2=*I V*3V*2V*3=*IX3V*2X3. Аналогично получена на­

стройка МОС на

реализацию

функций f2 и /3: f2 = £3W 4=

V *4 V M / * 3 V*4 =

= * IX2*4V * I*3*4; f3 = W Æ e = 3 W W * iV * 2 = * i* 2V*i*2.

Рассмотрим реализацию в МОС автоматов с памятью. Как и

при использовании

ПЛМ, для реализации автоматов с памятью

в МОС логический

преобразователь автомата можно построить

в МОС, а в качестве ЭП использовать триггеры. Однако учиты­ вая, что ячейка МОС имеет задержку т, ее можно представить в

виде композиции элемента,

реализующего логическую функцию

/, и элемента

задержки т (см. рис. 2.4,6). При этом

автомат

мо­

жет рассматриваться как автомат с рапределенной

задержкой

(см. рис. 2.5).

 

 

 

 

Пример 6.6.

Задана таблица

включений, полученная в примере 4.1

(см.

рис. 4.1,в). Требуется реализовать автомат в базисе МОС с выделенным бло­ ком памяти (БП), построенным на малогабаритных электромагнитных реле.

Решение.

Припишем входным и внутренним переменным

следующие веса:

переменной

Х\ — вес 2°=1; *2 — вес 21=2 и у — вес 22=4

(на рис. 6.14 эти

Соседние файлы в папке книги