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

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

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

Ссылка на статью
 Гаврилов С.В., Глебов А.Л., Соловьев Р.А. Обнаружение ложных проводящих путей в статическом временном анализе на основе логических импликаций. Известия ВУЗов. Электроника, 2006, N6

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

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

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