Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Построение тестовых последовательностей для робастно тестируемых неисправностей задержек путей с низкой потребляемой мощностью с использованием SAT-решателей и ROBDD-графов
Авторы
	Матросова А.Ю.
	Тычинский В.З.
	Андреева В.В.
Год публикации
	2020
DOI
	10.31114/2078-7707-2020-2-43-49
УДК
	004.312
Аннотация
	Предлагается новый подход к построению тестовых последовательностей, обнаруживающий робастно тестируемые неисправности задержек путей (Path Delay Faults (PDFs)), ориентированный на снижение потребляемой мощности при тестировании. Снижение потребляемой мощности обеспечивается сокращением числа перепадов значений сигналов в тестовой последовательности и сокращением ее длины Предлагаемый подход основан на получении и компактном представлении множества всех тестовых пар соседних булевых векторов для пути в логической схеме в виде ROBDD-графа. Каждая пара порождает три соседних булевых вектора, обнаруживающих робастно тестируемую неисправность задержки пути (robust testable Path-Delay Faults) для обоих перепадов значений сигналов пути. Соседними называются булевы векторы, отличающиеся значениями только одной компоненты. С целью построения как можно более длинных фрагментов (больше трех векторов) тестовых последовательностей соседних векторов, то есть фрагментов с минимальным потреблением мощности, выполняется пересечение графов рассматриваемых путей. Разработано несколько алгоритмов формирования тестовых последовательностей на основе получения и совмещения таких фрагментов. Традиционные подходы к тестированию robust testable PDFs ориентированы на нахождение хотя бы одной тестовой пары для каждого из перепадов значений сигналов, в этих условиях построение выше упомянутых фрагментов длины больше двух оказывается практически невозможным. В предлагаемом нами подходе множества тестовых пар строятся либо с использований операций над ROBDD-графами, либо с совместным применением этих операций и SAT решателей. Проведенные эксперименты демонстрируют высокое качество тестовых последовательностей в смысле потребляемой мощности, не достижимое традиционными методами, в том числе для схем, поведение которых не удается представить ROBDD-графом в силу его большой размерности.
Ключевые слова
	робастные (робастно тестируемые) неисправности задержек путей (robust testable PDFs), reduced ordered binary decision diagrams (ROBDD-графы), SAT решатели (SAT solvers), комбинационные схемы, последовательностные схемы.
Ссылка на статью
	Матросова А.Ю., Тычинский В.З., Андреева В.В. Построение тестовых последовательностей для робастно тестируемых неисправностей задержек путей с низкой потребляемой мощностью с использованием SAT-решателей и ROBDD-графов // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2020. Выпуск 2. С. 43-49. doi:10.31114/2078-7707-2020-2-43-49
Адрес статьи
	http://www.mes-conference.ru/data/year2020/pdf/D025.pdf