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

 

Изобретение относится к вычислительной технике, в частности, к устройствам для контроля сложных логических схем, программных блоков и микропроцессоров. Цель изобретения - повьшение достоверности контроля , а также расширение области применения за счет обеспечения контроля логических блоков. Последние выполнены на базе программируемых узлов, которые включают в себя запрещенные команды. Устройство содержит блок памяти, регистр тестовых команд, цифровой элемент задержки , коммутатор, генератор случайных чисел, генератор псевдослучайных чисел, мультиплексор, блок хранения эталона, счетчик числа команд (тестов), схему сравнения, блок индикации , шины задания кодов разрешенных команд, -генератор синхроимпульсов . Случайный код, сформированный генератором случайных чисел, поступает на адресный вход блока памяти. Из этого блока согласно адресам считьшается признак разрешенной команды или запрещенной. Если команда запрещенная, тестовые команды начинают поступать с выходов мультиплексора , управляемого генератором псевдослучайной последовательности. Если команда разрешенная, то в честве тестов выступает код с выО5 ходов генератора случайных чисел. СО 4 ил. 4

СОЮЗ СОВЕТСКИХ

СОЦИАЛИСТИЧЕСКИХ

РЕСПУБЛИК (19) (11) (50 4 G 06 F 11 26 9/22

ОПИСАНИЕ ИЗОБРЕТЕНИЯ

ГОСУДАРСТВЕННЫЙ КОМИТЕТ СССР

ПО ДЕЛАМ ИЗОБРЕТЕНИЙ И ОТКРЫТИЙ

К АВТОРСКОМ,Ф СВИДЕТЕЛЬСТВУ (21) 3878641/24-24 (22) 04.04.85 (46) 07. 11.86. Бюл. 9 41 (71) Харьковский ордена Ленина авиационный институт им.Н.Е.Жуковс"с кого (72) В.П. Улитенко, В.Я. Жихарев, . В.С. Харченко, Г.Н. Тимонькин, С.Н. Ткаченко и P.È. Могутин (53) 681.3(088.8) (56) Авторское свидетельство СССР

Р 354415, кл. G 06 F 11/00, 1970.

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

У 527707, кл. G 06 F 11/00, 1974. (54) УСТРОИСТВО ДЛЯ КОНТРОЛЯ ЛОГИЧЕСКИХ, БЛОКОВ (57) Изобретение относится к вычислительной технике, в частности, к устройствам для контроля сложных логических схем, программных блоков и микропроцессоров. Цель изобретения — повышение достоверности контроля, а также расширение области применения за счет обеспечения контроля логических блоков. Последние выполнены на базе программируемых узлов, которые включают в себя запрещенные команды. Устройство содержит блок памяти, регистр тестовых команд, цифровой элемент задержки, коммутатор, генератор случайных чисел, генератор псевдослучайных чисел, мультиплексор, блок хранения эталона, счетчик числа команд (тестов), схему сравнения, блок индикации, шины задания кодов разрешеннык команд, .генератор синхроимпульсов ° Случайный код, сформированный генератором случайных чисел, поступает на адресный вход блока памяти

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

Если команда разрешенная, то в качестве тестов выступает код с выходов генератора случайных чисел.

4 ил.

9141 где х;, к; .. . xс — выходные сигналы соответственно 1 „ i и с -го разрядов регистра 3, Мультиплексор 7 нужен для коммутации кодовых наборов разрешенных

4 126

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

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

На фиг.1 представлена функциональная схема устройства, на фиг.2— функциональная схема датчика случайных чисел, на фиг.3 — функциональ ная схема блока анализа на фиг.4 временная диаграмма функционирования устройства.

Устройство содержит блок 1 памяти, регистры 2 и 3 сдвига, регистр 4 тестовых команд, элемент 5 задержки, сумматор 6 по модулю два, мульти- " плексор 7, коммутатор 8, генератор

9 .случайных чисел, генератор 10 импульсов, триггер 11 пуска, блок 12 анализа, шины 13.1-13. 1 задания кодов разрешенных тестовых команд, блок 14 индикации, контролируемый блок 15, блок 16 хранения эталона, вход 17 пуска устройства, генератор

18 тактовых импульсов, датчик 19 случайных чисел, генератор 20 псевдослучайной последовательности.

Датчик 19 случайных чисел (фиг.2). содержит триггер 21 и резистор 22 с изменяющимся в зависимости от колебаний температуры сопротивлением.

Блок 12 анализа (фиг.3) содержит регистр 23, счетчик 24 числа тестовых команд, разрядный блок 25 сравнения, элемент ИЛИ 26. Блок 25 может быть выполнен на группе сумматоров.

Обозначения на фиг.4 соответствуют обозначениям, введенным на фиг.1.

Рассмотрим назначение отдельных функциональных элементов устройства.

Блок 1 памяти предназначен для хранения управляющих команд и пред— етавляет собой однобитовое запоминающее устройство статического типа. Информация на его выходе присутствует тогда, когда на адресный вход поступает соответствующий адрес. Если код, поступивший на адресный вход блока 1 памяти, является разрешенной командой для контролируемого блока, на выходе блока 1 памяти присутствует единичный

50 сигнал. Если код является запрещенной командой, на выходе блока 1 памяти появляется нулевой сигнал.

Регистр 2 сдвига предназначен для преобразования последовательности случайных чисел,, поступающей на его Двход с выхода датчика 19 случайных чисел, в параллельный код. Запись значения очередного разряда параллельного кода в регистр 2 производится по заднему фронту синхрониэирующего импульса, поступившего на его синхровход с выхода генератора 10.

Регистр 3 сдвига необходим для управления мультиплексором 7 ° На его

Д-вход поступает сигнал с выхода сумматора 6 по модулю два. Его выход подключен к управляющим входам мультиплексора 7, а сигналы выборочных разрядов, кроме того, поступают на входы сумма. тора 6 по модулю два, т.е. через сумматор б по модулю два образуется обратная связь. Запись сигнала, поступающего на Д-вход регистра

3 сдвига, осуществляется в младший разряд с одновременным сдвигом храня-. щейся в регистре кодовой комбинации в сторону старших разрядов по заднему фронту единичного импульса, поступивmего íà его вход синхронизации с выхода счетчика 5, Регистр 4 используется для хранения и выдачи команд на объект контроля. Цифровой элемент 5 задержки служит для задания рабочего цикла устройства. Единичный сигнал на его выходе появляется тогда, когда на его вход с выхода генератора 10 поступает Q -К импульсов„, где cL â€,номер рабочего цикла, к — разрядность формируемого устройством случайного кода команды, т,.е, после окончания формирования устройством случайного кода команды в текущем cL -м цикле работы.

Сумматор б по модулю два предназначен для формирования информационного сигнала для регистра 3. Его входы соединены с выходами выборочных разрядов регистра 3. Сигнал на его выходе формируется в соответствии с логической функцией .у. = х;® х,ОО, „Ох, 1269

141

25 з команд. На его управляющий вход поступает псевдослучайная последовательность кодовых наборов с выхода регистра 3 сдвига, в соответствии с которой на его выход коммутируется один из кодов разрешенных команд, поступающих на его информационные входы с шин 13.1-13.1. Коммутатор 8 предназначен для передачи на вход регистра 4 команд либо случайного IO кода команды, поступающего на его ,первый информационный вход с выхода регистра 2, либо хода разрешенной команды, поступающего на его второй информационный вход с выхода мульти- 15 плексора 7. Коммутация кода разрешенной команды, поступаюшего с выхода мультиплексора 7 на вход регистра 4, осуществляется при поступлении на управляющий вход коммутатора 8 с 20 выхода блока 1 памяти нулевого сигнала, т.е. когда код, сформированный на выходе регистра 2, является для объекта контроля запрещенной командой.

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

Резистор 22 изменяет свое сопротивление в зависимости от колебаний 5б температуры. Рабочая точка резистора

22 выбрана так, чтобы уровень направления на Д-входе триггера 21 колеФ бался в зависимости от температуры между логическими "0н и "1".

Формирование тактовых импульсов на выходе генератора 10 производится только при наличии единичного сигнала, поступающего на его вход с выхода триггера 11 пуска.

Триггер 11 управляет работой генератора 10. Он устанавливается в единичное состояние при поступлении единичного сигнала на вход 17 пуска устройства. Единичный сигнал на выходе триггера 11 разрешает функционирование генератора 10. Триггер 11 устанавливается в нулевое состояние при поступлении на его вход сброса единичного сигнала "Ненорма" с выхода элемента ИЛИ 26 блока 12 анализа.

Блок 12 анализа (фиг. 3) необходим для сравнения выходных реакций контролируемого блока 15 с выходными реакциями блока 16 хранения эталона и формирования сигналов "Ненорма", "Останов устройства" и сигналов ошибки в случа е ра схождения выходных реакций контролируемого блока 15 и блока 16 хранения эталона.

Регистр 23 служит для приема, хранения и выдачи кода ошибки. Запись кода ошибки, поступающего на его информационные входы, происходит по заднему фронту импульса, поступающего на его синхровход от цифрового элемента 5 задержки.

Счетчик 24 считает сформированные устройством команды. Единичный сигнална его выходе переполнения появляется в соответствии с заданным коэффициентом пересчета, определяющимся необходимым количеством команд в по" следовательности, которую должно сформировать устройство для контроля проверяемого блока, Разрядный блок 25 сравнения предназначен для поразрядного сравнения у выходных реакций контролируемого блока 15 и блока 16 хранения эталона.

Код на выходе формируется в соответствии с логической функцией

Z= YX + YX где Х вЂ” код выходной реакции контролируемого блока;

Y- код выходной реакции эталонного блока.

Элемент ИЛИ 26 формирует сигнал

"Ненорма" в случае расхождения вы-. ходных реакций контролируемого блока 15 и блока 16 хранения эталона и сигнал "Останов устройства", если устройство формирует последовательность случайных команд заданной длины и при этом нет расхождений в выходных реакциях контролируемого блока 15 и блока 16. Единичный сигнал на его выходе появляется тогда, когда на его входы с выхода переполнения счетчика 24 и с выходов блока

25 поступает хотя бы один единичный сигнал.

Блок 12 анализа функционирует следующим образом.

На его входы поступают выходные реакции контролируемого блока 15 и блока 16 хранения эталона. Блок

25 поразрядно сравнивает их и формирует на своем выходе код, который поступает на входы элемента ИЛИ 26 и на информационные входы регистра

23, куда он записывается по заднему фронту импульса, поступившего с выхода цифрового элемента 5 задержки.

Если выходные реакции не совпадают, 12691

5 код, сформированный на выходе блока

25, содержит хотя бы одну единицу, и на выходе элемента HJIH 26 появляется единичный сигнал, который является сигналом "Ненорма" блока 12 анализа. Код, записанный в регистр

23, поступает на блок индикации, и наличие в его разрядах единицы, является признаком сбоя, На счетный вход счетчика 24 пос- 10 тупают импульсы от элемента 5, частота сравнения которых равна частоте формирования устройством случайных команд. Если устройство уже сформировало последовательность случайных 15 команд заданной длины при условии, что не обнаружено расхождения в выходных реакциях контролируемого блока 15 и блока 16 хранения эталона, т.е. на синхровход счетчика 24 20 поступило число импульсов, равное заданному коэффициенту пересчета, то на его выходе появляется единичный сигнал. Этот сигнал поступает на вход элемента ИЛИ 26, и на его 25 выходе формируется единичный сигнал, который является сигналом "Останов устройства" блока 12 анализа.

Шины 13,1-13.п служат для форми- рования кодовых наборов разрешенных 511 команд, На выходе шин 13.1 — 13.П всегда присутствует постоянный код разрешенной команды, Шины могут быть реализованы в виде тумблерных регистров — набора тумблеров.

Устройство работает следующим образом.

В исходном состоянии все элементы памяти установлены в "0".(цепи установки исходного состояния не показаны). Работа устройства начинается после поступления на вход 17 пуска устройства единичного сигнала "Пуск", по которому триггер 11 переходит.в единичное состояние и генератор 10 начинает формировать на своем выходе последовательность тактовых импульсов.

Последовательность тактовых импульсов с выхода генератора 10 поступает на входы датчика 19 случайных чисел, синхровход регистра 2 и вход цифрового элемента 5 задержки. С выхода датчика 19 на информационный вход регистра 2 сдвига поступают случайные сигналы, которые записываются в него по задним фронтам тактовых импульсов, поступающих на его синхровход, с выхода генератора 10. После

41 Ь того, как генератор 10 сформирует на своем выходе К тактовых импульсов, так как на выходе регистра 2 сдвига сформирован случайный К -разрядный код команды, иа выходе элемента 5 появляется единичный сигнал, который поступает на. синхровходы регистров

3 и 4 и на счетный вход счетчика 24 блока 12 анализа.

Случайный код команды, сформированный на выходе регистра 2 сдвига, поступает на адресный вход блока 1 памяти и на первый информационный вход коммутатора 8. На выходе блока

1 памяти появляется выходной сигнал, который поступает на управляющий вход коммутатора 8. Если этот сигнал единичный, т.е. код, сформированный на выходе регистра 2 сдвига, является разрешенной командой для контролируемого блока 15, то на Д-вход регистра

4 через коммутатор 8 передается код команды, поступающий на первый информационный вход коммутатора 8 с выхода регистра 2, Если выходной сигнал блока 1 памяти нулевой, т.е. код, сформированный на выходе регистра 2 сдвига, — запрещенная команда для блока 15, то на Д-вход регистра 4 коммутируется заведомо разрешенный код команды, поступающий на второй информационный вход коммутатора 8 с выхода мультиплексора ?.

Код с выхода регистра 3 сдвига поступает на управляющий вход мультиплексора 7, в соответствии с которым мультиплексор 7 передает на свой выход один из кодов разрешенных команд, поступающих на его информационные входы с шин 13,1-13.п.

На вход сумматора 6 по модулю два поступают сигналы с выходов выборочных разрядов регистра 3 сдвига (число таких разрядов для данного кон- кретного случая должно быть четным), а выходной сигнал сумматора 6 по модулю два поступает на Д-вход регистра 3 сдвига, На этом цикл формирования устройством кода команды для контролируемого объекта заканчивается, и по (k+1)-му тактовому импульсу, выработанному генератором 10, элемент 5, выполненный на счетчике, обнуляется и по заднему фронту импульса, сформированного на его выходе, происходит запись информации, присутствующей на входах регистров

3,4 и 23 блока 12 анализа, соответст141 8 сброса триггера 11 пуска и останавливает работу устройства.

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

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

ИЛИ с входом блокировки генератора тактовых импульсов, группа выходов генератора случайных чисел соединена с группой адресных входов блока памяти и с первой группой информационных входов коммутатора, выходы которого соединены с информационными входами регистра тестовых команд, выходы которого соединены с информационными входами контролируемого логического блока и блока хранения

1269 венно в регистры 3, 4 и 23 блока 12 анализа, а устройство начинает формировать следующий код команды.

С выхода регистра 4 код команды поступает на входы контролируемого блока 15 и блока 16 хранения эталона, которые отрабатывают эту команду, и их выходные реакции поступают на блок 25 сравнения, который, в случае несовпадения выходных реакций, 1ð формирует сигнал, останавливающий работу устройства, а на индикацию поступает код ошибки. Если выходные реакции блоков 15 и 16 совпадают, на выходе элемента ИЛИ 26 блока 12 анализа присутствует нулевой сигнал, а на выходе регистра 23 — нулевой код.

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

ra который совместно с сумматором

6 по модулю два образует генератор gp псевдослучайных кодов. Смена кода на выходе регистра 3 сдвига происходит в начале каждого рабочего цикла по (Q-1)к+1-му импульсу, выработанному генератором 10 тактовых импуль сов, где a. — номер рабочего цикла, - разрядность кода.

Так как формируемый на выходе регистра 2 сдвига код является случайным, случайным является и то, что он окажется запрещенной командой для объекта контроля, т.е. выбор кода разрешенной команды из всех возможных, в случае появления на выходе регистра 2 сдвига кода запре- 45 щенной команды, будет также случайным. Т,е. "подстановка" кода разрешенной команды не ухудшает вероятностных свойств последовательности команд, формируемой устройством.

В случае, если после формирования устройством заданного числа случайных команд, расхождения выходных реакций блоков 15 и 16 не обнаружено, блок

12 анализа формирует на своем выходе единичный сигнал "Останов устройства, который поступает на R -вход эталона, группа выходов которого соединена с первой группой информационных входоц разрядного блока сравнения, вторая группа информационных входов которого соединена с группой выходов контролируемого логического блока, группа выходов разрядов совпадения разрядного блока сравнения

9 12691 соединена с группой входов элемента ИЛИ и с информационными входами регистра, выходы которого соединены с выходами блока анализа, выходы гене. ратора псевдослучайной последовательности соединены с управляющими входами мультиплексора, и информационных групп которого (и - число разрешенных тестовых команд устройства) под41 10 ключены к одноименным шинам задания кодов разрешенных тестовых команд устройства, группа выходов мультиплексора соединена с второй группой информационных входов коммутатора, первый управляющий вход которого соединен с выходом блока памяти и с вторым инверсным управляющим входом коммутатора.

1269141

ОлХ Оюб арий/Х

Составитель А.Сиротская

Редактор А.Шишкина Техред М.Ходанич Корректор А. Обручар

Заказ 6038/52 Тираж 671 Подписное

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

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

Производственно-полиграфическое предприятие, r. ужгород, у . р л. Н оектная 4