Кольцевое дублирование последовательностных схем

Моделью синхронного дискретного объекта тестирования служит конечный автомат, заданный пятёркой:

(S, , , d, l) (7.3)

где S – множество внутренних состояний; n,m – число входов и выходов; , – множества входных и выходных сигналов; d - функция переходов, задающая отображения подмножества множества S на S; l - функция выходов, задающая отображения подмножества множества S на . Принятая модель объекта является достаточно общей, поэтому предлагаемый способ построения ЛПОС ориентирован на достаточно широкий класс дискретных устройств.

В состав ЛПОС входят ДУ, КУ, Рг n, М2 (рис 7.3). Особенность КУ состоит в том, что в нём содержится - копия исправного ДУ. Кроме того, КУ содержит регистр Рг e с числом разрядов e и необходимые соединения выходов регистров Рг n, Рг e со входами М2. Период системы характеризуется функцией:

, (7.4)

где - множество выходных сигналов регистра Рг r, и равен показателю Т неприводимого многочлена .

Рис.7.3

Построение ЛПОС КД сводится к построению односумматорного генератора, воспроизводящего строго периодические последовательности. Действительно, пусть Ф и F – функции ДУ и со свёртками М2 на выходах (рис.7.3). Тогда для исправных ДУ и имеет место сравнение:

(7.5)

по mod2, а функция обратной связи (7.4) системы реализуется соединениями выходов Рг r со входами М2. Выход i -го разряда Рг r соединяется со входом М2, если . Установка ЛПОС в начальное состояние производится установкой ДУ и в одинаковые состояния и установкой Рг r в состояние . Так как работа исправной ЛПОС описывается соотношением (7.5), то решение об исправности ДУ принимаются в случае выполнения равенства:

Для многовыходных ДУ предпочтение отдаётся параллельной системе кольцевого дублирования на многосумматорном анализаторе. Это объясняется стремлением снизить потери диагностической информации, возникающие при свёртке выходов по mod2. При исправности ДУ в процессе тестирования выходы ДУ, не оказывают влияния на работу системы.