Книга Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний описывает методы управления процессами логического проектирования дискретных устройств с помощью продукционно-фреймовой модели представления знаний. Авторы предлагают использовать стратегии, состоящие из продукций вида если → то, для описания маршрутов проектирования. В книге приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний используется в системе автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Книга рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов, занимающихся логическим проектированием дискретных устройств. Авторы экспериментировали и практиковали проектирование с помощью разработанной системы, и показали, что ее совместное использование с промышленными системами проектирования позволяет более эффективно решать задачи синтеза логических схем в различных технологических базисах.
Книга Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний описывает методы логического проектирования дискретных устройств, основанные на продукционно-фреймовой модели представления знаний. Авторы предлагают использовать стратегии вида если → то для описания маршрутов проектирования, которые могут быть иерархически организованы и включать в себя комбинированные маршруты оптимизации, синтеза и верификации проектов логических схем. Описывается применение предложенной модели представления знаний в системе автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем, а также эксперименты и практика проектирования с ее использованием. Книга рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов, занимающихся логическим проектированием дискретных устройств, и представляет собой ценный ресурс для изучения современных методов проектирования логических схем.
Книга "Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний" предлагает использовать продукционно-фреймовую модель для управления процессами логического проектирования дискретных устройств. В книге описываются маршруты проектирования в форме стратегий, которые представляют собой наборы правил вида "если → то". Приводятся многочисленные примеры иерархически организованных стратегий, описывающих комбинированные маршруты оптимизации, синтеза и верификации проектов логических схем, которые не зависят от конкретной технологии. Предложенная модель знаний является основой для системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективно решать задачи синтеза логических схем в различных технологических базисах. Книга рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов, изучающих соответствующие специальности.
Электронная Книга «Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний» написана автором П. Н. Бибило в 2011 году.
Минимальный возраст читателя: 12
Язык: Русский
ISBN: 978-985-08-1322-0
Описание книги от П. Н. Бибило
Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида «если → то». Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах. Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.
