Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний. П. Н. Бибило и др.
- Тип: Текст PDF
- Авторы:
- Издательство: Издательский дом “Белорусская наука”(2014)
- Год написания: 2011
- Возрастная категория: 12+
- ISBN: 978-985-08-1322-0, 978-5-457-62522-8
- Страниц: 281
- Язык: Русский
- Описание
- Фрагмент
Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида «если → то». Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах. Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.