Маскирование неисправностей полюсов логических схем с использованием частичных функций

Рассматриваются комбинационные логические схемы (комбинационные составляющие схем с памятью). Предлагается маскирование логических неисправностей внутренних полюсов схемы с помощью внешней подсхемы в условиях подключения ее входов к входам корректируемой комбинационной схемы и выходов – к соответствующим внутренним полюсам корректируемой схемы. Изложен алгоритм получения частичной функции внутреннего полюса схемы, основанный на использовании операций над ROBDD-графами. Синтез маскирующей схемы для множества неисправных полюсов сведен к построению реализации системы частичных функций в виде системы ДНФ и использованию ее в качестве задания на синтез в системе логического проектирования ABC. Эксперименты на контрольных примерах выявили возможность существенного сокращения аппаратурной избыточности при применении предлагаемого подхода.