In this paper, we present a universal totally self-checking (TSC) modu
le and show that it can be used as a TSC AND, OR, NAND or NOR gate by
performing appropriate routing at its input and/or output. We use the
two-rail code to encode the signals and consider the multiple unidirec
tional stuck-at-fault model. We study the utility of such TSC modules
in obtaining the TSC realization of a given circuit fi-om its gate lev
el description. We show that it is possible to obtain the SFS realizat
ion of a given circuit by replacing each gate in it with its respectiv
e TSC version. We discuss the properties that a circuit must have in o
rder to obtain its TSC realization in this manner using the TSC gate.
Copyright (C) 1996 Elsevier Science Ltd.