Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний
Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида «если > то». Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах.Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.
Содержание
Содержание книги "Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний "
Отрывок из книги
34и определяться вне зависимости от текущего момента вре-мени, так и динамические, вычисляемые в процессе функ-ционирования САПР. Особо следует отметить, что одним из основных свойств модуля является условие его применимости в тот или иной момент времени. Это свойство обуславливается как рассма-триваемыми данными (описаниями проектируемых объек-тов), так и программной архитектурой самой системы и ее текущей конфигурацией. Множество атрибутов програм-мных модулей хранится в информационной базе системы.Описания проектируемых объектов. Объекты в рам-ках САПР обычно описываются при помощи разнообраз-ных специализированных языков, отражающих характери-стические свойства проектируемых физических изделий. Значительной общностью обладает ситуация, когда рассма-триваются проекты, описывающие иерархию объектов, свя-занных отношением «состоит из». Кроме того, достаточно часто используются множественные описания, при которых один и тот же физический объект описан несколькими спо-собами, рассматривающими объект с разных точек зрения.Наряду с описаниями проектируемых изделий в САПР часто оперируют множеством их атрибутов AD. Это мно-жество можно рассматривать как набор выделенных ха-рактеристик проектируемого объекта, отражающих его наиболее существенные свойства. Атрибуты могут быть статическими и динамическими и получаться как непо-средственно из исходного описания проекта, так и путем достаточно сложных вычислений по этому описанию с уче-том текущего состояния процесса проектирования. Оче-видно, что различным типам описаний могут соответство-вать различные наборы атрибутов. В дальнейшем будем понимать множество атрибутов AD как ADÌD.Описания возможных режимов работы и состояний системы. Данный раздел формальной модели САПР пред-назначен для определения архитектурных особенностей конкретной САПР и условий ее функционирования.
Бибило П. Н. другие книги автора
Внимание!
При обнаружении неточностей или ошибок в описании книги "Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний (автор Петр Бибило, Владимир Романов)", просим Вас отправить сообщение на почту help@directmedia.ru. Благодарим!
и мы свяжемся с вами в течение 15 минут
за оставленную заявку