Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Верификация логических описаний комбинационных устройств  

Авторы
 Черемисинова Л.Д.
Год публикации
 2014
УДК
 519.714

Аннотация
 Описываются методы и программные средства, предназначенные для верификации логических описаний проектируемых комбинационных устройств и позволяющие обнаруживать ошибки проектирования на ранних этапах. Реализованы два подхода к решению задачи верификации: на основе моделирования комбинационной схемы и на основе сведения задачи верификации к проверке выполнимости конъюнктивной нормальной формы
Ключевые слова
 автоматизация проектирования, верификация, моделирование, выполнимость КНФ
Ссылка на статью
 Черемисинова Л.Д. Верификация логических описаний комбинационных устройств // Проблемы разработки перспективных микро- и наноэлектронных систем - 2014. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2014. Часть 1. С. 9-14.
Адрес статьи
 http://www.mes-conference.ru/data/year2014/pdf/D035.pdf

Copyright © 2009-2018 ИППМ РАН. All Rights Reserved.

Разработка сайта - ИППМ РАН