Синтез и исследование логической схемы при кубическом задании булевой функции

Дипломная работа - Математика и статистика

Другие дипломы по предмету Математика и статистика

Скачать Бесплатно!
Для того чтобы скачать эту работу.
1. Пожалуйста введите слова с картинки:

2. И нажмите на эту кнопку.
закрыть



1X1XX11XX1X1X000X0XX00X001011011X1X1X1X11X000010XX0X00X0101X01X1010X1X101XX10XX1111X1X1XX11-XX1X1X0-00X0XX0-0X00101-1011X1X-1X1X11X-000010X-X0X00X0-101X01X101X011101XX10X010010101101X101XX1X1010010-1010X1X1010X111010110X010X10101XX1X101011X1010010101001X-101XX10101XX1X101X110X010X101011X10101X1101010010101X0101010X10-XX1111X1011111XX11110001X110101111X1X1111X1011X1X101X11X1011110-X010XX01010X1XX0101X00010XX0101XX10101011000X0100X0100X010100101010X101010X10X01X110

цикл нахождения множества простых импликант Таблица 6

1X1XX11XX1X1X000X0XX00X00101000010XX0X00X0XX1111XX010XX0101XX1X1X1XX11-XX1X1X0-00X0XX0-0X00101-000010X-X0X00X0-XX1111X-X010XX0-101XX1X101XX11101X110X010X101010010101111X1010X10-1X1X11X1X1X1111X1X110X0101101010X101X1111X1010110101X11X

В таблицах 3, 4, 5 и 6 опущены те *-произведения, которые были рассмотрены раньше. Множество простых импликант Z выглядит следующим образом:

 

Z={ 1X1XX11, XX1X1X0, 00X0XX0, 0X00101, 000010X, X0X00X0, XX1111X, X010XX0, 101XX1X,1X1X11X }.

 

Стоимость данного покрытия составляет 53, что на 5 больше стоимости исходного покрытия.

После нахождения множества Z в нем необходимо выделить такое подмножество, которое покрывало бы все вершины из комплекса L и имело бы минимальную стоимость по Квайну. В основе лежит понятие L-экстремали, то есть куба Zi, содержащего в себе одну или несколько вершин из комплекса L (L=C), которой нет ни в одной другой простой импликанте из множества Z.

Куб Zi является L-экстремалью, если для него выполняется следующее соотношение:

 

[ Zi # ( Z - Zi)] L ,

 

где # - знак операции вычитания кубов.

Операция вычитания, например, из куба а куба b служит для удаления их общей части, т.е. их пересечения, из куба а. Эта операция определяется следующим образом:

 

Координатное вычитание кубов ( ai # bi ) Таблица 7

ai # biai01X bi0ZY11YZ0XZZZОперация вычитания из куба а куба b определяется следующим образом:

 

a, при наличии Y,

a # b = , если ai # bi = Z,

( a1a2…ai-1aiai+1…an),

 

где ai = 0 или 1, объединение берется по всем таким ai.

Процесс выделения L-экстремали является циклическим, на каждом цикле очередная простая импликанта вычитается из предыдущей разности. Процессы вычитания и пересечения для полученных выше простых импликант отражены в табл. 8.

 

Выделение L-экстремалей Таблица 8

Z1 1X1XX11 Z2 XX1X1X0Z3 00X0XX0Z4 0X00101Z5 000010X Z6 X0X00X0Z7 XX1111XZ8 X010XX0Z9 101XX1XZ10 1X1X11X123456789101112Z11X1XX11-0ZZZZ0Y XX1X1X0YZ0ZZ0Y 00X0XX0YZYZZYZ 0X00101YZYZZY0 000010X0Z0ZZ0Y X0X00X00ZZZZZZ 0X1111X0ZZZZ0Y X010XX0ZZZZZZ0 101XX10ZZZZZZ0 1X1X110Z2XX1X1X0ZZZZ0ZY 1X1XX11-ZZ0Z0ZZ 0000XX0 00X00X0ZZYZZZY 0X00101 ZZYZZZ1 000010XZZ0ZYZZ X0X00X0ZZZZZZ1 0X11111ZZZZ0ZZ X0100X0ZZZZ0ZZ 101X010ZZZZZZZ Z300X0XX0Y1Z1ZZY 1X1XX1111Z1ZZZ 1X1X1X0 X11X1X0 XX111X0-Z1ZZZZY 0X00101ZZZZZZ1 00001011ZZZZZZ 10X00X0Z1ZYZZY 0X111111ZZZZZZ 10100X0YZZ1ZZZ 101X010Z40X00101YZY10YZ 1X1XX11YZY1Z1Y 1X1X1X0 1ZY1Z1Y X11X1X0 1ZYYZ1Y XX111X0ZZZZ01Y 0000XX0 ZZ1ZY1Y 00X00X0-ZZZZZZZ YZ1ZY1Y 10X00X0ZZYYZYZ 0X11111YZYZY1Y 10100X0YZY1YYY 101X010Z5000010XY1Y10YZ 1X1XX11Y1Y1Z1Z 1X1X1X0 1YY1Z1Z X11X1X0 11YYZ1Z XX111X0ZZZZ01Z 00000X0 0000X10 ZZ1ZY1Z 00X00X0Z1ZZZZZ 0100101-YZ1ZY1Z 10X00X0Z1YYZYZ 0X11111YZYZY0Z 10100X0YZY1YYY 101X010Z6X0X00X0Z1Z11ZY 1X1XX11Z1Z1YZZ 1X1X1X0 ZYZ1YZZ X11X1X0 Z1ZYYZZ XX111X0ZZZZZZZ ZZZZ1ZZ 0000110 ZZZZZZZ ZYZZYZY 0100101-Z1ZYYZY 0X11111ZZZZZZZ ZZZ1ZZZ 1011010Z7XX1111XZZZ00ZZ 1X10X11 1X1X011ZZZ0Z0Z1X101X0 1X1X100 ZZZ0Z0ZX1101X0 X11X100ZZYYZZZ 0000110ZZYYZYZ 0100101ZZ0YY0Z 10X00X0-ZZZZYZZ 1011010Z7ZZZZZ0Z XX111001Z8X010XX0Z1ZZZZY 1X10X11 Z1Z1ZZY 1Z1Z011Z1ZZZZZ 11 01X0 Z1Z1ZZZ 111X100 1X11100 ZYZZZZZ X1101X0 Z1ZYZZZ XX11100ZZYZZZZ 0000110ZYYZZZY 0100101ZZ0ZZZZ 10000X0Z1ZYZZY 0X11111-ZZZYZZZ 1011010Z9101XX1XZ1ZZZZZ 1110X11 Z1ZZZZZ 111X011ZYZZZ0Z 11101X0 ZYZZZYZ 111X100 Z1ZZZYZ 1X11100 0YZZZ0Z X1101X0 0YZZZYZ X11X100 01ZZZYZ XX11100YZYZZZZ 0000110YYYZZYZ 0100101ZZYZZ0Z 10000X0 Y1ZZZZZ 0X11111-Z101X1X11XZZZZ0ZZ 1110011 111X011ZZZZZ0Z 1110100 ZZZZZYZ 111X100 ZZZZZYZ 1X11100 0ZZZZ0Z 01101X0 X110100 0ZZZZY1 X11X100 0ZZZZYZ XX111000000110010010110000X00X11111ZZZZYZZ 1011010-

Полученное минимальное покрытие:

 

X1XX11

XX1X1X0

X0XX0

X00101

X0X00X0

XX1111X

XX1X

 

Cтоимость полученного покрытия равна 36 ( стоимость исходного покрытия равна 53 ).

 

  1. ПОСТРОЕНИЕ ФАКТОРИЗОВАННОГО ПОКРЫТИЯ

 

Покрытие, полученное на основе простых импликант и выделения из них L-экстремалей, принято называть минимальным. Однако практика показывает, что дополнительная минимизация возможна при помощи факторизации. Таким образом, минимальным следует считать факторизованное покрытие, а не множество L-экстремалей.

Факторизация покрытия основана на операции m-произведения, которая предназначена для выделения общей части двух кубов. Эта операция является поразрядной:

 

0 при ai = bi = 0, i = 1,n;

ai m bi = 1 при ai = bi = 1, i = 1,n;

m во всех остальных случаях.

Символ m указывает координату исходных кубов, которая различна в них, либо есть Х.

Куб, в котором хотя бы одна координата является m, называется m-кубом и обозначается через еm. Такой куб может участвовать в m-произведении, тогда при умножении на координату m должна получаться координата m.

Стоимость для m-куба определяется путем подсчета числа координат со значениями 0 и 1. Куб с наибольшей стоимостью считается максимальным. Если стоимость равна 0, то m-куб считается пустым, он равен . Покрытие с учетом m-куба записывается в несколько измененном виде: под m-кубом фиксируются соответствующие ему кубы с сохранением тех координат, которые расположены под символами m.

Алгоритм факторизации покрытия является циклическим. Количество циклов равно числу уровней разложения покрытия ( числу m-кубов ). В разложенном по многим уровням покрытии выделяются на i-м цикле m-куб еmi, Mi ( множество кубов с прочерками, соответствующее еmi ), Ci (множество кубов, которые будут рассматриваться на ( i+1)-м цикле).

Алгоритм факторизации можно сформулировать следующим образом:

  1. Вычисляются m-произведения всех пар из Сi-1. В первом цикле С0 = Е. Во втором цикле дело надо иметь с С1, в третьем - с С2 и т.д.
  2. Выбирается m-куб с наибольшей стоимостью еmi. Если несколько кубов имеют одинаковую стоимость, то выбирается первый.
  3. Покрытие оформляется разложенным на две части: нижнюю часть Мi и верхнюю часть Сi. Ci содержит оставшиеся от Сi-1 кубы после удаления из него кубов Мi и добавленный ку

s