Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний
книга

Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний

Автор: Петр Бибило, Владимир Романов

Форматы: PDF

Издательство: Белорусская наука

Год: 2011

Место издания: Минск

ISBN: 978-985-08-1322-0

Страниц: 280

Артикул: 15840

цена: 173
Купить и скачать Читать фрагмент

Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида «если > то». Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах. Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.

Введение
Глава 1. Организация систем логического проектирования дискретных устройств
1.1. Задачи логического проектирования дискретных устройств
1.2. Организация систем логического проектирования дискретных устройств
1.3. Экспертные компоненты в системах логического проектирования
1.4. Формальная модель системы автоматизированного логического проектирования
Глава 2. Представления объектов проектирования
2.1. Булевы функции и формы их представления
2.2. Иерархическое описание комбинационных логических схем на языке SF
2.3. Иерархические описания комбинационных логических схем на языке VHDL
2.4. Базисные элементы
2.5. Cложность логических схем
Глава 3. Интеллектуальная поддержка в системах логического проектирования
3.1. Задачи логического проектирования для иерархических описаний проектов
3.2. Данные и знания в логическом проектировании
3.3. Представление знаний на основе продукций и фреймов
3.4. Пространство признаков, необходимых для принятия решений. Фреймы и атрибуты
3.5. Программные модули
3.6. Продукции
3.7. Стратегии проектирования
3.8. Маршруты проектирования и их описание стратегиями
Глава 4. Продукционная система оптимизации описаний логических схем
4.1. Автономная подсистема ESS обслуживания эксперта
4.2. Система FLC оптимизации описаний логических схем
4.3. Направления дальнейшего развития
Глава 5. Экспериментальные исследования
5.1. Повторный синтез логических схем
5.2. Совместное использование систем FLC и LeonardoSpectrum при синтезе схем
5.3. Синтез схем по BDD-представлениям
5.4. Синтез схем с использованием декомпозиции
5.5. Конвейерная минимизация
5.6. Организация взаимодействия систем логического проектирования
Заключение
Литература
Список сокращений

Все отзывы о книге

Чтобы оставить отзыв, зарегистрируйтесь или войдите