Обеспечение тестируемости задержек путей при синтезе схем покрытием BDD-графов - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

расширенный поиск

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

Кудин, Дмитрий Владимирович, Николаева, Екатерина Александровна, Румянцева, Елена Викторовна, Матросова, Анжела Юрьевна

Дата публикации: 2013

Дата публикации в реестре: 2020-03-03T19:10:59Z

Ключевые слова:
неисправность задержки пути, задержки путей схемы, тестопригодное проектирование, BDD-графы

Тип: статьи в журналах

Источник: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2013. № 2. С. 130-139

Связанные документы (рекомендация CORE)