Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний
ISBN | 978-5-9710-1156-9 |
Автор | Бибило П.Н., Романов В.И. |
Издательство | ЛЕНАНД |
Переплет | ОБЛ |
Формат | 60x90/16 |
Вес, гр | 260 |
Год | 2014 |
Стр. | 256 |
Сроки выполнения | Уточняем в течение 24 часов после оформления заказа |
ID | 40УР |
Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида «если > то». Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах.Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.