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

Матросова, Анжела Юрьевна; Провкин, Виктор Алексеевич; Тычинский, Вячеслав Зиновьевич; Николаева, Екатерина Александровна; Гошин, Геннадий Георгиевич

С целью повышения надежности управляющих компонент сложных физических систем рассматривается проблема маскирования неисправностей и вредоносных подсхем, обнаруживаемых на заключительных этапах создания этих компонент. Управляющие компоненты, как правило, являются логическими схемами, комбинационными или последовательностными. Комбинационная схема С (комбинационная часть последовательностной схемы) состоит из вентилей. В ней выделена подсхема с множеством V выходных полюсов и множеством U входных полюсов. Множество V состоит из выходных полюсов неисправных элементов схемы С и входных полюсов ее исправных элементов. Предлагается корректировать поведение схемы С, используя маскирующую схему, по возможности, более простую. Eе входы соединяются с полюсами из U, а выходы – либо с полюсами, питаемыми полюсами из V (выходными полюсами элементов схемы С), либо непосредственно с полюсами из V (входными полюсами элементов схемы С) в рамках Engineering Change Order (ECO) технологий. В отличие от известных подходов к построению маскирующей схемы, основанных на результатах моделирования корректируемой схемы С, обеспечивающих в результате маскирования корректное поведение схемы на множестве моделируемых наборов, предлагается использовать частичные функции полюсов множества V. Применение частичных функций при построении маскирующей схемы позволяет гарантировать корректное поведение схемы С на множестве всех ее входных наборов. Построение частичных функций выполняется с использованием SAT-решателей. По полученной системе частичных функций с помощью систем ESPRESSO и ABC строится маскирующая схема.

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

Связанные документы (рекомендация CORE)

Новости проекта

Новости

Партнеры

Индексация