Вариант 6

Ссылки сюда (1) →

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

Введение

При проектировании вычислительных устройств возникает задача реализации на одном логическом устройстве всех булевых функций,принадлежащих определенному классу. В качестве такого класса часто используется класс симметрических булевых функций или некоторые его подклассы. Интерес к симметрическим булевым функциям объясняется тем, что такими булевыми функциями описываются структура и поведение многих типовых устройств вычислительной техники [1]. К настоящему времени имеется довольно-таки много результатов в области синтеза устройств для вычисления произвольных симметрических булевых функций [2, 3], а также для вычисления фундаментальных [4] и полиномиально-однородных [5] симметрических булевых функций.

Основные понятия теории булевых функций

дипломная работа

Среди функций одной переменной наибольший интерес представляет функция – отрицание (инверсия) переменной. Такая функция называется элементарной булевой функцией одной переменной. Кроме функции к числу элементарных относится 7 булевых функций, зависящих от двух переменных и  :

• функция называется конъюнкцией (или логическим умножением);
• функция называется сложение по модулю два;
• функция называется дизъюнкцией (или логическим сложением);
• функция называется стрелкой Пирса (или функцией Вебба);
• функция называется эквивалентностью;
• функция называется импликацией ( посылка (основание), заключение (следствие));
• функция называется штрих Шеффера.

булева алгебра

Таблица истинности элементарных булевых функций двух переменных

x1	x2	F1	F2	F3	F4	F5	F6	F7
0	0	0	0	0	1	1	1	1
0	1	0	1	1	0	0	1	1
1	0	0	1	1	0	0	0	1
1	1	1	0	1	0	1	1	0

Определение логической формулы:

1. Булева переменная является формулой.
2. Если и - формулы, то конструкции , , , , , , - также формулы.
3. Других формул, кроме формул, перечисленных в п.1 и п.2, нет.

Пример. Описание двоичного сумматора на языке VHDL (x₁ и x₂ - соответствующие разряды суммируемых чисел, pm - перенос в данный разряд из соседнего младшего разряда суммы,s - соответствующий разряд суммы, pc - перенос в соседний старший разряд суммы) и соответствующая схемная реализация:

схема сумматора

 
entity summator is
Port ( x1 : in STD_LOGIC;
x2 : in STD_LOGIC;
pm : in STD_LOGIC;
s : out STD_LOGIC;
pc : out STD_LOGIC);
end summator;
 
architecture Behavioral of summator is
begin
process (x1,x2,pm)
begin
s<=(x1 xor x2 xor pm);
pc<=((x1 and x2) or (x1 and pm) or (x2 and pm));
end process;
end Behavioral;

Таблица дат выполнения

Название глав дипломной работы	Дата начала выполнения	Дата конца выполнения
ОСНОВНЫЕ ПОНЯТИЯ ТЕОРИИ БУЛЕВЫХ ФУНКЦИЙ	13.04.2014	20.04.2014
КЛАССЫ БУЛЕВЫХ ФУНКЦИЙ	21.04.2014	29.04.2014
ПОДКЛАССЫ СИММЕТРИЧЕСКИХ БУЛЕВЫХ ФУНКЦИЙ	30.04.2014	10.05.2014

Таблица отметок о выполнении

Название глав дипломной работы	Отметка о выполнении
ОСНОВНЫЕ ПОНЯТИЯ ТЕОРИИ БУЛЕВЫХ ФУНКЦИЙ	Текст ячейки
КЛАССЫ БУЛЕВЫХ ФУНКЦИЙ	Текст ячейки
ПОДКЛАССЫ СИММЕТРИЧЕСКИХ БУЛЕВЫХ ФУНКЦИЙ	Текст ячейки
СХЕМНАЯ РЕАЛИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ	Текст ячейки
СХЕМНАЯ РЕАЛИЗАЦИЯ СИММЕТРИЧЕСКИХ БУЛЕВЫХ ФУНКЦИЙ	Текст ячейки

Заключение

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