Home  Catalogue of authors Catalogue of works Full search Add papers Login

Статический временной анализ с обнаружением ложных проводящих путей на основе логических импликаций
Authors
 Соловьев Р.А.
 Глебов А.Л.
 Гаврилов С.В.
Date of publication
 2006
Type of work
 текст доклада на конференции
Library reference
 Соловьев Р.А., Глебов А.Л., Гаврилов С.В. Статический временной анализ с обнаружением ложных проводящих путей на основе логических импликаций. Проблемы разработки перспективных микроэлектронных систем - 2006. Сборник научных трудов / под общ. ред. А.Л.Стемпковского. М.:ИППМ РАН, 2006. С. 22-28.
To IPPM site    To InfoMES site    Feedback
Copyright © 2012-2024 IPPM RAS. All Rights Reserved.
Updated and substantially revised version of system of 2016.
Design of site: IPPM RAS