SU1439590A1

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

Info

Publication number: SU1439590A1
Application number: SU864130007A
Authority: SU
Inventors: Владимир Эмильевич Петров
Original assignee: Предприятие П/Я М-5537
Priority date: 1986-10-02
Filing date: 1986-10-02
Publication date: 1988-11-23

Abstract

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

Description

6

Ф

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 и не нарушающие условие указанной формулы.

Claims

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

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

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