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

Союз, Советски кСоциалистическикРеспублик и 1840910 ОП ИСАНИЕИЗОБРЕТЕН ИЯК АВТОРСКОМУ СВИДЕТЕЛЬСТВУ(23) П риоритет СССР. по дедам изобретений и открытий(54) УСТРОЙСТВО ДЛЯ КОНТРОЛЯ РАБОТЫ СИНХРОННОГО АВТОМАТАиспользовано для оперативного контро.ля синхронных автоматов.Известно устройство контроля, пред-.назначенное для обнаружения ошибок,5вызванных неисправностью, типа константный "0" и "1" 11,Однако устройство не может бытьиспользовано для контроля правильнос 1 Оти перехода автомата.Известен способ контроля автоматов,.называемый контролем с частичнымдублированием, заключающийся в том,что контролирующий блок строится иаоснове пересчетной схемы, с числомсостояний Меньше, чем у контролируемого объекта Г 23Недостаток этого способа заключается в том, что контроль осуществляется 2 Отолько в том случае, когда объект контроля проходит через все.состояния,которые предусмотрены в пересчетнойсхеме. Наиболее близким к предлагаемомуявляется устройство для контроля,предназначенное для контроля наличияпереходов автомата и содержащее дифференцирующую схему, триггер, элемент задержки и элемент И Г 31,Недостатком известного устройстваявляется то, что оно контролируеттолько факт перехода, но не контролирует его правильность.Цель изобретения - увеличение глубины контроля правильности переходовсинхронного автомата.Для достижения указанной цели в известное устройство, содержащее элемент задержки и элемент И, первый входкоторого через Элемент задержки соединен с тактовым входом устройства, введены блок элементов задержки, блокформирования внутренних состояний,схема сравнения и блок анализа, причем информационный вход устройствасоединен с первым входом блока элементов задержки, второй вход которогоавтомате. Таблица 1 0 0 1 0 1 0 0 еже представлена ма ус 0 0 1 0 1 0 1 0 0 О 1 блица 2 50 Х Х 1 Х Х 1 Выходы автомата ыходы блока фор остояний соедисосто мирования внутренни иены с первым и вто сравнения. Тактовый 1 со вторым входом бл м входами схемы енчере вход Т соека анализа 3 84091 соединен с выходом фиксации внутреннего состояния объекта контроля и с первым входом схемы сравнения, выход блока элементов задержки соединен со входом блока формирования внутренних сьстояний, выход которого подключен ко второму входу схемы сравнения, вы,ход которой подключен ко второму входу элемента И, выход которого соединен с первым входом блока анализа, второй вход которого подключен к тактовому входу устройства, третий вход блока анализа является входом обнуления, а выход блока анализа контроль - ным выходом устройства. 15Кроме того, блок анализа содержит 1 первый и второй триггеры и элемент ИЛИ, первый и второй входы которого соединены, соответственно, со входом обнуления и с первым входом блока анализа,.выход элемента ИЛИ подключен ко входам установки в ноль обоих триггеров, счетный вход первого из которых соединен со вторым входом блока анализа, прямой выход первого триггера д . подключен к счетному входу второго триггера, выход которого соединен с выходом блока анализа. роиства.Устройство содержит контролируемыйсинхронный автомат 1 (объект контроля), блок 2 элементов задержки, блок 3формирования внутренних состояний,схему 4 сравнения," элемент 5 задержки, элемент И б, блок 7 анализа, контрольный выход 8 устройства, Х, У и 3входной, выходной, и внутренний алфавиты синхронного автомата, Т - тактовый вход, Р- вход обнуления блокаанализа. Блок анализа содержит элемент ИЛИ 9, триггеры 10 и 11.Входы контролируемого автомата ивыходы его элементов памяти через соответствующие элементы блока 2 задержки связаны со входами блока 3 формирования внутренних состояний. Вместозадержки входных сигналов блока формирования внутренних состояний, можнозадерживать его выходные сигналы. Предпочтительность того или иного варианта выясняется после конкретизации автомата, исходя из минимума аппаратурыдля блока задержки.Блок формирования внутреннихяний осуществляет отображение вида"+"= (", Х") .В качестве примера синтеза блокаформирования внутренних состояний рас 0 фсмотрим синтез этого блока для синхронного автомата последовательного сравнения двух многоразрядных двоичных чисел, поступающих старшими разрядами вперед, Результат сравнения "больше", "меньше" или "равно" соответствует состояниям 10, 01 или 00.ГраФа переходов автомата представлена в табл. 1. Минимизация картами Вейтча показана на табл. 2.При минимизации используем запрещенныекомбинации, Из карт получаем уравнения для синтеза блока формирования внутренних состояний при данном5 8409 элемент 5 задержки связан с первым входом элемента И, второй вход которого соединен с выходом схемы сравнения, а выход - с первым входом блока анализа.5Перед началом работы триггеры блока анализа устанавливаются в нулевое состояние, При переходах автомата под действием сигналов на входе Т, на схеме сравнения (на равенство) возника1 и ет новое значение сигналов 5 автомата, которое в течение времени задерж-. ки блока 2 совпадает с прогнозом 51+.1 на выходе блока формирования внутренних состояний, В результате задержан ный тактовый сигнал на входе Т обнуляет блок анализа. При неверном переходе блок анализа досчитывает до 2-х и тем самым фиксируется сигнал ошибки. 20Предлагаемое устройство по сравнению с известным имеет существенно большую глубину контроля переходов автомата, так как проверяет не только факт наличия перехода, но и его зна чение.Область использования предлагаемого устройства существенно шире, так как оно позволяет вести контроль не только автономных автоматов, но и 30 автоматов общего вида. Формула изобретения351. Устройство для контроля работы синхронного автомата, содержащее элемент задержки и элемент И, первый вход которого через элемент задержки соединен с тактовым входом устройст ва, о т л и ч а ю щ е с я тем, что, с целью увеличения глубины контроля правильности переходов синхронного автомата, в него введены блок элементов задержки, блок формирования внутрен 10 6них состояний, схема сравнения и блок анализа, причем информационный вход устройства соединен с первым входом . блока элементов задержки, второй вход которого соединен с выходами фиксации внутреннего состояния объекта контроля и с первым входом схемы сравнения, выход блока элементов задержки соединен со входом блока формирования внутренних состояний, выход которого подключен ко второму входу схемы сравнения, выход которой подключен ко второму входу элемента И, выход которого соединен с первым входом блока анализа, второй вход которого подключен к тактовому входу устройства, третий вход блока анализаеявляется входом обнуления, а выход ,блока анализа является контрольным выходом устройства. 2. Устройство по п. 1, о т л и ч аю щ е е с я тем, что, блок анализасодержит первый и второй триггеры иэлемент ИЛИ, первый и второй входыкоторого соединены, соответственно,со входом обнуления и с первым входомблока анализа, выход элемента ИЛИподключен ко входам установки в нольтриггеров, счетный вход первого изкоторых соединен со вторым входомблока анализа, прямой выход первоготриггера подключен к счетному входувторого триггера, выход которого соединен с выходом блока анализа.Источники информации,принятые во внимание при экспертизе1. Авторское свидетельство СССРУ 416883, кл, Н 03 К 21/34, 1974.2. Селлерс Ф. Методы обнаруженияошибок в работе ЭЦВМ. М., "Мир",1972, с. 259.3. Авторское свидетельство СССР11 457179, кл. Н 03 К 21/34. о 7.5прототип) .840910 Составитель В, МайоровТехред З.фанта Корректор А. Гриценко В. Еремеев Редак 45омитета СССРоткрытийая наб д,дписн Зака з 4768 73 Тираж 7 По ВНИИПИ Государственного к по делам изобретений и 13035 Москва, Ж, Раушск 4/5 филиал ППП "Патент", г. Ужгород, ул. Проектная,