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