Автоматика и телемеханика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Автомат. и телемех.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Автоматика и телемеханика, 2013, выпуск 7, страницы 126–142 (Mi at5462)  
Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)

Безопасность, живучесть, надежность, техническая диагностика

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

А. Ю. Матросоваa, С. А. Останинa, В. Сингхb

a Томский государственный университет
b Индийский институт технологий, Мумбай
PDF полного текста (511 kB) Список цитирования (8)
Список литературы:
PDF
HTML
Аннотация: Рассматривается одна из задач временной верификации комбинационных схем, а именно задача определения несущественных путей (false paths). Возникающие на несущественных путях задержки не проявляются в режиме функционирования схемы. Такие пути полезно обнаружить и исключить из рассмотрения при определении максимальной задержки схемы в целом. Предлагается сводить задачу обнаружения несущественного пути к поиску тестовых наборов для константных 0,1 неисправностей соответствующей пути литеры эквивалентной нормальной формы (ЭНФ). Поиск тестовых наборов сводится к анализу конъюнкций ЭНФ, компактно представленной И-ИЛИ деревьями и Structurally Synthesized Binary Decision Diagrams (SSBDD-графами). Совместный анализ И-ИЛИ деревьев и SSBDD-графов ориентирован на сокращение вычислительных затрат при отыскании тестовых наборов.
Статья представлена к публикации членом редколлегии: П. П. Пархоменко

Поступила в редакцию: 27.07.2011
Англоязычная версия:
Automation and Remote Control, 2013, Volume 74, Issue 7, Pages 1164–1177
DOI: https://doi.org/10.1134/S0005117913070084
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: А. Ю. Матросова, С. А. Останин, В. Сингх, “Обнаружение несущественных путей логических схем на основе совместного анализа и-или деревьев и SSBDD-графов”, Автомат. и телемех., 2013, № 7, 126–142; Autom. Remote Control, 74:7 (2013), 1164–1177
Цитирование в формате AMSBIB
\RBibitem{MatOstSin13}
\by А.~Ю.~Матросова, С.~А.~Останин, В.~Сингх
\paper Обнаружение несущественных путей логических схем на основе совместного анализа и-или деревьев и SSBDD-графов
\jour Автомат. и телемех.
\yr 2013
\issue 7
\pages 126--142
\mathnet{http://mi.mathnet.ru/at5462}
\transl
\jour Autom. Remote Control
\yr 2013
\vol 74
\issue 7
\pages 1164--1177
\crossref{https://doi.org/10.1134/S0005117913070084}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000322257600008}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84880895945}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/at5462
  • https://www.mathnet.ru/rus/at/y2013/i7/p126
    • Эта публикация цитируется в следующих 8 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Автоматика и телемеханика
    Статистика просмотров:
    Страница аннотации:285
    PDF полного текста:71
    Список литературы:53
    Первая страница:30
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024