Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний
Место издания: Минск
ISBN: 978-985-08-1322-0
Страниц: 280
Артикул: 15840
Краткая аннотация книги "Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний"
Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида «если > то». Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах. Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.
Содержание книги "Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний"
Введение
Глава 1. Организация систем логического проектирования дискретных устройств
1.1. Задачи логического проектирования дискретных устройств
1.2. Организация систем логического проектирования дискретных устройств
1.3. Экспертные компоненты в системах логического проектирования
1.4. Формальная модель системы автоматизированного логического проектирования
Глава 2. Представления объектов проектирования
2.1. Булевы функции и формы их представления
2.2. Иерархическое описание комбинационных логических схем на языке SF
2.3. Иерархические описания комбинационных логических схем на языке VHDL
2.4. Базисные элементы
2.5. Cложность логических схем
Глава 3. Интеллектуальная поддержка в системах логического проектирования
3.1. Задачи логического проектирования для иерархических описаний проектов
3.2. Данные и знания в логическом проектировании
3.3. Представление знаний на основе продукций и фреймов
3.4. Пространство признаков, необходимых для принятия решений. Фреймы и атрибуты
3.5. Программные модули
3.6. Продукции
3.7. Стратегии проектирования
3.8. Маршруты проектирования и их описание стратегиями
Глава 4. Продукционная система оптимизации описаний логических схем
4.1. Автономная подсистема ESS обслуживания эксперта
4.2. Система FLC оптимизации описаний логических схем
4.3. Направления дальнейшего развития
Глава 5. Экспериментальные исследования
5.1. Повторный синтез логических схем
5.2. Совместное использование систем FLC и LeonardoSpectrum при синтезе схем
5.3. Синтез схем по BDD-представлениям
5.4. Синтез схем с использованием декомпозиции
5.5. Конвейерная минимизация
5.6. Организация взаимодействия систем логического проектирования
Заключение
Литература
Список сокращений
Все отзывы о книге Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний
Отрывок из книги Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний
34и определяться вне зависимости от текущего момента вре-мени, так и динамические, вычисляемые в процессе функ-ционирования САПР. Особо следует отметить, что одним из основных свойств модуля является условие его применимости в тот или иной момент времени. Это свойство обуславливается как рассма-триваемыми данными (описаниями проектируемых объек-тов), так и программной архитектурой самой системы и ее текущей конфигурацией. Множество атрибутов програм-мных модулей хранится в информационной базе системы.Описания проектируемых объектов. Объекты в рам-ках САПР обычно описываются при помощи разнообраз-ных специализированных языков, отражающих характери-стические свойства проектируемых физических изделий. Значительной общностью обладает ситуация, когда рассма-триваются проекты, описывающие иерархию объектов, свя-занных отношением «состоит из». Кроме того, достаточно часто используются множественные описания, при которых один и тот же физический объект описан несколькими спо-собами, рассматривающими объект с разных точек зрения.Наряду с описаниями проектируемых изделий в САПР часто оперируют множеством их атрибутов AD. Это мно-жество можно рассматривать как набор выделенных ха-рактеристик проектируемого объекта, отражающих его наиболее существенные свойства. Атрибуты могут быть статическими и динамическими и получаться как непо-средственно из исходного описания проекта, так и путем достаточно сложных вычислений по этому описанию с уче-том текущего состояния процесса проектирования. Оче-видно, что различным типам описаний могут соответство-вать различные наборы атрибутов. В дальнейшем будем понимать множество атрибутов AD как ADÌD.Описания возможных режимов работы и состояний системы. Данный раздел формальной модели САПР пред-назначен для определения архитектурных особенностей конкретной САПР и условий ее функционирования.
С книгой "Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний" читают
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Бестселлеры нон-фикшн
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Новинки книги нон-фикшн
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Бибило П. Н. другие книги автора
и мы свяжемся с вами в течение 15 минут
за оставленную заявку