Устройство для контроля автономного синхронного автомата Советский патент 1988 года по МПК G06F11/30 

6

Ф

Изобретение относится к автоматике и вычислительной технике и может быть использовано при реализации средств аппаратного контроля цифро вьк устройств и систем. Цель изобретения повышение достоверности контроля. Устройство содержит счетчик 1, два дешифратора 2,3, элемент ИЖ 4, выход 5 ошибки, вход 6 синхронизации, вход 7 установочный. Устройство обка- ру;кпвает любые ошибочные переходы контролируемого автомата, приводящие к появлению запрещенных состояний, и позволяет обнаружить ошибочные переходы контролируемого автомата, приводящие к появлению разрешенных состояний. Достижение положительного эффекта обусловлено введением элемента ИЛИ, счетчика и второго дешифратора. § 1 ил.

f

2

со со ел

0

Си

Изобретение откосится к автоматике и вычислительной технике и может быть.использовано при реализации средств контроля цифровых устройств и систем.

Целью изобретения является повы- Jцeниe достоверности контроля.

На чертеже показано предлагаемое устройство.

Устройство содержит счетчик 1, дв дешифратора 2 и 3, элемент ИЛИ 4, выход 5 ошибки, вход 6 синхронизации,. установочный в-ход 7, Кроме того, на чертеже изображен контролируемый ав- тономный синхронный автомат 8,

Устройство работает следующим образом.

Перед на:чалом работы автомат 8 и счетчик 1 устанавливаются в исходное состояние сигналом по входу 7. При поступлении тактовых сигналов на вхо 6 автолмат 8 производит смену своих состояний в соответствии с заданньм алгоритмом работы. Дешифратор 2 фик .сирует часть разрешенных состояний (представителей) Sp, которые обла;м1ю следующим .СБойствомг

r (Sp)t;

,

где

- ,, ч

1 (S J

ч ч ч

t максимальньм путь от

разрешенного состояния до ближайшего представителя минимальньй путь от запрещенного состояни до ближайшего представителямножество разрешенных и запрещенных состояний контролируемого автомата; число синхр9тактов.

Такой выбор множества Sp возможен ввиду того, что граф переходов, автономного синхронного автомата является функциональным. Поэтому запрещенные состояния или переходят в разрешенные, или замыкаются в циклы.

Если некоторые запрещенные состояния замьжаются в запрещенные циклы,

,min то для них выполняется 1 оо и с

довательно заведомо выполняется усло вие указанной формулы. .

ВНИИПИ Заказ 6078/48

10

аJ5

20д 25 т-

439590

Таким образом при правильной ра-. боте счетчик 1 не может досчитывать до числа t+1. Если в результате сбоя в автомате 8 возникает запрещенное состояние, то счетчик досчитывает до. числа t-i-1 . Это событие фиксируется дешифратором 3 и на выходе 5 формируется сигнал ошибки. Дешифратор 2 представляет собой набор злсементов И, объединенных элементом HJHi. Количест- И равно /SP/ Число вхо30

я

35

40

н 45

50

55

во элементов и равно дов каждого элемента И равно числу элементов памяти контролируемого автомата. Каждый элемент И фиксирует одно из состояний SjtSp. Дешифратор 3 представляет собой элемент И. Элементы И дешифраторов 2 и 3 соединяются с прямыми или инверсными выходами соответственно элементов памяти конт ролируемого автомата и счетчика устройства в соответствии с дешифрируемыми кодами.

Функция дешифратора 2 может быть упрощена с помощью известных методов минимизацией булевых функций, при которых могут быть учтены бе.зразлкчные наборы в области разрешенньис состояний, т,е, наборы,, не вошедшие в Sp и не нарушающие условие указанной формулы.

Формула изобретения

Устройство для контроля автономного синхронного автомата, содержащее первый дешифратор, причем группа входов дешифратора является группой информационных входов устройства для подключения к группе выходов контролируемого автономного синхронного автомата, отличающееся тем, что, с целью повьш1ения достоверности контроля, в него введены элемент ИЛИ, счетчик и второй дешифратор, причем выход первого дешифратора соединен с первьпч входом элемента ИЛИ, второй вход которого является установочным входом устройства, вход синхронизации которого соединен с тактовьпу входом счетчика, установочный вход которого соединен с выходом элемента ИЛИ, группа разрядных выходов счетчика соединена с группой входов второго дешифратора, выход которого является выходом ошибки устройства.

.Тираж 704 Подписное