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

 

Союз, Советски к

Социалистическик

Республик (ii>840910

ОП ИСАНИЕ

ИЗОБРЕТЕН ИЯ

К АВТОРСКОМУ СВИДЕТЕЛЬСТВУ (6I ) Дополнительное к авт. свид-ву (22) Заявлено 25.09. 79 (21) 2826262/18-24 (51)NL. Кл. с присоединением заявки .%

G 06 F 11/00

Государстееииый комитет (23) П риоритет

СССР. по делам изобретений и открытий

Опубликовано 23. 06. 81. Бюллетень,% 23

Дата опубликования описания 25.06. 81 (5З) УДК 681.326 (088. 8) В. Э. Петров, Е. ф. Тощева, М. M. Самохин, ф. 9.» Петров и С. В. Кочнев (72) Авторы

"-изобретения (71) Заявитель (54) УСТРОЙСТВО ДЛЯ КОНТРОЛЯ РАБОТЫ

СИНХРОННОГО АВТОМАТА

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

Известно устройство контроля, пред-. назначенное для обнаружения ошибок, 5 вызванньгх неисправностью, типа константный "О" и "1" (11.

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

Известен способ контроля автоматов,.называемый контролем с частичным дублированием, заключающийся в том, что контролирующий блок строится иа основе пересчетной схемы, с числом состояний Меньше, чем у контролируемого объекта 52J.

Недостаток этого способа заключается в том, что контроль осуществляется 20 только в том случае, когда объект контроля проходит через все.состояния, которые предусмотрены в пересчетной схеме.

Наиболее близким к предлагаемому является устройство для контроля, предназначенное для контроля наличия переходов автомата и содержащее дифференцирующую схему, триггер, эле мент задержки и элемент И 1.31.

Недостатком известного устройства является то, что оно контролирует только факт перехода, но не контролирует его правильность.

Цель изобретения — увеличение глубины контроля правильности переходов синхронного автомата.

Для достижения указанной цели в известное устройство, содержащее элемент задержки и элемент И, первый вход которого через Элемент задержки соединен с тактовым входом устройства, введены блок элементов задержки, блок формирования внутренних состояний, схема сравнения и блок анализа, причем информационный вход устройства соединен с первым входом блока элементов задержки, второй вход которого

3 84091 соединен с выходом фиксации внутреннего состояния объекта контроля и с первым входом схемы сравнения, выход блока элементов задержки соединен со входом блока формирования внутренних состояний, выход которого подключен ко второму входу схемы сравнения, вы,ход которой подключен ко второму входу элемента И, выход которого соединен с первым входом блока анализа, второй вход которого подключен к тактовому входу устройства, третий вход блока анализа является входом обнуления, а выход блока анализа контроль— ным выходом устройства. 15

Кроме того, блок анализа содержит первый и второй триггеры и элемент ИЛИ, первый и второй входы которого соединены, соответственно, со входом обнуления и с первым входом блока анализа,.выход элемента ИЛИ подключен ко входам установки в ноль обоих триггеров, счетный вход первого из которых соединен со вторым входом блока анализа, прямой выход первого триггера ZS . подключен к счетному входу второго триггера, выход которого соединен с выходом блока анализа.

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

Устройство содержит контролируемый синхронный автомат 1 (объект контроля), блок 2 элементов задержки, блок 3 формирования внутренних состояний, схему 4 сравнения," элемент 5 задержки, элемент И б, блок 7 анализа, контрольный выход 8 устройства, Х, У и S входной, выходной, и внутренний алфавиты синхронного автомата, Т вЂ” тактовый вход, R, — — вход обнуления блока 40 анализа. Блок анализа содержит элемент ИЛИ 9, триггеры 10 и 11.

Входы контролируемого автомата и выходы его элементов памяти через соответствующие элементы блока 2 задерж- 45 ки связаны со входами блока 3 формирования внутренних состояний. Вместо задержки входных сигналов блока формирования внутренних состояний, можно задерживать его выходные сигналы. Пред-50 почтительность того или иного варианта выясняется после конкретизации автомата, исходя из минимума аппаратуры для блока задержки. Блок формирования внутренних состо- ss яний осуществляет отображение вида S "+"= F(S", Х") .

В качестве примера синтеза блока формирования внутренних состояний рас0 ф смотрим синтез этого блока для синхронного автомата последовательного сравнения двух многоразрядных двоичных чисел, поступающих старшими разрядами вперед, Результат сравнения

"больше", "меньше" или "равно" соответствует состояниям 10, 01 или 00.

Графа переходов автомата представлена в табл. 1. Минимизация картами

Вейтча показана на табл. 2.

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

Таблица 1

0 0 0 0 0 0

0 0 1 0 1 0

0 0 0 1 0

1 0 1 0 1

1 0 0 1 0

0 1 0 0 0

0 1 1 0 1

0 1 0

1 0

1 1 0 0 0

1 1 1 0 1 О

1 1. 0 1 0 1

Таблица2

1 1

Х Х

° Х .Х

1 Х Х 1

1 Х Х 1

1 1 1

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

5 8409 элемент 5 задержки связан с первым входом элемента И, второй вход которого соединен с выходом схемы сравнения, а выход — с первым входом блока анализа.

Перед началом работы триггеры блока анализа устанавливаются в нулевое состояние. При переходах автомата под действием сигналов на входе Т, на схеме сравнения (на равенство) возника- 10

1+1 ет новое значение сигналов 5 автомата, которое в течение времени задерж-. ки блока 2 совпадает с прогнозом S

1+1 на выходе блока формирования внутренних состояний. В результате задержан- 15 ный тактовый сигнал на входе Т обнуляет блок анализа. При неверном переходе блок анализа досчитывает до 2-х и тем самым фиксируется сигнал ошибки. 20

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

Область использования предлагаемого устройства существенно шире, так как оно позволяет вести контроль не только автономных автоматов, но и 30 автоматов общего вида.

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

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

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

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

Источники информации, принятые во внимание при экспертизе

1. Авторское свидетельство СССР

У 416883, кл. Н 03 К 21/34, 1974.

2. Селлерс Ф. Методы обнаружения ошибок в работе ЭЦВМ. M., "Мир", 1972, с. 2 9.

3. Авторское свидетельство СССР

11 - 457179, кл. Н 03 К 21/34. î7.5 (прототип) .

840910

Составитель В. Майоров

Редактор В. Еремеева Техред 3.Фанта

Корректор А Гриценко

Подписное

Заказ 4768 73 -Тираж 745

ВНИИПИ Государственного комитета СССР по делам изобретений и открытий

113035 Москва, Ж-35, Раушская наб., д. 4/5

Филиал ППП "Патент", r. Ужгород, ул. Проектная, 4