
Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний
Место издания: Минск
ISBN: 978-985-08-1322-0
Страниц: 280
Артикул: 15840
Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида «если > то». Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах. Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.
Глава 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. Организация взаимодействия систем логического проектирования
Заключение
Литература
Список сокращений
Все отзывы о книге
С этой книгой читают






















и мы свяжемся с вами в течение 15 минут

за оставленную заявку