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

Abstract

Предложено при синтезе схем встроенного контроля в структурах самопроверяемых цифровых устройств использовать логическую коррекцию сигналов с учетом характеристик обнаружения ошибок полиномиальными кодами. Показано, что схема встроенного контроля может организовываться путем выделения подмножеств преобразуемых и не преобразуемых выходов. В этом случае число элементов преобразования в схеме контроля может быть минимизировано и приравнено к числу проверочных символов в выбранном полиномиальном коде. Установлены условия синтеза полностью самопроверяемых схем встроенного контроля на основе логической коррекции сигналов с применением полиномиальных кодов. Разработаны алгоритмы синтеза схем встроенного контроля, позволяющие решить задачу их организации с учетом особенностей топологии самого объекта диагностирования и характеристик обнаружения ошибок в информационных символах полиномиальными кодами. Также при синтезе схем встроенного контроля могут учитываться характеристики обнаружения ошибок во всем кодовом слове полиномиальными кодами. Полиномиальные коды могут эффективно применяться при синтезе схем встроенного контроля на основе логической коррекции сигналов, что позволяет синтезировать самопроверяемые цифровые устройства с наименьшими показателями сложности технической реализации. Представленные результаты целесообразно учитывать при разработке устройств и систем критического применения. 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.