
книги / Синтез принципиальных схем цифровых элементов на МДП-транзисторах
..pdf
|
Функция |
Импликанты |
*1 |
А, |
Аз |
х. |
х4 |
|
|
Кох, |
*2 |
1 |
0 |
0 |
0 |
0 |
|
|
|
|
0 |
0 |
1 |
0 |
1 |
|
|
|
|
|
|||||
|
Кох, |
* з * ; |
0 |
I |
0 |
0 |
1 |
|
|
* 3 |
* 4 |
0 |
0 |
1 |
1 |
0 |
|
|
|
|||||||
. |
Кох, |
* 3 |
* 4 |
0 |
1 |
0 |
1 |
0 |
|
Сумма покрытий импликант |
1 |
2 |
2 |
2 |
2 |
и 2Л0, в которых отметим число покрытий. Все импликанты функций K0x t покрываются только по одному разу, поэтому они
все равнозначны.
Для симметрирования принципиальной схемы по отношению к входным сигналам лучшими покрытиями на последнем ярусе явля-
Т а б л и ц а 2 .9 Т а б л и ц а 2 .1 0
|
|
* |
П1 2 |
|
|
_* |
# |
|
|
|
П П |
|
|
П01 |
Л 02 |
||
Функ |
Импликан |
1 |
|
Функ |
Импликан |
|
х, |
|
|
|
ция |
ты |
|
||||
ция ■ |
ты |
X, |
X* |
|
|
|
X 4 |
|
|
|
|
|
|
||||
|
|
X, |
Т, . |
|
|
X? |
х. |
|
|
|
|
|
|
|
|||
|
|
|
|
Кох, |
* 2 |
1 |
1 |
|
|
* з * ; |
1 |
1 |
* 3 * 4 |
1 |
1 |
||
Kix, |
|
|||||||
|
|
|
|
|||||
* 2 * 3 * 4 |
1 |
1 |
Сумма покрытий |
2 - |
2 |
|||
|
||||||||
|
|
|
|
импликант |
|
|
||
Сумма покрытий |
2 |
2 |
Кох, |
* 3 * 4 |
1 |
1 ” |
||
импликант |
|
|
* 3 * 4 |
1 |
1 |
|||
|
|
|
|
|
||||
|
х,х. |
1 |
1 |
Сумма покрытий |
2 |
2 |
||
* 1 Х , |
х,х, |
1 |
1 |
. импликант |
1 |
1 |
||
|
|
|
|
|
* 3 * 4 |
|||
Сумма покрытий |
2 |
2 |
Сумма покрытий |
1 |
1 |
|||
импликант |
|
|
||||||
|
|
импликант |
|
|
ются: {Я*!* Я^,}, {Я*2, Я ;2}. Эти пары покрытий равнозначны, поэтому для взвешивания последнего яруса может быть'выбрана лю бая.
11. Выберем в качестве покрытий, взвешивающих последние яр^сы; Я*ч, Я ^ . Это означает, что элементы этих покрытий нельзя использовать на всех промежуточных ярусах, начиная со второго и кончая предпоследним. Элементы этих покрытий можно использо вать только тогда, когда множества вновь образованных функций будут взвешиваться только этими переменными. Это будет означать, что процесс упорядочения функций Kt (F) и Ко (F) достиг, послед него яруса.
12. Проведем разложение функций на втором ярусе. Для каждой функции К1Х^ KoXt строится матрица инцидентности, по которой
определяются покрытия—претенденты для взвешивания яруса. Специально матрицы инцидентности можно не строить, а воспольеоваться результатами, приведенными в обобщенных матрицах инци дентности, которые получены в п, 10, В результате несложно найти следующие покрытия:
ДЛЯ /С*-
<Пц)^1 = {Xi, Ха}, (П1г)*. = { х 4 , х 4 ) ;
для KlXz
(Пп )_а = {Хё, Х8}, (П1г) - а= { Х 4.Х 4}.
Как видно, (Пц )^ = (Пи)-а. (П12)^1 = (п1 г)
13. Выберем в качестве покрытий, взвешивающих второй ярус, (Я|2) - и (Яхг)— = {Х4, Х4}, так как элементами, входящими в
(Пц)~ , (П12) - 1 взвешивается последний ярус.
Ai X*
Для K0Xi
(Пol)^, = г-^з}■ (Пог)Л1= { ^ 2. *<}•
для K 0Xi |
|
|
(n0i)Xl = |
{^5, Х3}, (Пог)^,*5 {-*â> X i}- |
|
(По&)х,= |
{^з> |
(Пол)х,= {^4 * Xi?), |
для |
|
|
(Пи)й “
В качестве покрытий, взвешивающих второй яруг функций КдХ-,
выберем
(Пог)х* — |
(По«)х,= (^1* |
(п ог)5г= 1Х 4}. |
Эти покрытия содержат минимальное число переменных, покрываю щих последний ярус. Действительно, сравнивая выделенные по
крытия с покрытиями последнего яруса |
П$г = {Х2, Хд, |
на |
ходим, что |
|
|
(^oï)^ П П о 1 — {Х2}; ( П С4 ) ^ з f | n j i = 0 ; |
(Пог)^ П Щ х — |
0 ; |
т. е. имеется только одна переменная, входящая в покрытие послед него яруса.
Выбранные покрытия (Пц)х:, {П^)х^ как нетрудно заме
тить, позволяют симметрировать схемотехническую реализацию по
отношению к входным сигналам Х4, Х4. |
|
|
__ |
||||||||
|
14. |
Разложим функции |
7^-., |
по переменным |
{Х4, Х4}: |
||||||
к л |
- |
х |
1 X( .X),+ х , |
т |
= |
х |
, K , b |
x ’ + xГ(:t K |
l X t |
||
« г х , - |
|
|
|
|
|
|
|
|
. |
U S i |
|
где |
lAj Х4 |
= х , х 3 |
К * |
г * |
Г |
Х « ^ 1Х2 X. |
= х .3» |
* .х гХ 4= **‘ |
|||
|
K . ÿ |
У |
|
|
|
|
|
|
|
|
|
Как видно из приведенных результатов, все функции, за исклю чением К - вышли на последний третий ярус упорядочения.
Для функции К - существует четыре яруса. На третьем ярусе
1 * 1 * 4
Это означает, что третий ярус взвешивается переменной Х2, а
четвертый — Х3. |
функции |
/( „ , К „ , |
К - |
соответственно |
по |
|||||
15. |
Разложим |
|||||||||
|
|
|
|
_о*, |
о*2 |
ол2 |
_ |
|
|
|
переменным (7702) |
= |
{Х2, |
Х4}, |
(Я04) |
= |
{Х4, Х4), |
(Я02)- |
= |
||
|
Л j |
все |
' |
л а |
|
|
|
-Л а |
|
|
= {Л'4}. Отметим, |
что |
импликанты покрываются только один |
||||||||
раз. Это |
справедливо для всех функций. |
В |
результате |
получим |
+^ * \ VlX4 ’
^0Хг= ^ 4(*?) + *« (/Y3)= ^4^0XJX4+ ^4^0XJX4-
^ 0 Х ,'~ ^ з )= |
0Х,Х4 > |
ГДв ^ОХ, Ха = 1 |
Л0Х,Х4= ^ 3’ К ° Х * Х * == |
S x . * - * » ; * < * .* - * ■ •
Как видно из приведенных результатов, все функции вышли на последний ярус, а функция К0х,х,.У же достигла последнего. Об этом свидетельствует значение этой функции, равное 1.
16. Назовем дополняющими переменные, имеющие одинаковый порядковый номер и представленные в прямом и инверсном кодах,
например, {Л(, X*}.
PHQ. 2.2. Примеры объединения ветвей, взвешенных дополняющими управляющими сигналами
Для объединения функций, полученных в результате разложе ния К± (F) или К0 (F) на последнем ярусе необходимо, чтобы:
эти функции взвешивались одинаковыми переменными; число элементов в покрытии каждой функции на ярусах, пред
шествующих последнему, было равно или 1, или 2, однако при этом ярус должен взвешиваться дополняющими переменными;
один из ярусов объединяемых функцией, предшествующий по следнему, взвешивался дополняющими переменными.
Различные варианты объединения функций на последнем ярусе представлены на рис. 2.2.
На основе результатов, полученных в п. 15, нетрудно установить, что на последнем ярусе объединяются следующие пары функций: для К V v по переменной Х 3 объединяются (К - v v , К v- v .
по переменной Х 9 |
- , К(~ —); для Кох,х . по переменной Х а |
объединяются <К „Л . |
псремеинойх,<*м Л . * м л >- |
Будем записывать переменные, по которым происходит объе |
|
динение, в скобках < |
> . Наличие в алгебраических выражени |
ях угловых скобок свидетельствует о том, что переменные, находя щиеся в них, являются общими для нескольких импликант или функций. Если разные группы функций объединяются по одним и тем же переменным, то этим переменным должны присваиваться
различные индексы. |
|
На основе изложенного функции К\х.х.* ^оя-я . полученные в |
|
п, 15, следует переписать в виде |
7 |
*1*1*4*,“ |
<Х5>’ *»***■ = 1 ,_ |
||
* 1 * 1 * 4 ~ ^ * з)» |
* 0 * ,* t |
||
К1*2 |
Х Г |
^ |
> *°*.*4 = <Х§>’ |
* 1*3 |
*4= W > * |
*0*.*4 -< **> ' |
*0*2 * .“ ^*Я *
В этих соотношениях верхние индексы соответствуют индексам функций /Ci (F) и Ко (F),
|
Рис. 2.3. Синтезированная схема ЛЭ |
|
17. Запишем выражения для функций |
(F), К0 (F), соответ |
|
ствующие |
выполненному упорядочению: |
|
|
f • « .ft * .+ * ‘ « .ft ft ) + |
|
+ * • (« ‘‘« .ft х + * ‘« .ft ft) - * * (х ‘ (««'«.ft х. х .)+ |
||
+ * • « * |
ft)+:*» (** « , * .* + * * « .* , л ) - |
** <*• <** <«»> + |
+ X 4 < * l» + X « C * 4<Xj>+Xi<xl>y.
Каждая скобка в записи отделяет переменные, управляющие ра ботой транзисторов на соответствующем ярусе, начиная со второго. Число ярусов равйо числу открывающих скобок в каждом дизъюнк тивном члене плюс один. В рассматриваемом примере максимальное число открывающих скобок равно трем. Следовательно, функция К\ (Л реализуется на четырех ярусах.
Для функции /С0 (F) получим:
Ко (F )= * i K 0XI + X 2 к 0Х, + х 2 к 0Хг= х ! (X2K0Xi Xt +
+ ^ « o X ix ù + 4 X *K<>x> |
+ T *K oxt z ) + 4 X i K oxiX ) = |
= * i( x .+ X 4 < * § » + x 2 (x4 <*$>+**<*§»+х 2(х4д а ) .
Максимальное число для реализации функции Ко (F) равно трем. 18. На основе полученных результатов запишем РЛФ для функции F н СФ для реализации схемы на дополняющих МДГЬ
транзисторах
г ( П = [1]*! (/=)+[0] Ко (F)= [1 ](й (Xi (X,JX})) + X* <X J» +
-j-Xz (Xi (XI)4-^4 (XJ))+ [0] (Xi (X2-f-X4<Xg>) +
4rXt (Xi <Xi>+X» < x j))+ x 2 (Xt (xj»);
C x(f) = [ l } ( X U x i ( X P ( X \ y ) + X U X l)p) + X P ( X U X i y +
+ X P <х.1>р) ) + [ 0] {хч (ХЧ+ХЧ<Х°3У )+ Х Ч (X'' < х °У ‘+
+ x 2 ( x $ y i+ x u x u x }>"))i .
19. На основе СФ рисуем принципальную схему цифрового елемента (рис.'2,3).
2.4. Синтез и оптимизация схем смешанного типа
Схемы смешанного типа применяются для уменьше ния числа транзисторов в элементе и оптимизации топо логии. Эти положительные свойства достигаются за счет ухудшения электрических характеристик по сравнению со схемами «без отношений». При синтезе и оптимизации схем смешанного типа критериями качества являются число транзисторов и.наборов аргументов, на которых допускаются состязания информированных сигналов.
Задача оптимизации СР для элементов смешанного
типа |
|
формулируется следующим образом: |
найти РЛФ |
||
или СФ для заданной логической функции F, содержа |
|||||
щие |
минимальное число входных |
логических перемен |
|||
ных |
(букв) и обеспечивающие состязание информацион |
||||
ных сигналов на минимальном числе наборов аргумен |
|||||
тов,- |
|
Последовательность оптимизации и |
синтеза |
РЛФ: |
|
1 . |
-Определяется множество |
конституент |
нуля Ко и |
единицы К и Заданной функции F.
2. Определяется множество импликант G0 и G \ погло-
'щающих конституенты из Ко и К и
3.Определяется частота повторения импликант среди всех импликант каждого из множеств Go и G t. Импликанты упорядочиваются по частоте повторения. Чем меньше переменных входит в импликанту, тем больше вероятность возникновения состязаний. -Формируются'
множества G „ ^ G0f G [ ^ G \ , в которые входят импликанты, имеющие наибольшую частоту повторения.
4. Составляется импликантная матрица покрытий и состояний [25], которая делится на четыре части. Каж-
•дая |
строка матрицы соответствует импликанте из G' и |
|
G \ . |
Все строки разделены |
на две части: первая часть со |
ответствует (?[, вторая — |
Столбцы также разделены |
на две части: в первой — каждый столбец соответствует конституенте из К и во второй — из Ко.
В матрице покрытий и состязаний отмечаются те кон ституенты, которые покрываются импликантами из G'0, G', а также те, на наборах которых' возникают состяза ния.
5. Определяется множество покрытий импликантами из G\ всех конституент из K i и множество покрытий из GÔ всех конституент из Ко. Для каждого покрытия подсчитывается число состязаний. Кандидатами в каждое множество покрытий следует выбирать ядро покрытия и импликанты, которые создают состязания на ряде одинаковых наборов.
6.Определяется значение критерия качества и выбира ется оптимальное покрытие.
7.Совокупность двух покрытий, выбранных из G[ и G5
для Ко и К \, |
позволяет записать РЛФ, а по ней СФ для реа |
|||
лизации элемента. |
|
|||
|
Пример. |
Пусть задана |
функция |
|
F |
ХхХ2Х4 + |
Х ^ з Х э + |
Х [Х ВХ4 + ХаХ3Х4 + X[xÈxt. |
|
Требуется найти |
для нее |
оптимальные РЛФ и СФ, описывающие |
||
схему смешанного типа. |
- |
|||
|
Анализ |
показывает, что для реализации схемы «без отноше |
ния» потребуется 22, «с отношением» — 11 транзисторов. Н послед нем случае на семи наборах возникнут состязания. Суммарный пока
затель |
качества П = Пп + Пс, |
где Пп — число транзисторов в |
схеме; |
Пс — число состязаний; для схемы «без отношения» Пц = |
|
== 22, для схемы «с.отношением» |
Пп = 18. |
|
Определяем Х0, Хх: |
|
К0 = {X^iXoXt, ХгХоХцХн XjXjXsX^ X,XaX3X4f XtX2X3X4,-
Х,ХаХ3Х4, XxX2X3X4},
Xi = {XiXaX3X4, X1XaX3X4jXiXjXsX!, X1XaX3X4, XiXaX8A4<
X i X a X 3 X 4 , X 1 X a X 3 X 4 } .
|
Определяем G0)- Gt: |
|
|
|
Qo = |
№ . X u _X 2, X3,_X3, X4> |
X4J_ Xi_ X3, |
Xi_X4, X3X4j XtXa, |
|
XaX4, XaX 3, XtXa, XjXa^, |
XiXaX3, X2X3X4, Х ^ Х ^ Х ^ } , |
|||
Gt = |
{Xi, Xlf Xa, _X3, X |
^ |
X . , XJXJ. |
X1X4,_X_3X4< XaX3l |
XaX4, X1Xa, XaX4, Х^Х3,Х аХм XtXa, XiX^.XiXg, XiXa, Xa^ 3X4, XiXaX4, X3X3X4, Х'аХзХ^,''Х1ХзХ4, XiX3X4, XiXaX4}.
Определяем частоту повторения импликант:
В0 = |
{6, 3, 3, 3, 6, 6, 3, |
1, 1, 3, 3, 3, 3, 1, 1, 1, 1, 1, 1}, |
|
|||||
Bi = |
{6, 10, 10, 10, |
б, |
6, 10, 3, 1, 3, 3, 3, |
1, |
3, 3, 3, |
1, 3, 3, |
3, 1, |
|
1 ,1 ,1 ,1 ,1 .1 } . |
|
|
|
|
|
|
|
|
Определяем GJ, GJ |
|
|
|
|
|
|
||
GJ =s {Xi, X3, X4, XjXa, XaX4, XaX3, |
X3X4j XiXaX4jXiXaX3i |
|||||||
XjXsX,, "x1*x3x 4, |
XaX3X4} |
, ____ ______ ______ |
________ |
|||||
GJ = |
{Xj, Xa, X3, |
X4,~ XxXa, |
XxX4, XjX3, |
XiXa, |
XaX3j |
XaX4j |
X3X4, X3X4, XaX3X4, XxXaX4, XaX3X4, XaX3X4, XjX3X4j XiX3X4
* iX aX4,}.
G'
с
о
1 0 0 1
|
К о |
|
1 |
0 |
о |
1 |
0 |
н |
1 0 |
1 0 |
о |
оо
о
оо
П О О
1 1 0 1 |
1 1 1 1 |
1 0 1 0
K l
о
о
о
0 1 1 1
|
о |
о |
о |
о |
о |
о |
||
о |
о |
о |
*1
*з '
х,
*4
*1 * 2
* 1 * 4
* ! * з
* i * 3
* а * з
* 2 * 4
* 2 * 3
* 2 * 4
* 3 * 4
* 3 * 4
* 2 * 3 * 4
* ! * 2 * 4
* 2 * 3 * 4
* 2 * 3 * 4
* ! * 3 * 4
* 1 * 3 * 4
X i X 2 X i
0 |
- 1 |
— |
— |
|
|
1 |
1 |
t |
|
|
1 |
1 |
I |
1 |
1 |
— ■ 1 — |
— |
1 |
|
1 |
1 |
1 |
1 |
I |
1 |
1 |
|
|
|
||
— |
— |
1 — |
1 |
1 |
1 |
|
|
|
1 1 |
|
1 |
1 1 |
|
||
— |
— |
— |
• 0 |
1 |
1 |
1 |
|
1 |
|
1 |
I |
|
|
1 |
1 |
1 |
1 |
— |
— |
1 |
|
|
|
1 |
1 |
1 |
|
|
|
|
|
0 |
— |
— |
0 |
|
|
1 |
|
|
|
|
1 |
|
|
1 |
1 |
0 |
— |
1 |
— |
|
|
1 |
|
|
|
|
|
1 |
1 |
1 |
|
0 |
0 |
— |
— |
|
|
|
|
1 |
|
|
|
|
1 |
1 |
1 |
— |
1 |
0 |
— |
|
|
|
1 |
1 |
1 |
|
1 |
|
|
|
|
— |
1 |
— |
1 |
|
|
|
г |
|
1 |
1 |
|
1 |
|
|
|
— |
0 |
1 |
— |
|
1 |
|
|
|
|
1 |
|
|
1 |
1 |
|
— |
0 |
— |
0 |
|
1 |
|
|
|
|
1 |
|
|
|
1 |
1 |
— |
— |
0 |
0 |
|
1 |
|
|
1 |
|
|
1 |
|
|
|
1 |
— |
— |
1 |
1 |
|
1 |
|
|
|
|
1 |
|
1 |
1 |
|
|
— |
1 |
0 |
0 |
|
|
|
|
1 |
|
|
1 |
|
|
|
|
1 |
1 |
— |
1 |
|
|
|
|
|
1 |
1 |
|
|
|
|
|
— |
1 |
1 |
1 |
|
|
|
|
|
|
1 |
|
1 |
|
|
|
— |
0 |
1 |
0 |
|
I |
|
|
|
|
1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
0 |
— |
0 |
0 |
|
|
|
|
|
|
|
1 |
|
|
|
! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
— |
1 |
1 |
|
|
|
|
|
|
|
|
1 |
1 |
|
|
0 |
0 |
— |
0 |
|
1 |
|
|
|
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
<
|
* |
i |
|
1 — |
— |
— |
1 1 |
I |
I |
|
|
1 |
1 |
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
* |
3 |
|
— |
— |
0 |
— |
1 |
|
1 |
1 |
1 |
1 |
1 |
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
* |
4 |
|
— |
— |
— |
1 |
1 |
1 |
|
1 |
1 |
|
1 |
1 |
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
* |
1 |
* |
3 |
1 |
0 |
— |
— |
|
1 |
1 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
* |
2 |
* |
4 |
— |
0 |
— |
1 |
1 |
1 |
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Т 2 Т 3 |
— |
0 |
0 |
— |
I |
|
1 |
|
1 |
|
|
|
|
1 |
|||
* |
3 |
* |
4 |
— |
— |
■ 0 |
1 |
1 |
|
|
1 |
1 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
* ! * 2 * 4 |
1 |
0 |
— |
1 |
1 |
I |
|
1 |
|
|
|
|
|
|
Табл. 2.11 представляет собой импликантную матрицу покрытий и состязаний для данного примера. Определяем множество по крытий конституент Ki и К0 импликантами из G[, GQ с состязаниями.
Например, импликанты (Xlf Х2, Х 9) — первые три верхних строки таблицы — покрывают все конституенты Ki. Следовательно, эти импликанты можно рассматривать в качестве кандидатов для реали зации схемы сме. анного типа. Подсчитаем число состязаний. Для этого найдем сумму единиц в первых трех строках матрицы и в столбцах, соответствующих /С0, и вычтем число повторяющихся единиц на один°ковых наборах переменных. В результате получим
5 состязаний. Таким образом, множество (Xf, Ха, Х3)5 |
взвешено чис |
|||
лом состязаний. |
Показатель |
качества для |
такого |
покрытия П*= |
= Пп1 + ПС1 |
8, где Пх (П0Ь Пп1 (Пп0), |
Пс^ (Псо) — суммар |
||
ный показ тель, |
показатель |
покрытия и |
показатель состязаний |
для импликант G[ (GJ). Ниже приведено множество покрытий Ki импликанйми из G[ и /Св импликантами из G9.
Покрытия Ki
(Xi Х2> Х9)
(Хь х2, x.)ej
Ocitx2 х2хяУ (xit х2, х2 х4)‘
Х,Х,)в
(Xi, X 4, X 2 X 4)B
(Х2, Xa,X k)6
(х2, Xg.XiXO*
импликатами из
|
П, = 8, |
|
|
П, = 9, |
|
|
Пх=8, |
|
|
П ,=8, |
|
|
Пх=9, |
|
|
Пх=9, |
|
|
rii=i2, |
|
V V |
n i= n , |
|
Пх=11, |
||
|
||
|
П1=11, |
|
|
П,=12. |
|
|
Пх=8, |
|
|
М1' сю |
|
|
II |
G[ г |
|
(Xt, |
X a, X t X 2)6 |
(Xit Х а, Х г Ха)6 |
|
(xt, |
Х 3, Xi, Х 2Xi)6 |
(Xi |
Х3, X s Xi, X 2Xi)6 |
(Xj, X t X 2, X2 Х3)ъ (x lt xt x2, x 2X 4)6
(Xi, X 2Xt,XaXi,X2X 3)6 (X2, X 2X i t XaXi, Х г Хд*
(X2, Xi, Xi X s)* (X2, X lt X x X j 6
n f = 9 ,
П ,= 9 ,
П,=10,
ri,=12,
n,=10.
11 c |
O |
n,=12.
n i= ll .
я |
ooII |
_ |
П ,=9,
(X2, X jj.XiXa)6 |
п1=9, |
(Х2. Х4, Х2 Х3)4 |
П1=,8, |
||
(Х2. Х8,Х 3 Х 4)5 |
Пг=9, |
(Х2 Х4, X, Х4)5 |
П1=9, |
||
(Х2 >Х1 Х4, Х2 Хд) |
П2= 9, |
(Х3, Х4, Х4 Хг)4 |
П4==8, |
||
(Хг, ХхХ 4, XaXiiXjX,) 4 |
^ = 1 1 ,(X,. Х4, Х2 |
Х3)5 |
1^=9, |
||
( X ^ X i , Х2 |
Х4, XI Х3)4 П4=11, (Х3, Х4, Х2 |
Х4)5 |
П ^Э , |
||
(XJJX J Х4» Х2 |
Х4, Х3 Х4) |
П1 =12, (Xj, Х4,• Х4 Х2 Х4 )4 |
П4=9, |
||
(х 4, Х4 Х2, |
Х4 Хз)3 |
Пх=8, |
(Х4, Х ^ з .Х а Х .Х ^ з ) 5 |
n j-1 2 . |
|
(X4,X t X2i Х2 Xi) |
П4=9, |
(Х4> AJ Х2. Х2 XitXiXz)b |
Пг=12. |
Покрытия /Со импликантами из G Q S
(X x, X 1X 2, Z 3X i)6 |
По-11, |
(х г, Х3, X 2X 3X 4)8 П„=1 0 , |
(X2 X3 X4, x 3, x 4)e |
n 0= n , |
(X4 , X4, X2 X3 x 4)8 n 0 = n , |
(X3 X3 X4.X 3 X4 . X j X 2)2 |
n 0=9, |
(Xj.X3X3 X4.X2X4)4 EI0=10, |
(X, X3 X4, X3 x 4. X2 X4, X2 X3)3 |
П0= 1 2 |
|
Из анализа покрытий Х4 и Kg следует, что они отличаются друг от друга суммарными показателями П4 и П0, а также показа телями покрытий и состязаний Пп1, Пп0, rifei. Псо. Для получения РЛФ достаточно взять по одному покрытию конституент Кх и /(„,
Оптимизацию покрытия функции импликантами при на личии состязаний можно проводить, решая одну из следую щих задач оптимизации: найти покрытие K i и Ко импликан тами из G{ и Gô, обеспечивающее:
1) min (П = |
По + |
П4); |
|
|
|
2) min (П0 = |
Пс1 + Пс0), |
|
|
||
opt (Пп = Пп1 + |
Ппо), |
opt Пп = |
П — min Пс; |
||
3) min (Пп = |
П „1 + Пп0), |
|
|
||
opt (Пс = ПС1 + Пс0), |
opt Пс = |
П — min Пп; |
|||
4) min (П = |
По + |
П4), |
min (Пс = |
ПС1 + Пс0) |
|
opt (Пп = Пп1 + |
Ппо), |
opt Пп = |
|
min П — min Пс; |
|
5) min (П = |
По + |
П1), |
min (Пп = |
Пп1 + Пц0), |
|
opt (Пс = П01 + Псо), |
opt Пс = |
min П — min Пы. |
Решение первой задачи минимизирует суммарный пока затель качества. Для данного примера имеется несколько покрытий, для которых П = 17. Одно из них: (Xlt Х 2, Х 3 ) 6
из GJ и ( Х гХ 3 Х 4, Х 3Х 4, X j Q * из G'o.
Решение второй задачи минимизирует число состязаний. Для покрытий (Х4, Х хХ 2, Х хХ 3)3 из G\ и ( Х гХ 3 Х 4, Х 8Х 4, Х х Х г) 2 из Gô получим min Пс = 5, a opt Пп = 12.
во