КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Обложка Бибило П.Н., Романов В.И. Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний
Id: 180020
 
399 руб.

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

URSS. 2014. 256 с. Мягкая обложка. ISBN 978-5-9710-1156-9.

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

Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.


Оглавление

Введение 5
Список сокращений 7
Глава 1. Организация систем логического проектирования
дискретных устройств 9
Задачи логического проектирования дискретных устройств.. 9
Организация систем логического проектирования дискретных устройств 12
Экспертные компоненты в системах логического проектирования 25
1.4. Формальная модель системы автоматизированного логического проектирования 27
Глава 2. Представления объектов проектирования 34
Булевы функции и формы их представления 34
Иерархическое описание комбинационных логических схем на языке SF 45
Иерархические описания комбинационных логических схем на языке VHDL 59
Базисные элементы 67
Сложность логических схем 72
Глава 3. Интеллектуальная поддержка в системах
логического проектирования 76
Задачи логического проектирования для иерархических описаний проектов 76
Данные и знания в логическом проектировании 84
Представление знаний на основе продукций и фреймов 88
Пространство признаков, необходимых для принятия решений. Фреймы и атрибуты 93
Программные модули 98
Продукции 130
Стратегии 140
Стратегии и маршруты проектирования 142
Глава 4. Продукционная система оптимизации описаний
логических схем 180
Автономная подсистема ESS обслуживания эксперта 180
Система FLC оптимизации описаний логических схем.... 187
Направления дальнейшего развития 199

Глава 5. Экспериментальные исследования 206
Повторный синтез логических схем 206
Совместное использование систем FLC и
Leonardo Spectrum при синтезе схем 211
Синтез схем по BDD-представлениям 226
Синтез схем с использованием декомпозиции 228
Конвейерная минимизация 231
Организация взаимодействия систем логического проектирования 233
Заключение 237
Список литературы 238
Приложение. SF-описание схемы CIRC 247

Об авторах
Бибило Петр Николаевич
Доктор технических наук, профессор. Его основные научные работы относятся к теории дискретных устройств и автоматизации проектирования дискретных устройств и цифровых сверхбольших интегральных схем (СБИС), применению методов искусственного интеллекта в системах автоматизированного проектирования (САПР). Считает, что успешное развитие микроэлектроники связано с разработкой и внедрением в практику проектирования новых архитектур САПР, использующих экспертные знания о маршрутах и объектах проектирования. Руководствуется тем, что разработка отечественных САПР должна вестись с учетом их интеграции с зарубежными САПР. Уделяет большое внимание подготовке студентов и специалистов-разработчиков, читает курсы лекций в Белорусском государственном университете информатики и радиоэлектроники, является инициатором создания русскоязычного Интернет-сайта по языку VHDL.
Романов Владимир Ильич
Кандидат технических наук, доцент. Его основные научные интересы связаны с разработкой инструментария для решения задач логико-комбинаторного характера, разработкой программного обеспечения САПР дискретных устройств и применения в них методов искусственного интеллекта. В Белорусском государственном университете информатики и радиоэлектроники читает курс лекций «Проектирование программ в интеллектуальных системах».