Вы здесь

Математическое обеспечение синтеза минимальных форм представления переключательных функций для САПР БИС

Автор: 
Лузин Сергей Юрьевич
Тип работы: 
докторская
Год: 
2001
Количество страниц: 
188
Артикул:
246895
179 грн
Добавить в корзину

Содержимое

СОДЕРЖАНИЕ
Введение
I. Особенности и проблемы синтеза
МИ1ИМАЛБНЫХ ФОРМ ПЕРЕКЛЮЧАТЕЛЬНЫХ ФУНК 1ИЙ.
1.1. Основные понятия и определения .
1.2. Анализ методов получения прострлх
импликант
1.2.1. Алгоритм Квайна
1.2.2. Алгоритм МакКласки
1.2.3. Алгоритм Свободы .
1.2.4. Алгоритм Хва .
1.3. Анализ методов решения задачи
о кратчайшем покрытии .
1.3.1. Метод ПетрикаМакКласки .
1.3.2. Эвристические алгоритмы решения
задачи о покрытии
1.4. Быстрые алгоритмы минимизации
булевых функций .
1.4.1. Карты Карно
1.4.2. Метод конкурирующих интервалов .
1.5. Выводы и постановка задач
2. Повышение эффективности классических методов
МИНИМИЗАЦИИ БУЛЕВЫХ ФУНКЦИЙ .
2.1. Получение простых импликаит на основе
разбиения по кодам разности
2.2. Метод поразрядного выращивания
2.3. Эффективный метод решения комбинаторной
задачи о покрытии .
2.4. Выводы
3. Анализ и синтез комбинационных схем
С ИСПОЛБЗОВАЬШЕМ СПЕТРА ИНДЕКСОВ.
3.1. Спектр индексов и его свойства.
3.2. Оценка эффективности минимизации
ДНФ булевых функций .
3.3. Минимизация булевых функций на основе
синтеза подобных спектров
3.4. Выводы .
4. Разработка эффективных методов
СИНТЕЗА КОМБИНАЦИОННЫХ АВ ТОМАТОВ
4.1. Экономичный алгоритм приближенной
минимизации ДНФ булевых функций
4.2. Метод типа ветвей и границ .
4.3. Минимизация системы булевых функций
4.4. Определение оптимальной полярности
выходных сигналов
4.5. Выводы .
5. Экспериментальные исследования
и примеры оптимизации логических устройств
5.1. Исследование влияния критериев
задачи о покрытии на точность решения
5.2. Исследование оценки эффективности минимизации булевых функций
на основе распределения термов но индексам.
5.3. Анализ результатов автоматизированного
логического синтеза комбинационных схем
5.4. Выводы
Заключение
Список ЛИТЕРАТУРЫ