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

Abstract

UA: В роботі розроблений метод перетворення таблиці переходів-виходів дискретних пристроїв шляхом введення додаткового вхідного символу і кодування станів автомата, що забезпечує для цього символу функцію переходів автоматної діаграми зсувного регістру, і метод знаходження гамільтонових циклів у графі переходів зсувного регістру з заданим числом станів, який породжує лічильникові виконавчі послідовності, що формуються зсувним регістром з нелінійними зворотними зв'язками. Запропонована процедура синтезу легкотестованих схем з використанням керованих мультиплексорів. Обгрунтовано застосування запропонованого методу модифікації автоматних діаграм для реалізації легкотестованих модулів убудованих засобів діагностування.

EN: 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.