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

(5) 5 С 06 Р 12 ПИСАНИЕ ИЗОБРЕТЕНИЯ ГОСУДАРСТВЕННЫЙ КОМИТЕТПО ИЭОИфЕТЕНИЯМ И ОТКРЫТИЯ(56) Авторское свидетельство СССРУ 636611, кл. С 06 Р 1/00, 19.Авторское свидетельство СССРУ 14)819, кл. 6 Об Р 11/28, 987.(54) УСТРОЙСТВО ДЛЯ КОНТРОЛЯ ХОДА ПРОГ РАВИ (57) Изобретение относится к вычислительной технике и может быть использовано в устройствах отладки программ, устройствах правильности выполнения программ ЦВИ, Белью изоб"ретення является расширение контролирующих возможностей устройства засчет введения в него дополнительныхэлементов и соответствующих связей.Устройство содержит блок 1 регистровконтрольных точек, первую 2, вторую9 и третью 10 группы схем сравнения,элементы ИЛИ 3 и 6, элемент 4 задержки, группу триггеров 5, элемент И 7,в блоков элементов И 8, а блоков регистров и элементов ИЛИ, Контрольправильности выполнения программпроизводится путем анализа адреса команды, следующей эа командой условного перехода; 1 кп.Изобретение относится к вычислительной технике и может быть использовано в устройствах отладки и:рограмм, устройствах контроля правильности выполнения программ ЦВМ.Цель изобретения - расширениеконтролирующих возможностей устройст"ва за счет контроля правильности выполнения условных переходов при вы Ополнении программ ЦВМ.На чертеже приведена схема устройства,Устройство содержит блок 1 регистров адресов контрольных точек, первую 15группу из п схем 2"2 11 сравнения,первый элемент ИЛИ 3, элемент 4 задержки, и триггеров 51 "5 п, .второй эпе=мент ИЛИ б, элемент И 7, и блоков элементов И 81 " 8 и, вторую 209-9 и и третью 10-10 и группы из1 Гсхем сравнения, ц блоков 11 -11 прегистров эталонных значений и и элементов ИЛИ 12-12Устройство работает следующим образом.В исходном состоянии на блокерегистров адресов контрольных точекзаписаны адреса команд условных переходов (блок 1 содержит Б регистров по 30числу контрольных точек - условныхпереходов в программе, На -м блокерегистров эталонных значений 1.1.(содержащем два регистра) записаны4адреса команд, которые могут следовать после выполнения команды ь-гоусловного перехода, Триггеры 5-5обнулены,Очередной адрес команды, проходяпо входу устройства.от регистра адреса команд ЦВМ не показан), поступаетна входы схем 2 сравнения первой груп:"пы и на входы блоков элементов И 8,Если очередная команда не являетсякомандой условного перехода, то сравнения в схемах 2 не происходит и блоки элементов И 8 остаются закрытыми.Если очередная команда является х-Йкомандой условного перехода, то всхеме 2; происходит сравнение. кодовна входах ее и на выходах этой схемыпоявляется импульс, поступающий черезэлемент ИЛИ 3 на вход элемента 4 задержки, а также устанавливающий триггер 5; в единичное состояние 3 ысокии), -55потенциал с выхода триггера 5 поступает на вход блока элементов И 8открывая его и разрешая прохождение значения кода с входа устройства на первые входы схем 9; и 1 О; сравнения. На вторые входы схем 9; и 1 О; сравнения поступают значения адресов команд, которые могут следовать после выполнения команды -го условного перехода. Элемент 4 задержки задерживает импульс на время выполнения двух команд ЦВИ. Если за это время произошло сравнение кодов в схеме 9; или 1 О;, то импульс с выхода одной из этих схем сравнения поступает через элемент ИЛИ 12 на нулевой вход триггера 5, устанавливая его в исходнее состояние. Устройство готово к операции проверки правильности очередного условного перехода в программе. Если за время задержки импульса в элементе 4 не произошло сравнения кодов в схеме 9;, или 1 О;, т,е. произошла ошибка при выполнении команды условного перехода, то триггер 5; остается в единичном состоянии и на выходе элемента ИПИ 6 присутствует высокий потенциал, открывающий элемент И 7, Импульс, задержанный в элементе 4 задержки, проходит через. открытый элемент И 7 на выход устрой" ства и далее на пульт оператора (не показан), сигнализируя об ошибке в программе.Формула изоб ретенияУстройство для контроля хода программ, содержащее блок. регистров адресов контрольных точек, и блоков регистров эталонных значений, где и - количество контрольных точек, эле. - мент задержки, и блоков элементов И, первый и второй элементы ИЛИ и элемент И, причем выход первого элемента ИЛИ соединен с входом элемента задержки, о т л и ч а ю щ е е с я тем, что, с целью расширения контролирующих возможностей, оно дополнительно содержит три группы схем сравнения по и схем сравнения каждая группу из и элементов РЛИ и группу из и триггеров, причем информационные выходы блока регистров адресов контрольных точек соединены с первыми входами схем сравнения первой группы, адресные входы устройства соединены с вторыми входами схем сравнения первой группы и первой группой входов первого блока элементов И,. выходы равенства схем сравнения первой группы соеСоставитель А.СигаловРедактор Л.пчолинская Техред Л.СердюковаКорректор Н,Ревская Заказ 401 Тираж 562 ПодписноеВНИИПИ Государственного комитета по изобретениям и открытиям при ГКНТ СССР113035, Москва, Ж Раушская наб., д. 4/5 Производственно-издательский комбинат ффПатент", г.уагород, ул. Гагарина, 101 15 дннены с соответствующими входами первого элемента ИЛИ и с единичными. входами соответствующих триггеров группы, единичный выход каздого 1-го триггера группы (где х, п),соединен соответственно с -м входом вто- рого элемента ИЛИ и второй группой входов д-го блока элементов И, выходы -го блока элементов И соединены с первыми входами второго и третьего блоков схем сравнения, первый и второй выходы -го блока регистров эта 43409 6донных значений соединены с первымивходами соответственно д-х схем сравнения второй и третьей групп, выходыравенства которых соединены соответственно с первым и вторьи входами д-гоэлемента ИЛИ г.руппы, выход которогосоединен с нулевым входом д-го триггера группы, выходы элемента задерж ки и второго элемента ИПИ соединенысоответственно с первым и вторым входами элемента И, выход которого является выходом ошибки устройства.