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

Abstract

RU: В работе разработан метод преобразования таблицы переходов-выходов (ТПВ) дискретных устройств (ДУ) путем введения дополнительного входного символа и кодирования состояний автомата, обеспечивающего для этого символа функцию переходов автоматной диаграммы сдвигового регистра (СР) и метод нахождения гамильтоновых циклов в графе переходов сдвигового регистра с заданным числом состояний, который порождает счетчиковые двоичные последовательности, формируемые сдвиговым регистром с нелинейными обратными связями. Предложена процедура синтеза легкотестируемых схем с использованием управляемых мультиплексоров. Обосновано применение предложенного метода модификации автоматных диаграмм для реализации легкотестируемых модулей встроенных средств диагностирования. 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.