книги / Синтез принципиальных схем цифровых элементов на МДП-транзисторах
..pdfИз (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„] |
(1— An] |
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)