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