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

 

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

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

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

РЕСПУБЛИК (19) (11) (s1)s G 06 F 11/28

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

ПО ИЗОБРЕТЕНИЯМ И ОТКРЫТИЯМ

ПРИ ГКНТ СССР

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

К АВТОРСКОМУ СВИДЕТЕЛЬСТВУ (21) 4839282/24 (22) 27,04.90 (46) 23.04,92. Бюл. N. 15 (71) Московский инженерно-физический институт (72) М.А.Иванов (53) 681.3 (088.8) (56) Авторское свидетельство СССР

N- 1300479, кл. G 06 F 11/28, 1987.

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

N 1508215, кл. G 06 F 11/28, 1989. (54) УСТРОЙСТВО ДЛЯ КОНТРОЛЯ ХОДА

МИКРОПРОГРАММ

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

Цель изобретения — повышение достоверности контроля.

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

Устройство для контроля хода микропрограмм (фиг.1) содержит формирователь

1 сигнатур, элемент ИЛИ 2, счетчик 3, блок

4 сравнения, элементы И 5,6, тактовый вход

7, первую группу 8 и вторую группу 9 информационных входов, вход 10 изменения режима, вход 11 задания режима, вход 12 разрешения, вход 13 условия, третью группу информационных входов 14, выход 15 сигнала ошибки.

При контроле хода программ каждая микрокоманда (МК) должна содержать по(57) Изобретение относится к вычислительной технике и может использоваться в системах функционального диагностирования микроЭВМ. Цель изобретения — повышение достоверности контроля. Устройство содержит формирователь, сигнатур, блок памяти, два элемента И, элемент ИЛИ, блок сравнения. При использовании устройства программа или микропрограмма разбиваются на участки, на каждом из которых отсутствуют повторяющиеся состояния формирователя сигнатур. В результате все неправильные переходы в программе или микропрограмме . будут обнаружены. 2 ил. мимо адресного поля и поля управляющих сигналов (УС) (микроопераций) поля; КР1 и

KPz — контрольных разрядов, М1-метки МК, 2 в которых происходит анализ сигнала условия (У), М2 — метки МК, соответствующих точкам слияния ветвей, М3 — метки МК, в которых происходит изменение состояния счетчика 3 участков.

Вариант схемы формирователя 1 сигна- О© тур(фиг.2) содержит блок 16 пространствен- 00 ного сжатия информации (БПС), генератор (Ь псевдослучайных, кодов (ГПК) 17 и блок 18 (Л сравнения. На группуинформационных входов 19 формирователя подается код с выхо- > дов шифратора, который преобразует состояние ГПК 17 в код, обеспечивающий

"выравнивание" состояний ГПК в точках слияния ветвей.

Перед началом работы формирователь

1 и счетчик 3 устанавливаются в исходное состояние, например в нулевое. Цепи установки начального состояния на фиг.1 условно не показаны.

1728865

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

МК, делается вывод, что микропрограмма выполняется правильно, в противном случае на выходе формирователя 1 появляется сигнал ошибки. Подобным образом устройство функционирует только при воспроизведении линейных, а также ветвящихся участков программы, не содержащих точек слияния ветвей. В этом случае каждой МК может быть поставлена в соответствие только одна сигнатура. Указанное обстоятельство дает возможность вычислить и разместить заранее в поле контрольных разрядов КР1 блока памяти микропрограмм массив эталонных сигнатур, à -атем использовать их.

Чтобы обеспечить контроль хода программы, имеющей точки слияния ветвей, каждой из указанных точек ставится В сооТветствие свое вполне определенное начальное состояние формирователя 1, своего рода код-идентификатор данной точки cflMяния, При этом в поле КР> МК, соответствующих точкам слияния ветвей, хранятся начальные состояния формирователя 1, соответствующие указанным точкам. Шифратор, входящий в состав формирователя 1, преобразует код сигнатуры, полученной после прохождения точек микропрограммы, предшествующих точке слияния, в код начального состояния формирователя 1. Каждому выходному коду указанного шифратора соответствует несколько входных — по числу ветвей, сходящихся в данной точке слияния.

В процессе выполнения микропрограммы в каждый момент считывания МК, соответствующей точке слияния ветвей, на блок сравнения, входящий в состав формирователя 1, поступает не текущее значение сигнатуры, а код с выходов шифратора.

Аналогично в формировании следующего значения сигнатуры участвует код-индентификатор соответствующей точки слияния.

Если код начального состояния формирователя 1, считанный из поля КР регистра МК, не совпадает с кодом-идентификатором, полученным на выходе шифратора на основе анализа предшествующего поведения

МПУУ, значит произошла замена одной точки слияния другой и на выходе формирователя 1 появляется сигнал ошибки.

ЗО

Исключить необнаруживаемые переходы в микропрограмме можно, если разбить ее на участки таким образом, чтобы на каждом из участков отсутствовали повторяющиеся состояния формирователя 1. В результате в случае любого из ранее не обнаруживаемых неправильных переходов состояние счетчика 3 будет отличаться от ожидаемого, считанного из поля КР регистра МК. На выходе блока 4 появится сигнал

"Лог, 1", поэтому после прихода очередного тактового импульса на выходе элемента 5 появится сигнал ошибки.

Другой возможный вариант исключения необнаруживаемых неправильных переходов в микропрограмме — это использование формирователя сигнатур, показанного на фиг.2. Если в первом случае, рассмотренном на фиг.1, код КР1 — это код эталонной сигнатуры (или код-идентификатор точки слияния ветвей), то для случая, рассмотренного на фиг.2, код сс входов 9 подбирается заранее таким образом, чтобы:. осле свертки кодов

УС и KP в блоке пространственного сжатия

15, на выходе последнего сформировался кодтекущего состояния ГПК17, Для обнаружения всех неправильных переходов в программе необходимо только, чтобы число состояний ГПК было больше или равно числу микрокоманд, Таким образом, положительный эффект от использования изоаретения -аключается в повышении достоверности контроля путем обнаружения всех неправильных переходов в микропрограмме.

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

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

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

5 которого подключен к входу задания режима устройства.

1728865

Фиг. Я

35

45

Составитель M.Èâàíîâ

Техред М.Моргентал

Корректор Н.Ревская

Редактор Н.Химчук

Производственно-издательский комбинат "Патент", r. Ужгород, ул.Гагарина, 101

Заказ 1409 Тираж Подписное

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

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