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

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

URSS. 2014. 256 с. ISBN 978-5-9710-1156-9.
Типографская бумага
  • Мягкая обложка

Аннотация

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


Оглавление
top

Введение 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

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