Рассмотрены основные положения алгебры логики, в частности, функционально полные системы, базис, совершенная дизъюнктивная и конъюнктивная нормальная формы, минимизация булевых функций, а также и их применение к построению комбинационных логических схем на элементах малой и средней степени интеграции.

Рассмотрены вопросы определения входной последовательности в задаче синтеза тестов для обнаружения одиночных константных неисправностей комбинационных схем. Входная последовательность анализируется в рамках использования структурного метода синтеза тестов активизацией одномерных путей. Анализ проводится с позиции развития целевых ресурсов решения задачи с адаптацией входной последовательности для использования в методе заготовки результатов. Предложена модель входной последовательности, которая обеспечивает активизацию одномерных путей от каждого из входов тестируемой схемы с полным перебором всех возможных двоичных значений на остальных входах схемы. Модель создает условия для заготовки и выбора наборов, составляющих проверяющий или локализующий тест.

Описаны основные результаты исследования развития способов контроля комбинационных схем на основе свойств кодов, ориентированных на обнаружение ошибок определенных видов и кратностей. Установлено, что при использовании классических кодов с суммированием (кодов Бергера) и ряда их модификаций при организации контроля комбинационных схем возможно использование особенностей обнаружения как монотонных, так и части немонотонных ошибок в информационных векторах. Показано, что возможен поиск таких групп выходов комбинационных схем, на которых возникают только симметричные ошибки вследствие одиночных неисправностей элементов внутренней структуры схемы. Такие группы выходов названы симметрично независимыми группами (СН-группами) выходов. Определены условия принадлежности группы выходов комбинационной схемы к СН-группам выходов. Показано, что каждая СН-группа выходов может контролироваться с помощью отдельной подсистемы контроля на основе кода с обнаружением любых несимметричных ошибок (и любых несимметричных ошибок до определенных кратностей). Предложены способы поиска СН-групп выходов при организации контроля комбинационных схем. Особое внимание уделено контролю неисправностей на входах комбинационных схем.

Предложен метод организации систем функционального контроля (ФК), сочетающий контроль по принадлежности формируемых кодовых слов заранее выбранному равновесному коду и контроль принадлежности каждой функции классу самодвойственных функций. Такой способ организации систем ФК позволяет повысить обнаруживающую способность по сравнению с контролем по методу логического дополнения до равновесных кодов или до самодвойственных функций. Показано, что при организации контроля комбинационных логических устройств по разработанному методу могут быть использованы только равновесные коды с одинаковым числом единичных и нулевых разрядов (так называемые коды "r из 2r", где r - вес кодового слова). Приоритет при организации системы ФК отдается равновесному коду "2 из 4". Разработаны алгоритмы синтеза систем ФК, структуры которых являются полностью самопроверяемыми относительно одиночных константных неисправностей выходов внутренних логических элементов. Результаты моделирования работы системы ФК на примере произвольного комбинационного логического устройства показали высокую эффективность разработанного метода.