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