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

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

Год: 2011

ISBN: 978-985-08-1322-0

Кол-во страниц: 280

Форматы:

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

Издательство: Белорусская наука

Читать фрагмент
Регистрация

30 секунд

Оплата

2 минуты

Получение

1 клик

Безопасность платежа
гарантирует

173 у
Чтобы получить книгу осталось лишь

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