Аннотация:
Предлагается метод синтеза неизбыточных схем из функциональных элементов в произвольном полном базисе, реализующих произвольные отличные от констант булевы функции и допускающих единичные проверяющие тесты длины не более 4 при инверсных и произвольных константных неисправностях на выходах элементов.
Ключевые слова:схема из функциональных элементов, единичный проверяющий тест, константная неисправность на выходе элемента, константная неисправность на выходе элемента, функция Шеннона длины теста, легкотестируемая схема.