Синтез быстродействующих тестеров для кодов с суммированием

Предложены методы построения быстродействующих самопроверяющихся $(n,k)$-тестеров, представляющих собой контрольные схемы, фиксирующие факт принадлежности двоичного вектора коду с суммированием. Показано, что $(n,k)$-тестеры с максимальным быстродействием имеют схемы с четырьмя уровнями элементов. Методы ориентированы на применение программируемых логических матриц. Установлено, что минимальное количество матриц, с помощью которых могут быть реализованы $(n,k)$-тестеры, равно 2.