QR-код құжаттың
Бибило, П. Н.
Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний / Бибило П. Н. - Минск : Белорусская наука, 2011. - 279 с. - ISBN 978-985-08-1322-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК | 519.816 |
Кл.слова (ненормированные):
автоматизированное проектирование -- дискретные устройства -- продукционно-фреймовая модель -- технологическая оптимизация
Аннотация: Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида «если - то». Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах. Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.
Доп.точки доступа:
Романов, В. И.
Жіктеу бойынша ұқсас басылымдар