Например, Бобцов

СИНТЕЗ САМОПРОВЕРЯЕМЫХ КОМБИНАЦИОННЫХ УСТРОЙСТВ С КОНТРОЛЕМ ВЫЧИСЛЕНИЙ ПО ДВУМ ДИАГНОСТИЧЕСКИМ ПАРАМЕТРАМ

Аннотация:

Предложена структура организации схем встроенного контроля для логических устройств автоматики и вычислительной техники, основанная на использовании двух диагностических параметров (гибридная структура). В качестве первого диагностического параметра рассматривается принадлежность контролируемых в схеме встроенного контроля функций заранее выбранному избыточному коду, а в качестве второго диагностического параметра — принадлежность каждой функции к классу самодвойственных функций. Приведено подробное описание гибридной структуры организации схемы встроенного контроля. Рассмотрены частные случаи ее реализации — применение для контроля равновесных кодов „2 из 4“ и стандартных модулей сжатия парафазных сигналов. Продемонстрированы возможности использования специализированных схем предварительного сжатия сигналов с выходов объекта диагностирования, необходимых для сокращения вносимой структурной избыточности при синтезе схемы встроенного контроля. Приведен пример реализации схемы встроенного контроля по гибридной структуре. Рассмотрен алгоритм пошагового определения функций блока контрольной логики с учетом особенностей реализации полностью самопроверяемого цифрового устройства.

Ключевые слова:

Статьи в номере