Файл: Пакулов, Н. И. Мажоритарный принцип построения надежных узлов и устройств ЦВМ.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 24.10.2024

Просмотров: 103

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

являющуюся самодвойственной; не являющуюся линей­ ной; не являющуюся монотонной.

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

Из табл. 2.1 следует, что мажоритарная функция трех

переменных равна

 

у (х„ х , х ) = ХХ V х 2х 3V XX-

(2-3)

Для обозначения мажоритарной функции (2.3) вве­

дем мажоритарную операцию # :

 

М(хи х2, х3) = х ф х 2ф х 3.

(2.4)

Из табл. 2.1 и формулы (2.3) видно, что

функция

у (х'и Хо, Хз) является нелинейной, самодвойственной и монотонной, сохраняет нуль и единицу. Для функцио­ нальной полноты эта функция согласно теореме Поста—• Яблонского должна быть дополнена несамодвойствен­ ной, немонотонной и не сохраняющей нуль и единицу функциями. В качестве таких функций обычно берут от­ рицание и константы «нуль» и «единица», так как эти функции наиболее просто реализуются. Таким образом, функционально полная система элементов мажоритарно­ го базиса состоит из мажоритарного элемента, генерато­ ра «единиц», генератора «нулей» п инвертора.

Рассмотрим мажоритарную функцию вида

М (х„ х , х,) = X X V XX, V X X = х # X # X-

Так «ак эта мажоритарная функция обладает самодвойственностью, то

М (х , X» X) = X X V x X V X X = X # X # X- (2-5)

Функция M{xi, Хъ х3) не сохраняет нуль, не сохраняет единицу, является немонотонной, нелинейной и самодвой­ ственной. Эта функция совместно с любой несамодвойственной функцией представляет вторую функционально полную систему мажоритарного базиса. В качестве не­ самодвойственных функций целесообразно выбрать кон­ станты «нуль» ц «единица»,

66

В потенциальных элементах, получивших в настоящее время преимущественное распространение, константы «нуль» и «единица» представляются определенными уровнями постоянного напряжения, подаваемого от источ­

ника питания, т. е. для технической

реализации этих

констант

дополнительного

оборудова­

 

 

 

ния не требуется.

Поэтому в состав

 

 

 

второй функционально

полной

систе­

 

 

 

мы элементов мажоритарного

базиса

 

 

 

достаточно включить

мажоритарный

Рис.

2.1.

Условное

элемент с инверсным выходом, для ко­

торого

введем

обозначение

МЭИ

обозначение мажо­

ритарного элемен­

(рис. 1.30). На рис. 2.1 показано

та

с

инверсным

условное обозначение МЭИ. На МЭИ

выходом

(МЭИ).

можно построить

любой

логический

 

 

 

элемент из булева базиса. Ниже при­ водятся примеры построения некоторых логических

элементов с использованием МЭИ. Если па один из вхо­ дов МЭИ подать нулевой или единичный уровень напря­ жения (нулевой или единичный сигнал), то будет реали­ зована либо операция дизъюнкции

М { х , х а, 0)= х г # х, # 0= х : V *2»

либо операция конъюнкции

M(Xl, Х% 1) = ^ 1 # ^ 2 # 1 =.*1*2.

При одновременной подаче на три или на два входа МЭИ одного и того же сигнала Xi, х2 или л'з реализуется опе­ рация отрицания:

M ( X i , X i, X i) = X i ^ X i ^ X i — X i,

м {X i, Xi, 0(1))= (1) =Xi.

На третий вход МЭИ во втором случае подается либо пулевой, либо единичный сигнал.

Для построения элемента «запрет» достаточно на один из входов МЭИ подать обратный код сигнала, на второй вход — прямой код сигнала, а на третий — еди­ ничный уровень напряжения (единичный сигнал):

M(Xl, Х2, 1) = * 1 # Х 2# 1 = £ 1 *2 ,

М { х 1, Х2, \ ) = X i ^ X i ^ r \ = X i X 2.

В качестве генератора «единиц» в потенциальной систе­ ме используется источник постоянного напряжения, в ди­

87


намической системе— генератор стандартных сигналов. Для реализации элемента Шеффера необходимо на входы МЭИ подать прямые >коды сигналов и нулевой

уровень напряжения

М (хь х2, 0) = a:i# x2# 0=Xix:2.

Для реализации элемента Пирса достаточно на вхо­ ды МЭИ подать прямые коды сигналов и единичный уровень напряжения

М {х „ х 2, 1) = л, # д:2 # 1= х, V

На рис. 2.2. приведены условные обозначения логиче­ ских элементов, реализованных на МЭИ.

З а п р е т

Э лемент Ш еф ф ера

Э л ем ен т Пирса

Рис. 2.2. Условные обозначения логических элементов, реализован­ ных на МЭИ.

Для синтеза схем на МЭИ можно использовать лю­ бой набор перечисленных логических элементов, состав­ ляющих полную систему. Методы синтеза в этом случае ничем не отличаются от известных классических методов синтеза с использованием булева базиса. Однако при синтезе логических схем на МЭИ преобразования исход­ ных структурных формул, полученных на основании та­ блиц значении заданных функций, нецелесообразно сводить к какому-либо одному базису, так как любой элемент из известных полных систем реализуется на МЭИ одинаково просто с помощью подачи на один из его входов определенного уровня напряжения.

Допустим, что необходимо с помощью элементов Шеффера построить схему, реализующую функцию

У ^=(Хц Хг, X)t Xt) (Xj Х2) X3Xt.

Преобразуем заданную функцию к виду, удобному для реализации на элементах Шеффера:

У = ( х , V ■**)

= х, v V З Д = ■*! х,

88

Структурная схема узла, построенная на основании дан­ ной формулы, показана на рис. 2.3. Та же схема намного упрощается, если ее построить па элементах Шеффера и Пирса (рис. 2.4):

У = ( х 1 V х , ) х 3х 4 = x t V x g V

Для большей гибкости и удобства синтеза узлов ЦВМ целесообразно использовать мажоритарный элемент

Рис 2.3. Структурная схема логического узла, построенного на эле ментах Шеффера.

с двумя инверторами па выходе, т. е. МЭ с инверсным и прямым выходами (рис.. 2.5). Назовем такой элемент

универсальным мажоритарным элементом (УМЭ). Вари­

*3— J ---1

Рнс. 2.4. Структурная схема логи­ ческого узла, построенного на эле­ ментах Пирса и Шеффера.

Xi

-------

|Д /|----

М (хи хг ,х } )

*2

1 у М ( х и хг , х })

 

 

Рис. 2.5. Обозначение универ­ сального мажоритарного эле­ мента (УМЭ).

анты принципиальных схем УМЭ приведены на рис. 1.11, 1.23, 1.29.

Элементы И и ИЛИ строятся в этом случае следую­ щим образом:

M (xt, x 2, 0) = х ,х 2, М (х1, х 2, 1) — х \ / х 2.

Условные обозначения этих элементов показаны на рис. 2.6. На инверсных выходах УМЭ в данном случае формируются функции Шеффера и Пирса соответственно.

89



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

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

X 1

\& м \------

X2 rO) = X jX2

X j ------

1М\ M[Xj,X2r 1 VX2

x2

1 у------

[M(Xj,X2,0)=XjX2]

X2------

1 Y— [M(Xi,x2,>)~x,vx2]

 

a

 

 

5

Рис. 2.6. Обозначения логических элементов И (а) и ИЛИ (б), по­ строенных на УМЭ

Количество членов, входящих в минимальную фор­ мулу МЭ на пять входов, равно числу сочетаний из 5 по 3:

М (х„ х,, х3, jc4, х 5) = х , х 3х 3V XXX, V МММ V XXX V V XXX V XXX V XXX V XXX V XXX V XXX =

= X # х 2# х 3# х # x t.

(2.6)

На одном пятивходовом МЭ с прямым выходом можно реализовать 128 различных логических функций, а на трехвходовом МЭ с прямым выходом — всего 16 логиче­

ских функций (табл. 2.2.).

 

 

Заметим,

что число мажоритарных функций вида

M(xi,

Х2, ...,

хп) равно 2"

(п — нечетное число).

'

*'г — 1 ^ 1 --------У- * 1X2X3

X,

---- y=x,v xz vx3

 

а-

 

 

б

Рис. 2.7. Обозначения трехвходовых элементов И (а) и ИЛИ (б), построенных на пятивходовом УМЭ.

Из табл. 2.2. видно, что трехвходовые элементы И, ИЛИ реализуются с помощью пятивходового МЭ и по­ стоянных уровней напряжения, подаваемых на два входа

90


Та б л и ца 2.2

Аргументы функции

Xj, Х2* Х3, Х4, Х5

Х\, Х2» Х3, Х4. 0

Xj»

Х2» Х3) Х4,

1

Xj, Х2 > Х$г X^i Х4

X\i

Х21

х3, х 3,

0

Xj>

Х2)

Х3, Х31

I

Xji х2>х 3,

0

Xj, % 2 » ^3> 1

^

 

х г

х2, х3

 

 

X,. х2> 0

 

Х\, Х21 1

Примечание: ~ означает либо

 

Значение функций в булевом базисе

Количество функ­

 

ций данного типа

XjX^X3

Х\Х2Х4 \/X1X3X5 Х1Х3Х4 Х1Х3Х5 Х2Х3Х4

32

V Х2Х3Х5 \/ Х2Х4Х5 V X^X^Xj \/ Х1Х4Х5

 

XiX2X3 \/ Х1Х2Х4 \/ Х1Х3Х4 \J Х2Х3Х4.

16

XiX2

Х\Х3 \J Х^Х^ \J Х2Х3 \J Х2Х4 \J Х3Х4

16

Х1Х4 \J

X2X4 \J X3X4 *\f XjX2X3

24

XjX3 \/ X2X3

12

X1X2 \/

X3

12

XiX2Xj

 

8

Xi V x 2 V x 3

8

X1X2 V х2Хз \/ XjX3

8

X1X2

 

4

X\ V X2

4

наличие, либо отсутствие знака отрицания.