Устройство для контроля автономного синхронного автомата

 

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

СОЮЗ СОВЕТСКИХ

СОЦИАЛИСТИЧЕСНИХ

РЕСПУБЛИК (19) (11) А1 (» q С 06 Г 11/00

ГОСУДАРСТВЕННЫЙ НОМИТЕТ СССР

ПО ДЕЛАМ ИЗОБРЕТЕНИЙ И ОТНРЫТИЙ (21) 4130007/24-24 (22) 02; 10. 8 6 (46) 23.11.88, Вюл. Р 43 (72) В.Э.Петров (53) 681 3(088.8) (56) Авторское свидетельство СССР

N - 839061, кл. G 06 F 11/00, 1979.

Буравлев 10.П . и др. Надежность и контроль ЭВМ. II.: Советское радио, 1978, с. 109, рис. 3.8. (54) УСТРОЙСТВО ДЛЯ КОНТРОЛЯ АВТО-

НОМНОГО СИНХРОННОГО АВТОМАТА (57) Изобретение относится к автоматике и вычислительной технике и может быть использовано при реализации

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

ИЛИ, счетчика и второго дешифратора. е ил.

1439590

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

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

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

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

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

Перед началом работы автомат 8 и счетчик 1 устанавливаются в исходное 20 состояние сигналом по входу 7. При поступлении тактовых сигналов на вход

6 автомат 8 производит смену своих состояний в соответствии с заданным алгоритмом работы, Дешифратор 2 фик- 25 .сирует часть разрешенных состояний (представителен) St которые обладают. следующим свойством: с х, 1 (Бр)» t; чп1 30 мах где 1 (Sil) — максимальный путь от разрешенного состоя-ния до ближайшего представителя Б; Я Б <,, 35

Q> l1

i (S ) — минимальный путь от

3 запрещенного состояния, до ближайшего представителя Б; :Ы

S,S — множество разрешенных 4О и запрещенных состояний контролируемого автомата;

t - число синхрртактов.

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

Если некоторые запрещенные состояния замыкаются в запрещенные циклы, fll i li то для них выполняется 1 =со и сле. довательно заведомо выполняется условие указанной формулы.

З *- ЫЮМ

Произ В полигр,. Пр тие

Таким образом при правильной ра-. боте счетчик 1 не может досчитывать до числа t+1. Если в результате сбоя в автомате 8 возникает запрещенное состояние, то счетчик досчитывает до числа t+1, Это событие фиксируется дешифратором 3 и на выходе S формируется сигнал ошибки. Дешифратор 2 представляет собой набор элементов И, объединенных элементом ИЛИ. Количество элементов И равно jS /. Число вхо(Р дов каждого элемента И равно числу элементов памяти контролируемого автомата. Каждый элемент И фиксируст одно из состояний Б, еS . Дешифратор 3 представляет собой элемент И. Элементы И дешифраторов 2 и 3 соединяются с прямыми кпи инверсными выходами соответственно элементов памяти конт" ролируемого автомата ы счетчика устройства в соответствии с дешифрируемыми кодами.

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

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

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

Тираж 704 Подписное г. Ужгород, ул. Проектная, 4