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