Файл: Пакулов, Н. И. Мажоритарный принцип построения надежных узлов и устройств ЦВМ.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» |
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 |
|
наличие, либо отсутствие знака отрицания. |
|