A New Method for Concurrent Checking by Use of a 1-out-of-4 Code

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 code as long as no error occurs. The new method of concurrent checking is developed for the concrete case of 1-out-of-4 codes.