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

Союз СоветскнкСоциалистическимреспубики К РСКОМУ СВИДИ ТИЛЬ 6 ) Дополнительное к авт. санд-ву22)Заявлено 17.06,80 (21) 294433 Ч 18-21 1)М. К еннев заяви К 21/3 Г 7/38 еудерстюмый кенитет СССР(23) Приоритет елаи изобретем 02,82 Бюллетень МЬ 7 блнковаио, 374,38 (088.8) и отк ы ння описания 25.02,8 Дата опублнк 2) Авторы изобретения етров, ВИ. Соколов, Н.Н. Ефимов, А.В. Батов, Е,ф. Тощева и А,А. Асташов) Заявнтел 4) УСТРОЙСТВО ДЛЯ КОНТРОЛЯ РАБОТ СИНХРОННОГО АВТОИАТАоля счетаторов,п к Ф ИэоЬретение относится к автоматике и вычислительной технике и может быть использовано для контроля работы цифровых устроиств,Известно устройство контр цика, содержащее блок дешифр счетчик и блок анализа 1 ).Недостатком данного устройства является недостаточная глубина контроля. Известно устройство контроля счет чика, содержащее счетчик, две групы входов, дешифратор разрешенных омбинаций, блок анализа и блок диф" еренцирующих цепей, первая группа входов соединена с входами блока дифференцирующих цепей и выходами счетчика, выходы блока дифференцирующих цепей соединены с входами дешифратора разрешенных комбинаций, выход которого соединен с первым вхо дом блока анализа, второй вход которого соединен с тактовой шиной. В процессе работы дешифратор раэ" решенных комбинаций сигналов периоди чески переключает триггер в схеме анализа. Тактовый сигнал переключает другой триггер. Если состояние триггеров не равны, то это свидетельствует о наличии сбоя сцетцика 12.Недостатком известного решения является невысокая глубина контроля.Цель изобретения - увеличение глубины контроля.Поставленная цель достигается тем что в устройство для контроля работы синхронного автомата, содержащее две группы входов, дешифратор разрешенных комбинаций сигналов и блок анализа, первый и второй входы которого соединены соответственно с выходом дешифратора разрешенных комбинаций сигналов и тактовой шиной, введены блок элементов задержки, блок Формирователей сигналов производного алфавита и блок Формирования сигналов настройки, первая группа входов сое907809 3динена с первыми группам входонблоков формирователей сигналов производного алфавита и формированиясигналов настройки и с входами блокаэлементов задержки, выходы которогосоединены с второй группой нходонблока Формирователей сигналов производного алфавита, третья группа входов которого соединена с первой груп"пой входов дешифратора разрешенных 1 Окомбинаций сигналов и с выходамиблока формирования сигналов настройки, вторая группа входов которогосоединена с второй группой входсн,вторая группа входов дешифратора разрешенных комбинаций сигналов соединена с выходами блока формироватепейсигналов производного алФавита.На фиг. 1 приведена блок-схемаустройства для контроля вместе собъектом контроля - синхронным автоматом; на фиг,2 - схема контроля работы реверсивного счетчикаУстройство содержит блокэлементов задержки, блок 2 формирователей25сигналов производного алфавита, дешифратор 3 разрешенных комбинацийсигналов, блок 4 анализа, блок 5 Формирования сигналов настройки, выходную шину 6, синхронный автомат 7,ЗОтактовую шину с, первую группу шин 9и вторую группу ши:- 10,Группа шин 9 соединена с первойгруппой шин блока 5 формирования сигналов настройки и входами управлениясинхронного автомата 7, выходы компонент внутренних состояний которогосоединены с группой шин 10, котораясоединена с второй группой входонблока 5 Формирования сигналов настройки, с первой группой входов блока2 Формирователей сигналов производного алфавита и входами блока 1 элементов задержки, выходы которого соединены с второй группой входов блока 2формирователей сигналов производногоалфавита, третья группа входов которого соединена с выходами блока 5Формирователей сигналов насгройки ис первой группой входов дешифратора 3 разрешенных комбинаций сигналон,вторая группа входов и выход которого соединены соответственно с выходами блока 2 Формирователей сигналовпроизводного алфавита и с первым входом блока ч анализа, второй вход которого соединен с тактовой шиной 8тактовым входом синхронного автсма 4та 7, выход блока 1 анализа соединенс выходной шиной 6.Блок 1 анализа может содержать,например, элементы И и элемент задержки. Блок 2 Формирователей сигналовпроизводного алфавита содержит поразрядные комбинационные логические схемы, задачей которых является вычисление некоторой логической Функции оттекущей и задержанной компоненты векторов внутренних состояний синхронного автомата 7.1В зависимости от входных сигналонна группах шин 9 и 10, каждая пораз. -рядная комбинационная логическая схема в блоке 2 вместе с соответствующимэлементом задержки в блоке 1 выполняет функцию, например, дифференцирующей цепочки, реагирующей на пере-ходы "0" - "1""О" "1 ьь .ь "0",ь ь - ЭДешифратор 3 разрешенных комбинацийсигналов, перестраиваемый блоком 5Формирования сигналов настройки, реагирует на появление разрешенных комбинаций импульсов на выходе блока 2,Блок ч анализа выделяет .сигналсшибки в случае, если отсутствуетсигнал разрешенной комбинации на выходе блока 3 и есть сигнал на шине 8.Блок 5 Формирования сигналон настройки Формирует управляющие сигналы дляблока 2 и дешифратора 3 таким образом, чтобы их настройка соответствовала максимально возможной глубинеконтроля,УстройСтво работает следующим образом,При переключении синхронного автомата 7 на выходах блока 2 Формирователей сигналов производного алфавита возникают комбинации импульсов,соответствующие правильной работеобъекта контроля. В случае сбоя, возникающая запрещенная комбинация сигналов обнаруживается дешифратором 3разрешенных комбинаций сигналов,Блок ч анализа периодически взводится тактовым сигналом с шины 8 и обнуляется сигналом .с выхода дешифратора 3 разрешенных комбинаций сигналов.Если обнуления не происходит, тоблок 1 анализа досчитывает до двухи выдает сигнал ошибки,На Фиг. 2 а в качестве примера приведена схема контроля работы реверсивного счетчика, Все блоки, соответствующие блокам обобщенной структуры, на Фиг. 1 обведены и обозначе35 5 90780 ны теми же номерами. В качестве Формирователей сигналов производного алфавита, входящих в состав блока 2, используется управляемая ячейка сло-. жения по модулю два. Вариант ее конк-ретной реализации приведен на фиг.2 б,Блок 5 формирователей сигналов настройки содержит соответственно дешифраторы 11 "нулей" и 12 "единиц", элементы НЕ 13 и 14, элементы И 15-171 о и элементы ИЛИ 18-19.Группа шин 10 соединена с входами дешифраторов 11 и 12, выход первого из которых соединен с первыми входами элементов И 15 и ИЛИ 19, второй 15 вход которого соединен с выходом элемента И 17, первый и второй входы которого соединены соответственно с шиной 9 и с выходом элемента НЕ 14, вход которого соединен с выходом де шифратора 12 единиц и первым входом элемента И 16, второй вход которого соединен с шиной 9 и с входом элемента НЕ 13, выход которого соединен с вторым входом элемента И 15, выход 25 которого соединен с первым. входом элемента ИЛИ 18, второй вход которого соединен с выходом элемента И 16.Схема устройства содержит также элементы НЕ 20-22, элементы И 23 зо и 24, элемент ИЛИ 25 и первый 26, второй 27, третий 28 входы формирователя сигналов производного алфавита блока 2 (Фиг 2 б). Если на входе 28 присутствует "1", то формирователи настроены на переключение разрядов счетчика из "0" в "1", в противном случае - из "1" в "0". Дешифратор 3 разрешенных40 комбинаций сигналов вырабатывает еди ничный выходной сигнал в двух случаях: если изменяются состояния всех разрядов счетчика и если изменяется состояние только одного разряда. Настройка дешифратора 3 на каждый из этих случаев производится блоком 5 формирования сигналов настройки, Блок 4 анализа представляет собой двухразрядный счетчик, который перио 50 дически взводится и обнуляется синхросигналом с шины 8 и сигналом с дешифратора 3 разрешенных комбинаций сигналов, Блок 5 формирования сиг" налов настройки представляет собой55 комбинационный автомат с двумя управляющими выходамивыходы элементов ИЛИ 18 и 19), который формйрует сигналы настройки в зависимости от входного сигнала и внутреннего состояния счетчика. Минимальный и максимальный коды счетчика Фиксируютсядешифраторами 11 нулей и 12 единиц,За счет гибкой перестройки блоковустройства контроля можно на каждомшагу работы автомата добиваться максимальной глубины контроля. В ре"зультате весь контроль работы автомата обладает наибольшей глубиной,йоэтому обнаруживающая способностьпредлагаемого устройства существенновыше обнаруживающей способности известного решения. Достоинством предлагаемого решения является также то,что оно пригодно не только для автономных автоматов, но и для автоматовобщего вида.Формула изобретенияУстройство для контроля работысинхронного автомата, содержащее двегруппы входов, дешифратор разрешенныхкомбинаций сигналов и блок анализа,первый и второй входы которого соединены соответственно с выходом дешифратора разрешенных комбинаций сигналов и тактовой шиной, о т л ич а ю щ е е с я тем, что, с цельюувеличения глубины контроля, в неговведены блок элементов задержки,блок формирователей сигналов производного алфавита и блок формированиясигналов настройки, первая группавходов соединена с первыми группамивходов блоков формирователей сигналов производного алфавита и Формиро-вания сигналов настройки и с входамиблока элементов задержки, выходы которого соединены с второй группойвходов блока формирователей сигналовпроизводного алфавита, третья группавходов которого соединена с первойгруппой входов дешифратора разрешенных комбинаций сигналов и с выходами блока Формирования сигналов настройки, вторая группа входов которого соединена с второй группой входов, вторая группа входов дешифрато"ра разрешенных комбинаций сигналовсоединена с выходами блока формирователей сигналов производного алфавита.Источники информации,принятые во внимание при экспертизе1Авторское свидетельство СССРИ 416883, кл. Н 03 К 21/34, 1974,2. Авторское свидетельство СССР1 355746, кл. Н 03 К 21/34, 1972