СИНТЕЗ САМОПРОВЕРЯЕМЫХ СХЕМ КОНТРОЛЯ ДЛЯ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ УСТРОЙСТВ НА ОСНОВЕ МЕТОДА ЛОГИЧЕСКОГО ДОПОЛНЕНИЯ И ИСПОЛЬЗОВАНИЯ МОДУЛЕЙ СЖАТИЯ ПАРАФАЗНЫХ СИГНАЛОВ
Статья посвящена развитию теории синтеза самопроверяемых схем встроенного контроля и непосредственно метода логического дополнения. Предложен алгоритм синтеза самопроверяемой схемы встроенного контроля, предполагающий использование в качестве устройства проверки корректности вычислений модуля сжатия парафазных сигналов. Алгоритм учитывает необходимость формирования полного множества тестовых комбинаций для элементов сложения по модулю два блока логического дополнения и модуля сжатия парафазных сигналов. К недостаткам алгоритма и метода в целом следует отнести необходимость перебора вариантов логического дополнения для обеспечения самопроверяемости и уменьшения структурной избыточности устройства автоматики. Тем не менее, метод универсален и позволяет синтезировать самопроверяемые схемы встроенного контроля для устройств автоматики, реализованных на любой элементной базе, со структурной избыточностью меньшей, чем при использовании дублирования.
Ключевые слова: самопроверяемая схема встроенного контроля, логическое дополнение, модуль сжатия парафазных сигналов, тестируемость элементов
