Determining Covers in Combinational Circuits
In this paper the authors propose a procedure for determining 0 - or 1 - cover of an arbitrary line in a combinational circuit. When determining a cover they do not need Boolean expression for the line; only the circuit structure is used. Within the proposed procedure they use the tools of the cube theory, in particular, some operations defined on cubes. The procedure can be applied for determining 0 - and 1 - covers of output lines in programmable logic devices. Basically, this procedure is a method for the analysis of a combinational circuit.