SU1728865A1 - Устройство дл контрол хода микропрограмм - Google Patents

Abstract

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

Description

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

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

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

Устройство дл  контрол  хода микропрограмм (фиг.1) содержит формирователь 1 сигнатур, элемент ИЛИ 2, счетчик 3, блок 4 сравнени , элементы И 5,6, тактовый вход 7, первую группу 8 и вторую группу 9 информационных входов, вход 10 изменени  режима , вход 11 задани  режима, вход 12 разрешени , вход 13 услови , третью группу информационных входов 14, выход 15 сигнала ошибки.

При контроле хода программ кажда  микрокоманда (МК) должна содержать помимо адресного пол  и пол  управл ющих сигналов (УС) (микроопераций) пол : KPi и КР2 контрольных разр дов, М1 -метки МК, в которых происходит анализ сигнала услови  (У), М2 - метки МК, соответствующих точкам сли ни  ветвей. МЗ - метки МК, в которых происходит изменение состо ни  счетчика 3 участков.

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

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

VI

to

00 00

о ел

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

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

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

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

Другой возможный вариант исключени 

5 необнаруживаемых неправильных переходов в микропрограмме - это использование формировател  сигнатур, показанного на фиг.2. Если в первом случае, рассмотренном на фиг.1, код KPi -это код эталонной сигна0 туры (или код-идентификатор точки сли ни  ветвей), то дл  случа , рассмотренного на фиг.2, код со входов 9 подбираетс  заранее таким образом, чтобы после свертки кодов УС и КР в блоке пространственного сжати 

5 16, на выходе последнего сформировалс  код текущего состо ни  ГПК 17. Дл  обнаружени  всех неправильных переходов в программе необходимо только, чтобы число состо ний ГПК было больше или равно чис0 лу микрокоманд.

Таким образом, положительный эффект от использовани  изобретени  заключаетс  в повышении достоверности контрол  путем обнаружени  всех неправильных пере5 ходов в микропрограмме.

Claims (1)

1. Формула изобретени  Устройство дл  контрол  хода микропрограмм , содержащее формирователь сигнатур , первый элемент И и блок сравнени ,

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

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

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

   УС

   8

   JL

   /S+Ош

   PU2.1

   Kfy Mi MU MS

   10

   //

   /Ј

   Z

   1 ЦП

   г Ц

   Co