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

Предложено использовать при синтезе самодвойственных цифровых устройств с обнаружением неисправностей свойства линейных булевых функций. Установлено, что проверочные символы таких кодов обладают следующим свойством – они описываются либо самодвойственными, либо самоантидвойственными булевыми функциями, либо и теми, и другими. Это свойство позволяет выделить для каждого линейного кода те значения числа информационных символов, при которых их проверочные символы будут описываться только самодвойственными, только самоантидвойственными, либо и теми, и другим функциями. Представлена структура организации контроля вычислений на выходах самодвойственных устройств по нескольким диагностическим признакам, которая позволяет повысить число рабочих комбинаций, являющихся одновременно и тестовыми для неисправностей.