Аннотация:
Сформулированы необходимые и достаточные условия обнаружения неисправности выхода логического элемента в комбинационном логическом устройстве в системе функционального контроля на основе кода Бергера. Введено понятие полностью тестируемой неисправности. Показано, что для обеспечения обнаружения любых одиночных неисправностей в комбинационных устройствах при их функциональном контроле на основе кода Бергера может быть использовано не только свойство 100 %-ного обнаружения им монотонных ошибок, но и свойство 100 %-ного обнаружения асимметричных ошибок. Учет последней особенности позволяет сократить структурную избыточность комбинационного устройства при преобразовании его схемы в контролепригодную по сравнению с известными алгоритмами модификации структур комбинационных устройств в схемы с монотонно независимыми выходами.
Ключевые слова:система функционального контроля, комбинационное устройство, код Бергера, обнаружение неисправности, монотонно независимые выходы, монотонная ошибка, асимметричная ошибка, полностью тестируемая неисправность.
Статья представлена к публикации членом редколлегии:В. С. Викторова