Investigating a dead beat automaton functional model which recognizes structural hazards

A functional model is suggested which recognizes the hazards that are dictated by the dead beat automaton structure. The model is built on the knowledge of a specified set of maximal stable states and a DHF system which represents the functions of transitions and outputs. The DNF system is obtained by a superposition on the structure of the circuit which implements the automaton. The potential of using the model in charking and diagnosis of dead beat automata is discussed.