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

книги / Синтез принципиальных схем цифровых элементов на МДП-транзисторах

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

Из (1.8а) следует, что объединенный автомат хранит ин­

формацию при

£ ,- £ 2* ' F m — 1, т. е.

при F1

= F2 =

=

= Fm = 0 .

Следовательно, в каждой

ветви

имеется

по крайней мере один закрытый транзистор. Если хотя бы одна из функций £* Ф 0, то на выходе устанавливается ин­ формационный сигнал. Если только одна функция /*’, Ф О, то тогда на выходе устанавливается информационный сиг­ нал Et. Если F i = £ 0 , - i = 1, 2, ..., то в схеме возникают состязания информационных сигналов, и выходной сигнал зависит от соотношения проводимостей каналов транзисто­

ров, для

которых Ft Ф 0. Поэтому значение функции

Z (t 1)

будет неопределенным.

Неопределенные состояния на выходе параллельного соединения ветвей из последовательно соединенных тран­ зисторов можно устранить, если для всех ветвей, функции которых F t = 1, информационные сигналы [£ f], взвешенные этими функциями, будут иметь одинаковые логические

значения

 

 

 

 

 

[£Л

= [Л],

i = 1,

..., tnh

 

 

(1.9)

где

ntt — число

ветвей,

для которых

£ г =

1; или

для

всех

функций F it

взвешивающих

ветви,

подклю­

ченные к т тисточникам различных информационных сиг­

налов

[£fl Ф [£,•],

выполняется условие

 

 

( М О )

где m u

t r i j — число

ветвей, подключенных к разным ис­

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

Наконец, если (1.9) или (1.10) не выполняются, то в схеме возникают состязания информационных сигналов. В табл. 1.3 приведены возможные комбинации состязаний двух информационных сигналов и значения результирую­ щих сигналов. Существует четыре типа критических состя: заний (отмечены номерами в таблице), при наличии которых соединение транзисторов превращается в схему «с отноше­ нием» или смешанного типа. Приведенные в таблице соот­ ношения являются правилами, устанавливающими резуль-

Рис.

1.7.

Диаграмма Вейча

Рис. 1.8. Результирующая

для

двух

ветвей, подклю­

диаграмма Вейча

ченных к информационным

 

сигналам

[£il и [£2]

 

тирующие сигналы на выходе при объединении параллель* ных ветвей из последовательно соединенных транзисторов.

На рис. 1.7 представлена диаграмма Вейча для двух ветвей, подключенных к информационным сигналам [£ J и [ÆJ, которые взвешиваются соответственно функциями Fi и F 2. На рис. 1.8 приведены результирующие значения (заштрихованные клетки соответствуют состязаниям ин­ формационных сигналов).

Таблица 1.3

Состязание

Результат

Состязание

Результат

(1]/[01

1

|0]/[i—An]

№ з

IU/[X]

IU

|0]/10+A^J

10]

[l]/[0+Ap]

IM

N/*[l-A„]

(1An]

N2 2

[я)/[0+Др]

10+Ap]

[0]/fH j

10]

[1—Ап]/|0-{-Др]

№ 4

На рис. 1.9 представлено смешанное соединение тран­ зисторов с одним информационным сигналом и нескольки­ ми выходами. Анализ такого автомата показывает, что

^1 + 1) — [Щ Х0 Xt+

[Zt(/)] Xi +

 

+ [Z/]]X 0X i

Y

• X /+1 •

/ = 1, i + i

.Xj

X n +

(lZ il ■+* [Zj] + [Zh\] X Q‘ Xi

V X i - . . .

 

 

 

 

 

/•= I

 

 

Xi —i’X i + i ' X ] ’...-Xk'...• Xn -f~...

 

 

 

... +

[ y

 

 

 

( 1-11)

где C] = C™i x —■ {n \)\!nij\ [n — 1

mj)\

число

со­

четаний из n — 1

элементов no mj = 1, ....

(n — 2);

n

число

выходов;

i

— номер рассматриваемой

параллельной

ветви.

 

 

 

 

 

 

В

стационарном режиме

 

 

 

Z t = [£] В Д

+

[х] (Х„ + X,).

 

(1.12)

Из (1.11) следует, что в режиме хранения на каждом вы­ ходе возникают состязания информационных сигналов. Исключить состязания можно, если:

в режиме хранения все информационные сигналы имеют одинаковые значения:

[Zi) =

[A)‘,

 

 

 

 

 

(1.13)

все управляющие сигналы удовлетворяют условию

V * -

V *°*i + *i=*o(Xa + X2+... + Хп)=0. (1.14)

= 1

 

/=1

 

 

 

 

 

 

Из (1.14) следует, что состязания

отсутствуют

при

Х 0 =

О,

X! + Х 2 +

+ Х п =

1

 

или

0;

(1.15а)

Xj +

Х 2 + ••• X п =

0, Х 0 = 1

 

или 0;

 

(1.156)

Хо =

0,

X J + -X 2 +

+ Хп =

0.

 

 

 

(1.15в)

Интерес для практики представляют случаи (1.15а),

(1.156). Большое число возможных условий

возникновения

состязаний, которые

трудно проконтро­

 

 

лировать

при реализации схем,

застав­

. J

f

ляет сокращать до минимума число или

 

 

параллельных ветвей,

или подмножеств

 

 

параллельных ветвей, в которых

инфор­

 

p i *

мационные сигналы [Zi (01 различаются

 

 

Минимальное число ветвей

и

под­

,г±ч±*

значениями.

 

 

 

Z,

 

 

множеств равно двум. Для двух

парал­

Рис» 1.9. Смешан­

лельных ветвей на основе выражения

ное

соединение

(.1.11) получи м

 

 

 

треяэясгоро»

г , ( * +

1 ) - т х 0х х +

[z, (01 х , +

H Z, (/)) +

+ 12* (/)]] Х оХ ^ г,

 

(1.16а)

Z 2 (t +

1) == [£] Х 0Х 2 +

[Z2 (01 Х 2 +

[[Zj (/)] +

+ [Z2 (/)]] X QX JX J..

 

(1.166)

Эти выражения справедливы и для двух подмножеств вет­

вей с двумя разными информационными

сигналами [Zx (/)]

и IZ2 (*)], каждое из которых в качестве

управляющих ис­

пользует соответственно сигналы Х х и Х 2.

На рис. 1.10 представлены диаграммы Вейча для этого случая, которые учитывают различные значения [хх], [х2]. Соотношения (1.16) для смешанного соединения принимают

вид

 

 

 

 

 

1 г =

[Е] Х 0Х х +

[Xjl Х х +

[[x j +

fx2]] X 0X xX 2,

(1.17а)

Z 2 =

[£] Х 0Х 2 +

[х2] Х 2 +

HxJ +

[х2]] Х 0Х хХ 2.

(1.176)

Анализ многокаскадной схемы (рис. 1.11) как автомата приводит к сложной функции последовательностного уст­ ройства, определяемой из совместного решения системы следующих РЛФ:

Zx (t +

1) =

[£ х1 X +

X

[Zx (О],

Z2 (/ +

2) =

[ £ 8] (Zx (t

+

1)) + [Z2 (01 (Z1 (t + 1)),

Z„ « +

*) - l £ » ] (Z*-, < < + * - ! ) ) +

+ lZk « 1 (Z ,-, (/ + * -

 

1)).

в которых введено тактированное операторное время. Од­ нако в стационарном режиме, что характерно для синтеза

а)

5)

Рис.

1.10.

Диаграмма

Вейча

Рис. 1.11. Каскадное соедине*

дли

двух

подмножеств

ветвей

ние транзисторов

статических (потенциальных) схем, решение системы при­ нимает сравнительно простой вид:

Z, = [£«\Х (Е^Еь-

Ei-г) + Ы (Х + Ё1 + Ё 2 +

+ ... + £,_!).

(1.18)

Как следует из (1.18), состязаний информационных сиг­ налов при таком соединении не возникает. Если все тран­ зисторы в каскадном соединении передают информационный сигнал логической 1 ( логического 0) и для этого используют­ ся «-канальные (/7-канальные) транзисторы, то выходное на­ пряжение изменяется на величину [1 — i'A„l ([0 + /Др1).

Отметим, что каскадное соединение реализует конъюнкцию k

информационных сигналов X Д Et и управляющего сиг­

нала, поданного на затвор транзистора первого каскада. Соотношение (1.18) показывает, что конъюнкция пере­ менных может быть реализована схемотехнически в виде каскадного соединения, если информационные сигналы E t имеют истинное значение. Таким образом, конъюнкция ре­ ализуется не только последовательным (1.7), но и каскад­

ным (.1.18) соединением транзисторов.

Соотношения (1.7), (1.86), (1.12), (1.17), (1.18) позволяют представить в виде РЛФ функции, выполняемые типовыми соединениями. Каждое соотношение имеет неопределенные состояния на некоторых наборах аргументов. Следователь­ но, чтобы получить схемотехническую реализацию полно­ стью определенной логической функции, необходимо до­ определить эти состояния с помощью других элементов или их соединений, не имеющих на этих наборах неопределён­ ных состояний. В табл. 1.4 приведены функции элементов и их соединений в стационарном режиме, представленные в виде РЛФ.

Покрытие логической функции функциями компонентов заключается в ее преобразовании в РЛФ, представлении отдельных термов РЛФ в виде функций, соответствующих отдельным компонентам или их соединениям, а затем — в преобразовании в СФ на основе условия эквивалентно­ сти (1.5), в соответствии с СФ рисуется принципиальная схема. Как следует из сказанного, процедура покрытия ло­ гической функции функциями компонентов содержит мно­ го общего с процедурой покрытия логической функции функциями базовых логических элементов при синтезе функциональных схем, однако она существенно отличает­ ся преобразованиями функции в РЛФ и СФ.

Таблица 1.4

МДП-элементы и их

Функции элементов н их соединений

соединения

 

Транзисторы:

л-канальные

р-канальные

Резисторы

Диоды: п-канальные

р-канальные

Соединение транзнсторов:

последовательное

параллельное

каскадное

смешанное с состязаниями

без состязаний

Z „= [E ]X -H * 1Х = [ 1 - Д п)Е Х + [0]х

X ЕХ-Нх) X

Zp = [ElX + lx]X = [l|E X + [0 + A,| х

X Е X -f- [х] К

 

Zr= [H] =[1] Е + [0) Е, Е =

1= const;

Zr= [ l] , Е = 0 = const,

Zr= |0 |

Znre= [ l - A n|E + |xJË

2 д p [xj E + [0 ~r Ap) £

(EKXj • X2 •... -XM%)+ [xKXi• X2-...

 

- •

* « * )

 

Zn=

Ft + [£a]

F3+ ... + [EMr]X

 

Iх) Fi

• • 'F,\\a

(Znh = iEtJ Xx ■E1•...

+ (x]{Xj +

 

4-E’i 4- ••■4-^i-i)

(^n)i — [EJ XoXi+lxJCXo + X;-)

(Zn)i = IE] *o -b

+ X0-XL-...

•. .-Xi—x)

П р и м е ч а н и е . Условие эквивалентности Л'П= Д

Как следует из полученных соотношений, конъюнкция логических переменных или функций, соответствующих од­ ному информационному сигналу, схемотехнически пред­ ставляется последовательным или каскадным соединением транзисторов, управляющими сигналами которых являются логические переменные или функции; дизъюнкция пере­ менных схемотехнически реализуется параллельным соеди­ нением транзисторов; скобочная конъюнктивно-дизъюнк­ тивная форма — смешанным соединением транзисторов. Таким образом, установлена однозначная связь между ло­ гической функцией и соединением транзисторов. Отметим, что при постоянном информационном сигнале соединения транзисторов реализуют значения логической функции, сов­ падающие с его значением. Следовательно, если схемотех­ нически реализовать функции K i (F) и Ко (F) и ветви транзисторов, соответствующие им и подключенные к ис­ точникам информационных сигналов: [1] — шине питания и [0] — общей шине соответственно, объединить по выходам, то получим принципиальную схему, выполняющую функ­ цию F. Так как K i ( F) -Ко (F)= 0 для полностью определен­ ной функции, то это означает, что нет ни одного набора ар­ гументов, на котором функция-одновременно могла бы при­ нимать противоположные значения — логического 0 и ло­ гической 1. Следовательно, состязания информационных сигналов не возникают, т. е. через ветви транзисторов в ста­ ционарном режиме не протекает ток от источника питания к земляной шине, а это означает, что реализуется схема «без отношения».

В схемах «с отношением» состязания информационных сигналов возникают при установлений одного из логиче­ ских уровней — или 1, или 0. Поэтому они делятся на схе­ мы соответственно с установочными уровнями 0 и 1.

Каждая схема содержит переключательные транзисторы и компонент — резистор (или эквивалент резйстора), под­ ключенный к источнику установочного информационного сигнала. Если установочный сигнал 10], то ключевые тран­ зисторы реализуют функцию K i (F), если установочный сигнал [11, то ключевые транзисторы реализуют функцию

K 0(F).

Поэтому на каждом наборе

переменных, на котором

F принимает значение, отличное

от значения установочного

сигнала, возникают состязания

информационных сигналов.

Расширенная логическая формула для схем «с отношением»

Z (F) = 1-[1] + 101-Ко (F) = [ I ] . K i (F) + [ОМ,

(1.19)

где функции константа 1 — [1] и константа 0 — [0] реали­ зуются схемотехнически с помощью резистора [25].

Расширенные логические формулы для схем смешанно­ го типа

2 (F)

=

[1] F, (F) + [0] F , (F),

 

 

 

(1.20)

где Fx (F).=£ T l

(F),

F t (F)# 1 ;

F2 (F)

щк 0 (функции-

Fj (F),

F 2 (F) образуются из К г (F),

K 0 (F) вычеркиванием

отдельных переменных).

 

 

 

 

Таким образом, процедура покрытия логической

функ­

ции

функциями

компонентов сводится

к следующему:

по

заданной логической функции

записывается

РЛФ;

K i

(F), /С0 (F) преобразуются к виду, содержащему про­

стые логические переменные и их отрицания;

 

выбирается способ

реализации

принципиальной

схемы

логического элемента: «без отношения», «с отношением», смешанного типа;

записывается РЛФ, соответствующая выбранному спо­ собу реализации;

в соответствии с (1.5) и с учетом неискаженной (искажен­ ной) передачи уровней 0 и 1 расставляются индексы «/?» й «л» у простых переменных и их отрицаний. В результате получается СФ.

Совершенно очевидно, что описанная процедура позво­ ляет генерировать большое число различных по форме СФ, а следовательно, и большое число соответствующих им прин­ ципиальных схем. Для этого достаточно использовать эк­ вивалентные преобразования исходной логической функции или К 0 (F), K i (F). Однако если в процедуру покрытия вве­ сти этап оптимизации по некоторым критериям, то множест­ во возможных схемотехнических решений уменьшается.

1.6. Эквивалентные преобразования расширенных логических и схемотехнических формул

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

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

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

метод, использующий формулы де Моргана

Xi + Х24* ••• + Хм% = X i ’X2•...•Хмх,

X i‘X2’... ’Хм% = Х 1 + Х2+

+ Хмх\

метод, использующий первую и вторую операции погло­ щения

+ Хх (Х2+

+ Хмх) =

Хи

Х г ( Х г + Х 2 +

+Х уих) =

Х 1;

метод, использующий первую и вторую операции склеи­ вания

ХгХ2 + Х,Х2 = Xlf (X, + Х2) ( X, + Х2) = Хг;

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

(Xi +

Х2) =

(Х2+ X,),

Х,Хг = XzXlt

Xj. +

Х2 +

Х а = (Хг +

Х2) + Х 8 =

Хг + (Хг.+ Х а) -

= (Хг + Х8) + X*

 

 

ХгХ2Х а = (ХгХ2) Х а =

Хг (Х2Х а) =

Х2(ХаХ8),

ХгХ2 + ХгХа = Xt (Х2 + Х 8).

 

Основными методами развертывания или разложения

логических

выражений

являются:

 

га

метод, развертывания, обратный операциям склеивания:

-

X, (Х2 + Х 2) =

Х :Х 2 H- X iX 2>

X t =

Х х + Х х (Х 2 +

Х 2) + Х 2Х 2 = Хх (Хх + Х 2) +

+ Х 2 (X, + Х 2) = (Хх + Х 2) (Хг + Х 2);

• метод развертывания, обратный операциям поглощения:

Исходное логическое выражение можно преобразовать, используя отношение включения. Принято считать, что Fx г F 2, если и только если F x- F2 = Fx или Fx + F 2 = F 2.

Нетрудно заметить, что отношение включения является рас­ ширением понятия поглощения данной функции. Отношение включения Позволяет использовать еще один вид преобразо­

ваний. Если F x s

F2 и исходное логическое выражение име­

ет вид Fx +

F 2 X ,

то возможно следующее представление

исходного

выражения:

F , (Л + X) = Fx + F 2 X ,

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

Эффективными методами эквивалентных преобразова­ ний логических функций являются методы, основанные на теореме Шеннона [42], которая формулируется следующим

-образом.

 

функцию F (X lt Х 2, .... Х м х ), где X t £

Любую

булеву

£ X,

X =

{ X t |/

= 1, ..., М х } , можно представить в виде

F (X lt

Х г,

XMx) = Xx-F(\, Хх, X

X F (0, X lf Х 2, ...» Хмх).

Последовательное применение этой теоремы для всех переменных Xj £ X позволяет записать F ( X lt Х 2, ...

...» Х м х) в совершенной дизъюнктивной нормальной форме

( 1.22)