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

СОЮЗ СОВЕТСКСОЦИАЛИСТИЧЕРЕСПУБЛИК иС 06 Г 117с а 3ДЛЯ КОНТРОЛЯ АВТООГО АВТОМАТАотносится к автом льной технике и мо овано при реализаци(54) УСТРОйстВО НОМНОГО СИНХРОН (57) Изобретени тике и вычислит жет быть исполь ГОСУДА СТВЕННЫЙ КОМИТЕТ СССРПО ДЕЛАМ ИЗОБРЕТЕНИЙ И ОТКРЫТИЙ средств аппаратного контроля цифровых устройств и систем. Цель изобретения - повышение достоверности контроля, Устройство содержит счетчикдва дешыфратора 2,3, элемент ИЛИ 4,выход 5 ошибки, вход б синхронизации,вход 7 установочный. Устройство обпаружпвает любые ошибочные переходыконтролируемого автомата, приводящиек появлению запрещенных состояний,и позволяет обнаружить ошибочные переходы контролируемого автомата, приводящие к появлению разрешенных состояний. Достижение положительного эффекта обусловлено введением элементаИЛИ, счетчика и второго дешифратора. аИзобретение относится к автоматике и вычислительной технике и можетбыть использовано при реализациисредств контроля цифровых устройстви систем.Целью изобретения является повышение достоверности контроля,На чертеже показано предлагаемоеустройство. 1 ОУстройство содержит счетчик 1, двадешифратора 2 и 3, элемент ИЛИ 4, выход 5 ошибки, вход 6 синхронизации,установочный вход 7. Кроме того, начертеже изобоажен контролируемый автономный синхронный автомат 8.Устройство работает следующим образом.Перед началом работы автомат 8 исчетчик 1 устанавливаются в исходное 2 Осостояни сигналом по оду 7. Припоступлении тактовых сигналов на вход6 автомаг 8 производит смену своихсостояний в соответствии с заданнымалгоритмом работы, Дешифратор 2 Фик.сирует часть разрешенных состояний(представителен) Б, которые обладаютследующим свойством:дух,1 (Бр)е;пВЗО1 (Б ) с+1,где 1 (Б) - максимальный путь отразрешенного состоя-ния до ближайшегопредставителя Б;ЕБ. 35Ъ И1 (Б ) - минимальный путь от5запрещенного состояния,до ближайшего представителя Б;ЕЫ;Б ,Бз - множество разрешенных 4 Ои запрещенных состояний контролируемогоавтомата;г. - число синхрртактов.45Такой выбор множества Б возможенввиду того, что граф переходов. автономного синхронного автомата являет"ся Функциональным. Поэтому запрещенные состояния или переходят в разрешенные, или замыкаются в циклы. Если некоторые запрещенные состояния замыкаются в запрещенные циклы,йй то для них выполняется 1 :оо и сле- довательно заведомо выполняется усповие указанной Формулы.нинт нАОУН 98Произв.-полигр. пР-тие,Таким образом при правильной ра-.боте счетчик 1 не может досчитыватьдо числа +1. Если в результате сбояв автомате 8 возникает запрещенное состояние, то счетчик досчитывает до числа с+1, Это событие Фиксируется дешифратором 3 и на выходе 5 Формируется сигнал ошибки. Дешифратор 2 представляет собой набор элементов И, объединенных элементом ИЛИ, Количество элементов И равно (Б . Число вхоГдов каждого элемента И равно числу элементов памяти контролируемого автомата, Каждый элемент И Фиксируст одно из состояний Б;ЕБ . Дешифратор 3 представляет собой элемент И. Элементы И дешифраторов 2 и 3 соединяются с прямыми ипи инверсными выходами соответственно элементов памяти конт" ролируемого автомата ы счетчика устройства в соответствии с дешифрируемыми кодами.Функция дешифратора 2 может быть упрощена с помощью известных методов минимизацией булевых функций, при которых могут быть учтены безразличные наборы в области разрешенных состояний, т,е. наборы, не вошедшие в Бг и не нарушающие условие указанной Формулы. Формула изобретения Устройство для контроля автономного синхронного автома.та, .соцержащее первый дешифратор, причем группа входов дешифратора является группой информационных входов устройства для подключения к группе выходов контролируемого автономного синхронного автомата, отличающееся тем, что, с целью повышения достоверности контроля, в него введены элемент ИЛИ, счетчик и второй дешифратор, причем выход первого дешиФратора соединен с первым входом элемента ИЛИ, второй вход которого является установочным входом устройства, вход синхронизации которого соединен с тактовым входом счетчика, устано- . вочный вход которого соединен с выходом элемента ИЛИ, группа разрядных выходов счетчика соединена с группой входов второго дешифратора, выход которого является выходом ошибки устройства.Тираж 704 Подписное г. Ужгород, ул. Проектная, 4