|
Оглавление
 Введение 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.
 Романов Владимир Ильич Кандидат технических наук, доцент. Его основные научные интересы связаны с разработкой инструментария для решения задач логико-комбинаторного характера, разработкой программного обеспечения САПР дискретных устройств и применения в них методов искусственного интеллекта. В Белорусском государственном университете информатики и радиоэлектроники читает курс лекций «Проектирование программ в интеллектуальных системах».
|