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

Введение Организация систем логического проектирования дискретных устройств Задачи логического проектирования дискретных устройств Организация систем логического проектирования дискретных устройств Экспертные компоненты в системах логического проектирования Формальная модель системы автоматизированного логического проектирования Представления объектов проектирования Булевы функции и формы их представления Иерархическое описание комбинационных логиче ских схем на языке SF Иерархические описания комбинационных логических схем на языке VHDL Базисные элементы Сложность логических схем Интеллектуальная поддержка в системах логического проектирования Задачи логического проектирования для иерархиче ских описаний проектов Данные и знания в логическом проектировании Представление знаний на основе продукций и фрей мов Пространство признаков, необходимых для приня тия решений. Фреймы и атрибуты Программные модули Продукции Стратегии проектирования Маршруты проектирования и их описание стратегиями Продукционная система оптимизации описаний логических схем Автономная подсистема ESS обслуживания эксперта Система FLC оптимизации описаний логических схем Направления дальнейшего развития Экспериментальные исследования Повторный синтез логических схем Совместное использование систем FLC и Leonardo- Spectrum при синтезе схем Синтез схем по BDD-представлениям Синтез схем с использованием декомпозиции Конвейерная минимизация Организация взаимодействия систем логического проектированияЗаключениеЛитератураСписок сокращений
 
РЕЗЮМЕ След >