Метод синтеза неизбыточных схем, допускающих короткие единичные диагностические тесты при константных неисправностях на выходах элементов

Актуальность и цели. Тестирование схем из функциональных элементов - это важная теоретическая задача, имеющая практические приложения к тестированию и верификации СБИС. Целью данной работы является демонстрация возможности построения для произвольной булевой функции схемы из функциональных элементов, реализующей эту функцию и допускающей короткий единичный диагностический тест при произвольных константных неисправностях на выходах элементов. Материалы и методы. При получении основных результатов использовались методы синтеза схем, основанных на разложении булевой функции в полином Жегалкина. Результаты. В статье устанавливается, что для произвольной булевой функции $f$, зависящей от $n$ переменных, существует неизбыточная реализующая функцию $f$ схема из функциональных элементов в базисе $\{x \& y, x\oplus y, 1\}$, допускающая единичный диагностический тест константной длины при произвольных константных неисправностях на выходах элементов.