Аннотации:
Предложено при синтезе схем встроенного контроля в структурах самопроверяемых цифровых
устройств использовать логическую коррекцию сигналов с учетом характеристик обнаружения
ошибок полиномиальными кодами. Показано, что схема встроенного контроля может организовываться путем выделения подмножеств преобразуемых и не преобразуемых выходов. В этом случае число элементов преобразования в схеме контроля может быть минимизировано и приравнено
к числу проверочных символов в выбранном полиномиальном коде. Установлены условия синтеза
полностью самопроверяемых схем встроенного контроля на основе логической коррекции сигналов
с применением полиномиальных кодов. Разработаны алгоритмы синтеза схем встроенного контроля, позволяющие решить задачу их организации с учетом особенностей топологии самого объекта
диагностирования и характеристик обнаружения ошибок в информационных символах полиномиальными кодами. Также при синтезе схем встроенного контроля могут учитываться характеристики
обнаружения ошибок во всем кодовом слове полиномиальными кодами. Полиномиальные коды могут
эффективно применяться при синтезе схем встроенного контроля на основе логической коррекции
сигналов, что позволяет синтезировать самопроверяемые цифровые устройства с наименьшими
показателями сложности технической реализации. Представленные результаты целесообразно
учитывать при разработке устройств и систем критического применения. It is proposed to use Boolean correction of signals when synthesizing
built-in control circuits in the structures of self-checking digital devices, taking into
account the characteristics of error detection by polynomial codes. It is shown that
the built-in control circuit can be organized by selecting subsets of convertible and
non-convertible outputs. In this case, the number of transformation elements in
the control circuit can be minimized and equal to the number of check symbols in
the selected polynomial code. Conditions have been established for the synthesis
of fully self-checking built-in control circuits based on Boolean signals correction
using polynomial codes. Algorithms for the synthesis of built-in control circuits have
been developed that allow solving the problem of their organization, taking into
account the topology features of the diagnostic object itself and the characteristics
of error detection in data symbols using polynomial codes. Also, when synthesiz‑
ing embedded control circuits, the characteristics of error detection in the entire
codeword by polynomial codes can be taken into account. Polynomial codes can be
effectively used in the synthesis of built-in control circuits based on Boolean signals
correction, which makes it possible to synthesize self-checking digital devices with
the least complexity of technical implementation. The presented results should be
taken into account in the development of devices and systems of critical application.
