Выделение подозреваемых неисправностей в комбинационных схемах методом решения булевых дифференциальных уравнений

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