Главная  Каталог авторов Каталог трудов Расширенный поиск Добавление статей Регистрация

Статический временной анализ с обнаружением ложных проводящих путей на основе логических импликаций

Авторы
 Соловьев Р.А.
 Глебов А.Л.
 Гаврилов С.В.
Год публикации
 2006
Тип работы
 текст доклада на конференции

Ссылка на статью
 Соловьев Р.А., Глебов А.Л., Гаврилов С.В. Статический временной анализ с обнаружением ложных проводящих путей на основе логических импликаций. Проблемы разработки перспективных микроэлектронных систем - 2006. Сборник научных трудов / под общ. ред. А.Л.Стемпковского. М.:ИППМ РАН, 2006. С. 22-28.

Сайт ИППМ    Сайт ИнфоМЭС    Обратная связь

Copyright © 2012-2019 ИППМ РАН. All Rights Reserved.
Обновлённая и существенно переработанная версия системы от 2016 года.

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