Методи синтезу легкотестованих цифрових пристроїв і систем

The analysis of previously published works in the field of experiments with automates shows that the methods of constructing of diagnostic experiments with automates, having a distinctive sequence are studied in majority of cases. The known experiments with initial automates are based on the assumption of correctness of automate setting to the initial state. Therefore, methods of construction of complete checking sequences using the distinctive, characteristic and synchronizing sequences, which also verify the correctness of the initial setting are proposed in this article for the class of initial automates. The purpose of creating of method of transformation of automate diagram of discrete devices by introduction of additional input symbol and automate state coding, which provides for this symbol transition function of automate diagram of shift register is set in the article. As well creating of method of finding of Hamiltonian cycles in transition graph shift register with given number of states, which create counter binary sequences that formed by shift register with nonlinear feedback is the purpose of the research.