Abstract:
A method is described for design of hazard free setpoint sequences. Principles are described from design of a mathematical model of the logical circuit. The concept of a generalized cubic cover is introduced. An analytical method is proposed for computing sets of a sequence for cubic covers of macroelements. To illustrate the method a setpoint sequence is designed for a two bit counter.