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

Анализ помехоустойчивости цифровых схем с учётом логических ограничений

Авторы
 Гаврилов С.В.
 Глебов А.Л.
Год публикации
 2005
УДК
 621.38

Аннотация
 Предложен алгоритм анализа помехоустойчивости, использующий в своей работе метод резолюций из теории автоматического доказательства теорем. Основными преимуществами нового подхода является работа непосредственно со схемой на транзисторном уровне, без предварительной экстракции логики и увеличение эффективности на основе использования более общих моделей данных и математических методов, что позволяет использовать его на промышленных схемах большого размера.
Ключевые слова
 метод резолюций, анализ помехоустойчивости
Ссылка на статью
 Гаврилов С.В., Глебов А.Л. Анализ помехоустойчивости цифровых схем с учётом логических ограничений // Проблемы разработки перспективных микроэлектронных систем - 2005. Сборник научных трудов / под общ. ред. А.Л.Стемпковского. М.:ИППМ РАН, 2005. С. 72-78.
Адрес статьи
 http://www.mes-conference.ru/data/year2005/11.doc

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

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