Устройство для контроля логических блоков

Номер патента: 1336011

Автор: Сычев

ZIP архив

Текст

(19) 01) 1)4606 Г 11 2 ИСАНИЕ ИЗОБРЕТЕНИ ВИДЕТЕЛЬСТ К АВТОРСКОМ ССР84.РОЛЯ ЛОбласти авто- ники, может е логических енствованием . Цель изобрности конт- выхода контОЪ ОСУДАРСТВЕННЫИ НОМИТЕТ СССРПО ДЕЛАМ ИЗОБРЕТЕНИЙ И ОТНРЫТИ(54) УСТРОЙСТВО ДЛЯ КОНГИЧЕСКИХ БЛОКОВ(57) Изобретение относится к оматики и вычислительной техбыть использовано при контролблоков и является усовершизобретения по а, с,1185342ретения - повышение достовероля за счет контроля каждого ролируемого логического блока пд совокупности значений нескольких спектральных коэффициентов. В устройстве за счет дополнительно введенных счетчика участков входной тестовой последовательности и блока памяти эталонных спектральных коэффициентов обеспечивается возможность контроля симметрических ошибок. Контролируемый блок тестируется сигналами с выходов счетчика. Получают свертку тестов с коэффициентами в моменты, определяемые счетчиком участков входной тестовой последовательности, которые суммируются по модулю два с откликом логического блока. Эта сумма складывается (вычитается) со сверткой и эталонными коэффициентами. Нулевой код соответствует исправности. 1 ил.Изобретение относится к вычислительной технике, может быть использовано приконтроле работоспособности логических блоков методами цифровой фильтрации и является усовершенствованием устройства поавт. св. Мо 1185342.Цель изобретения - повышение достоверности контроля за счет контроля каждого выхода контролируемого логического блока по совокупности значений несколькихспектральных коэффициентов.Эти коэффициенты вытеснены на отдельных участках входной тестовой последовательности - множествах последовательнопоступающих наборов входных переменных,т.е. обнаруживаются симметрические ошибкина выходах контролируемого блока,Это устройство обеспечивает формирование последовательности из п-разрядныхпараллельных кодовых комбинаций, сменяющих друг друга в соответствии с чередованием неравномерных участков входной тестовой последовательности, что необходимопри проверке значений спектральных коэффициентов выходных функций блока на соответствующих участках.На чертеже представлена структурнаясхема устройства.Устройство для контроля логических блоков содержит генератор 1 тактовых импульсов, первый 2 и второй 3 триггеры, первый4 и второй 5 элементы И, элемент 6 задержки,счетчик 7 тактовых импульсов, счетчик 8 отсчета участков входной тестовой последовательности (счетчик с переменным модулем), группу регистров 9 сдвига, группублоков 10 свертки сигналов, группу сумматоров 11 по модулю два, блок 12 памяти эталонных спектральных коэффициентов, коммутатор 13, сумматор-вычитатель 14, блок 15индикации, вход 16 пуска. Выходы счетчика 7соединены с входами контролируемого логического блока 17.Устройство работает следующим образом. 40После подачи питания производится установка устройства в исходное состояние:счетчик 7 и триггеры 2 и 3 устанавливаются в нулевое состояние;в регистры 9 сдвига записываются в двоичном коде аргументы со=(4;и,",), 1 = 45= 1 - в, 1= 1 - )с спектральных коэффициентов Ь(со), выбранных в качестве контролируемых параметров на соответствующихучастках Т, )=- )с входной тестовой последовательности для соответствующих выходов)= 1 - в контролируемого логического блока 5017, при этом значение разрядов со, с= 1 - иссуаргумента со записывается в ячейку с== (с )с в1-го регистра 9 сдвига,О( с 1( п)с - 1;в счетчик 8 отсчета участков входнойтестовой последовательности записываются 55числа Ь, выражающие количества наборовх, последовательно формируемых счетчиком7 и составляющих участки Т;, )= 1 - с входной тестовой последовательности контролируемого блока 17,М;= 2", п - число разрядов счетчика 7;в блок памяти записываются числас=Х 25;,(со), )= 2 - с,где 5 = Х 1;(х) ва (со; х) - значениеХЕТспектрального коэффициента с аргументом со на )-м участке Т; входной тестовой последовательности для 1-го выхода логического блока 17; 1;(х) - логическая функция, реализуемая на выходе контролируемого блока 17;в сумматор-вычитатель 14 записывается числоЯ) = Х 2 5 п(сон),где Я;) (сон) = Х 1;(х) иа 1(со,), х) - значениеспектрального коэффициента с аргументом сос) на первом участке Т) входной тестовой последовательности.На вход 16 пуска устройства подается импульс запуска, который устанавливает триггер 2 в единичное состояние. При этом единичный сигнал с прямого выхода триггера 2 подается на вход элемента И 4 и разрешает поступление импульсов с выхода генератора 1 на синхронизирующий вход сумматора-вычитателя 14 и через элемент 6 задержки на счетный вход триггера 3.Сигнал Лог. нуль с выхода триггера 3, формирующийся после каждого четного, считая от момента запуска устройства, тактового импульса генератора 1, поступает на первый управляющий вход коммутатора 13 и вход суммы (разности) сумматора-вычитателя 14, При этом коммутатор 13 осуществляет подключение выходов сумматоров 11 по модулю два к информационным входам сумматора-вычитателя 14, который настраивается на выполнение операции сложения числа, соответствующего поданным на его информационные входы сигналам, с результатом предыдущего действия. Комбинация сигналов х= (х), хх) с выходов счетчика 7 поступает на входы контролируемого логического блока 17, с выходов которого поступают сигналы, соответствующие значениям логических функций 1) (х)1,(х). Комбинация х поступает также на первые группы входов блоков 10 свертки сигналов, на вторые группы входов которых поданы комби, с 1), (2 с 11)нации сигналов со;,= (со, сон,сов). На выходах блоков 10 формируются сигналы 2(х) = (сось х)= Х х),со(вос 12), являют=сщиеся линейными функциями, эквивалент. ными функциям Уолша ча 1(со;х). Эквивалентность определяется равенством ча 1 Х Х (со, х) = 2 (х) - Х (х), где Х (х)1336011 5 1 О 2 (х)= Х 2 - 2(х). 50 отрицание функции У(х). Сигналы 2(х) и 1;(х), 1= 1 - гп поступают на сумматоры 11 по модулю два, которые производят вычисление логических выражений вида Х;Дх) О+ 1;(х). Сигналы, соответствующие вычисленным значениям, с выходов сумматоров 11 поступают на первую группу входов коммутатора 13, на вторую группу входов которого поступают сигналы 2(х) с выходов блоков 10 свертки. При этом зачения сигналов на первых входах коммутатора 13 соответствуют числу У (х)= Х 2 2(х) 9 Б(х),а сигналы на вторых входах коммутатора13 соответствуют числу После поступления первого или нечетного с момента запуска тактового импульса сумматор-вычитатель 14 производит сложение числа У 1(х), соответствующего сигналам, поступившим на его информационные входы, с результатом предыдущего действия. Затем задержанный в элементе 6 задержки на время, требуемое для выполнения операции сложения сумматором-вычитателем 14, нечетный импульс поступает на вход триггера 3 и устанавливает его в единичное состояние. Сигнал Лог. единица, поступая с выхода триггера 3 на уп равляющйй вход коммутатора 13 и вход суммы (разности) сумматора-вычитателя 14, осуществляет подключение вторых входов коммутатора3 к информационным входам сумматора-вычитателя 14 и настраивает последний на выполнение операции вычи тания числа 2 (х), соответствующего поступившим на его информационные входы сигналам, из результата предыдущего действия.При поступлении с выхода генератора 40 1 на синхронизирующий вход сумматоравычитателя 14 четного с момента запуска тактового импульса сумматор-вычитатель 14 производит вычитание числа из результата предыдущего действия. После поступления пары из нечетного и четного тактовых им пульсов результат предыдущего действия суммируется с числом Х 21;(х)ча 1(а;,х),так как У;(х) - 2 (х) = У 22(х)1;(х) -- 2(х)= Х 21;(х) ча 1(а, х).(с) После выполнения сумматором-вычитателем 14 операции вычитания задержанный элементом 6 задержки четный импульс поступает на счетный вход триггера 3. Триггер 3 устанавливается в нулевое состояние, что приводит к увеличению числа, записанного в счетчике 7, на единицу, так как счетчик 7 изменяет свое состояние по заднему фронту импульса, формируемого на выходе триггера 3.После поступления 2 Х 1-го, считая от начала 1-го участка Т; входной тестовой последовательности, тактового импульса генератора 1 в сумматоре-вычитателе 14 окажется записанным число 8;= - 5;+ Ь;= - Ь,+ Х 2 5(со), где Ь(а;,) - значение спектрального коэффициента действительно реализуемой на 1-м выходе контролируемого логического блока 17 логической функции ф(х), вычисленное на участке Т; входной тестовой после- довательности Ьц(о) = Х(х) ча 1(ац, х),мет 1Задержанный элементом 6 задержки 2 Х 1-й с начала участка Т, тактовый импульс установит триггер 3 в нулевое состояние. При этом блок 8 отсчета участков входной тестовой последовательности по заднему фронту импульса, появившегося на выходе триггера 3, Х)-го по счету с начала участка Т;, формирует импульс, сигнализирующий о начале следующего (1+1) -го участка входной тестовой последовательности. Этот импульс поступает на тактовые входы регистров 9 сдвига, на блок 15 индикации, на блок 12 памяти и на коммутатор 13. При этом в регистрах 9 осуществляется сдвиг записанной комбинации на один разряд и в ячейках регистров 9 с номерами й - 1, 1= 1 - п, окажутся записанными числа о;(;.). С прямых выходов этих ячеек сигналы, соответствующие числам о;(;+), подаются на вторые группы входов соответствующих блоков 10 свертки сигналов. Импульс со счетчика 8 отсчета, поступая на управляющий вход блока 15 индикации, разрешает отображение результата контроля на интервале Т; входной тестовой последовательности. Если на блоке 15 индикации отразится число О, соответствующее равенству эталонных и действительных значений спектральных коэффициентов, то контролируемый блок 17 признается работоспособным на множестве входных комбинаций Х, принадлежащих интервалу Т; тестовой последовательности. В случае неисправности контролируемого логического блока 17, при Ь; Ф О, по значению 8;, отражающемуся на блоке 15 индикации, устанавливается причина неисправности. В блоке 12 памяти на выходах производится (по импульсу со счетчика 8 отсчета) установка сигнала, соответствующего числу 8 Коммутатор 13 по импульсу из счетчика 8 отсчета участков входной тестовой последовательности производит подключение к выходам блока 12 памяти входов сумматора-вычитателя 14 и осущест 1336011вляет запись числа Ян. в сумматор-вычитатель 14.После поступления последнего 2"+-го с момента запуска устройства тактового импульса генератора 1 триггер 3 установится в нулевое состояние и на его выходе закончится формирование 2"-го с момента запуска импульса, являющегося одновременно последним Ы-м импульсом последнего участка Т входной тестовой последовательности, При этом счетчик 7 переполнится и установится из состояния 111 в нулевое состояние. Вследствие этого произойдет смена сигнала на выходе элемента И 5 с единичного на нулевой и триггер 2 установится в нулевое состояние. Сигнал Лог. нуль на его прямом выходе запретит прохождение импульсов с выхода генератора 1 через элемент И 4, а единичный сигнал на инверсном выходе сигнализирует на одной из ячеек блока 15 о конце контроля.Таким образом, контроль каждого 1-го, 1= 1 - гп выхода логического блока 17 осуществляется по совокупности значений нескольских спектральных коэффициентов Ь(со;,), 1= 1 - К причем для каждого выхода выбираемые совокупности коэффициентов могут быть различными.Если контроль на 1-м выходе осуществлялся по значению единственного спектрального коэффициента Я(а;) и Р. Ро - вероятности инверсного искажения соответственно единичного и нулевого сигналов на этом выходе, то вероятность минимальной по кратности необнаруживаемой симметрической ошибки при контроле определяется выражением=(К + 21,1 К о) ( - К + 21 К о)У где Я= 2"К - число единичных конституент логической функции 1;(х), реализуемойна 1-м выходе контролируемого блока;К - число нулевых конституент (наборов входных переменных) функции 1;(х);К+ - число единичных наборов х таких,что ва 1(а;, х)=+1;К - число единичных наборов х таких,что ва 1(ьь х) = - 1;К+ - число нулевых наборов х, для которых ча(о;, х)= +1;К - число нулевых наборов х, для которых ча 1(ы;, х)= - 1.При этом К+= М - К+, К = М - К,К 2 И - К, К= КК Отсюда симметрическая ошибка может быть устранена выбором такого спектрального коэффициентаЬ;(ю,), что К = М и К+= О, либо К+=ИиК =О,Эти равенства выполняются только длялинейных функций. Для произвольной логической функции 1;(х) от п переменных вероятность Р- может быть только снижена выбором спектрального коэффициента 5,(ь) с максимальной среди других коэффициентов спектра Ь; этой функции абсолютной величинойЬ;(а;).В этом случае значение К наиболее близко величине Я, а К+ стремится к нулевому значению (либо К+-. Я 10 и К=-0).При контроле по совокупности нескольких спектральных коэффициентов 5(щ;) вероятность необнаруживаемой ошибки на 1-м выходе определится как функция вероятностей Рйн возникновения симметрических ошибок на участках Т; входной тестовой последовательности:+где 1 Ч; - число наборов х, составляющихучасток Т; входной тестовой последовательности;К - число единичных наборов 1;(х); М+ - число наборов ХТ, для которыхюа 1(о, х)= +1;Ь - число наборов ХТ для которыхва 1(а, х) = - 1;К - число единичных наборов ХТ, длякоторых ъа 1(а, х)= +1;К. - число единичных наборов ХТ;, длякоторых ва 1(о, х) = - 1.Всегда существует возможность такогоразбиения входной тестовой последовательности на участки,Т;, что для всех участков1Т, вероятности Рнн удовлетворяют неравенству 1 - Рнн ) 1 - Рно, где Р- - вероят О ность необнаруживаемой симметрическойошибки при контроле по единственному спектральному коэффициенту 3;(а;), и в результате Рйн(Рно. Например, в крайнем случае, в начале тестовой последовательности достаточно выделить участок Т произвольной длины, который составляют либо все илевые, либо все едининичные наборы Х ча 1(ь, х)= +1, Затем определить для участка Т в качестве контрольного коэффициента спектральный коэффициент 50 Ьп(0) с нулевым аргументом (являющийсяпросто контрольной суммой), а для остальной части входной тестовой последовательности участа Тг для контроля вычислить эталонное значение коэффициента 5;(о;) =55 =Х 1(х)ч/а 1(ь;, х) с тем же аргументомХа;, что и для случая контроля по единственному спектральному коэффициенту Ь;(в;).338011 Составитель А. СиротскаяРедактор Л. Гратилло Техред И, Верес Корректор Л. БескидЗа каз 3803/44 Тираж 672 ПодписноеВНИИПИ Государственного комитета СССР по делам изобретений и открытий113035, Москва, Ж - 35, Раушская наб., д. 4/5Производственно. полиграфическое предприятие, г. Ужгород, ул, Проектная, 4 Тогда для участка Т ввиду того, что К=К= М= О, получим Рйо= О, а для1участка Тг - Рно( Р, так как в случае,если Т составляют единичные наборы х,имеем Кг(К+, Мг - Кз= 1 Ч - К+ М = М, 5Кг= К, а в случае, если Т составляют нулевые наборы, Кг= К, Хз - Кз( М - К+,М = Х, Кг= К+ В результате Рно== Р:.(Р:.,10Таким образом, предлагаемое устройство,предоставляя возможность контроля каждого выхода логического блока 17 по совокупности значений нескольких спектральныхкоэффициентов, обеспечивает повышение достоверности результатов контроля. 15 Формула изобретенияУстройство для контроля логических блоков по авт. св.1185342, отличающееся тем, что, с целью повышения достовер 1 нгсти контроля за счет контроля каждого выхода контролируемого логического блока по совокупности значения нескольких спектральных коэффициентов, оно содержит счетчик участков входной тестовой последовательности и блок памяти эталонных спектральных коэффициентов, причем синхровход счетчика участков входной тестовой последовательности соединен с выходом второго триггера, выход счетчика участков входной тестовой последовательности соединен с синхровходами а регистров (и - число контролируемых состояний контролируемого логического блока), с синхровходом блока индикации, с вторым управляющим входом коммутатора и синхровходом блока памяти эталонных спектральных коэффициентов, группа выходов которого соединена с третьей группой информационных входов коммутатора.

Смотреть

Заявка

4050022, 07.04.1986

РИЖСКОЕ ВЫСШЕЕ ВОЕННО-ПОЛИТИЧЕСКОЕ КРАСНОЗНАМЕННОЕ УЧИЛИЩЕ ИМ. МАРШАЛА СОВЕТСКОГО СОЮЗА БИРЮЗОВА С. С

СЫЧЕВ АЛЕКСАНДР НИКОЛАЕВИЧ

МПК / Метки

МПК: G06F 11/26

Метки: блоков, логических

Опубликовано: 07.09.1987

Код ссылки

<a href="https://patents.su/5-1336011-ustrojjstvo-dlya-kontrolya-logicheskikh-blokov.html" target="_blank" rel="follow" title="База патентов СССР">Устройство для контроля логических блоков</a>

Похожие патенты