Метод синтеза удобных для контроля комбинационных схем

Предлагается метод синтеза удобной для контроля комбинационной схемы, реализующей систему двух булевых функций от $n+3$ переменных. Подфункцией одной из этих функций является заданная произвольная булева функция от $n$ переменных. Допускается возможность появления в схеме неисправностей очень широкого класса. На выбор элементного базиса не накладывается иных ограничений, кроме требования, чтобы базис был полным. Даются оценки сложности схемы и длины теста, проверяющего эту схему. При некоторых ограничениях на число блоков, могущих быть одновременно неисправными, предлагаемый метод приводит к построению асимптотически минимальных схем для почти всех булевых функций.