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