Самопроверяемые вычислительные устройства и системы (обзор)

Анализируются основные отечественные и зарубежные работы по методам построения самопроверяемых вычислительных устройств и систем. Даются формальные определения самопроверяемых схем встроенного контроля для избыточных кодов и для дискретных устройств. Рассматриваются существующие методы обеспечения самопроверяемости схем встроенного контроля и дискретных устройств. Анализируются методы построения одновыходных самопроверяемых схем встроенного контроля.