Построение тестовых последовательностей для робастно тестируемых неисправностей задержек путей с низкой потребляемой мощностью с использованием SAT-решателей и ROBDD-графов

Авторы автор Матросова А. Ю. (Сотрудник), автор Тычинский В. З. (Сотрудник), автор Андреева В. В. (Сотрудник)
Тип Статья в журнале
Год 2020
Язык русский
Отдел Институт прикладной математики и компьютерных наук, кафедра компьютерной безопасности (ИПМКН)
Библиографическая запись Матросова А.Ю., Тычинский В.З., Андреева В.В. Построение тестовых последовательностей для робастно тестируемых неисправностей задержек путей с низкой потребляемой мощностью с использованием SAT-решателей и ROBDD-графов //Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2020. № 2. С. 43-49.
Направление науки
УДК 004.312