A new method for concurrent checking by use of a 1-out-of-4 code

Abstract

In this paper a new method for concurrent checking is proposed. For an arbitrarily given combinational circuit f an additional complementary circuit g is determined such that for every input the componentwise modulo 2 sum of the corresponding outputs of f and g is an element of a considered cone as long as no error occurs. The new method of concurrent checking is developed for the concrete case of 1-out-of-4 codes.