Abstract:
Dead beat sequential devices are specified as a logical network; constraints on the switching rate of elements are known. The devices function either as potential or as potential pulse circuits. Analysis problems are solved in a model which, unlike the classical model of a finite automaton, insures complete description of the law whereby devices of this kind function. Use of the model for design of test sequences and in simulation is shown.