A method for the design of combinational circuits suitable for control

We present a method for the design of a combinational circuit suitable for control that realizes a system of two Boolean functions of $n+3$ variables. A subfunction of one of these functions is a given arbitrary Boolean function of $n$ variables. We admit the possibility that inaccuracies of a very wide class may appear in the circuit. There are no constraints on the choice of an element basis except the requirement that the basis be complete. We give estimates for the complexity of the circuit and the length of a test verifying this circuit. Under certain constraints on the number of blocks that can be simultaneously inaccurate, the method presented leads to the construction of asymptotically minimal circuits for almost all Boolean functions.