By this author

Synthesis of Self-Checking Discrete Devices Based on Polynomial Codes with Calculation Testing According to Several Diagnostic Signs

Issue number 5 from 01.05.2025

Предложено при синтезе самопроверяемых дискретных устройств с контролем вычислений по нескольким диагностическим признакам использовать полиномиальные коды. Разработан алгоритм быстрого получения функций, описывающих проверочные символы полиномиальных кодов в виде логических выражений. Показано, что кодеры полиномиальных кодов могут быть отнесены к устройствам трех видов: 1) на выходах которых реализуются исключительно самодвойственные булевы функции, 2) на выходах которых реализуются исключительно «близкие» к самодвойственным (самоквазидвойственные) булевы функции и 3) на выходах которых реализуются и самодвойственные, и самоквазидвойственные булевы функции. Разработана классификация полиномиальных кодов, учитывающая эту особенность. Описана структура организации контроля вычислений на выходах самодвойственных дискретных устройств по нескольким диагностическим признакам. Предложен алгоритм синтеза полностью самопроверяемого дискретного устройства с контролем вычислений по нескольким диагностическим признакам, отличающийся от известных тем, что учитывает характер возникающих на выходах дискретных устройств ошибок и предварительное покрытие их с помощью тестеров самодвойственных и/или самоквазидвойственных сигналов. Результаты могут быть использованы при разработке автоматизированных средств проектирования дискретных устройств для широкого круга приложений.

75 0