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

(51) 1 Л 06 Р 11/28 САНИЕ ИЗОБРЕТЕНИ АВТОР ТВ 45М,В,Прокоф етельство СССРР 11/00, 1977,ельство СССРР 11/28, 1987КОНТРОЛЯ СЧЕТНЫХ вычисли исполься к быть носи же гх о ГОСУДАРСТВЕННЫЙ КОМИТЕПО ИЗОБРЕТЕНИЯМ И ОТКРЫТПРИ Гкнт СССР(57) Изобретение оттельной технике и мзовано в устройства рамм, устройствах контроля промьппленности выполнения программ ЦВМ,11 ельизобретения - повьппение диагностических возможностей устройства эа счетконтроля сложных операторов, вычисляющих элементарные монотонно возрастающие функции внутри интервала эталонных значений, Устройство содержитрегистры 3, 4, 9, схемы 5, 6 сравнения, Формирователи 7, 8 импульсов,триггер 10, элемент И 11, элемент задержки 12, элемент ИЛИ 13, элементИ 14, блок 15 выделения интервала ссоответствующими связями, 1 з,п.ф-лы,2 ил,Изобретение относится к вычислительной технике ч может быть ис 1 ользонано н устройствах отладки программ, устройствах контроля правильности выполнения программ БМ,ель изобретения - повышение диагностических возможностей устройстваза счет контроля сложных операторон,ньчисляющих элементарные монотонно 0возрастающие функции внутри интервала эталонньх значений,На фиг, представлена схема предлагэе;ого устройства; на фиг2схема блока выделения интервала 15Устройство содержит адреснь;й 1,первый 21 и Второи ,.2 информапионные входы, реглс 1 рь 3 и 4, первую 5и вторую 6 схемы срзвнения, перньй7 и второй 8 формирователи импупьсов, регистр 9, триггер 10,элементИ 11, элемент 12 задержки, элементИЛИ 13, элемент И 14, блок 15 выделения интервала, выход 16 ошибки функции, выход 7 ошибки аргумента25Блок 15 вьделения интервала содержит регистр 18 аргумента, группурегистров 19 эталонных значений аргумента, первую О и вторую 21 группыблокон элементов И, триггер 2,группу схем 23 сравнения, группу элементов И 21, элемент ИЛИ 25, групу регистров 2 б значений функции,третью27, четвертую 28 и пятую 29 группыблоков элементов И, первую 30 и вторую 31 группь элементов ИЛИ, регистр32 нижней гранины интервала, регистр33 верхней грачипы интервала, верную34 и вторую 35 схелы сравнения,Устройство работает следующим образом,Б исходном состоянии в регистр 3записано значение кода счетчика команд ЦБМ, при котором производитсяконтролируемая операция, в регистрл - значение кода счетчика командЦВМ, при котором производится вычисление аргумента для контролируемойфункции, н р".гистрах 19- 9эталонных значений аргументов - эталонные значения аргумента функции,н регистрах 20, - 20 значенийфункций - соответствующие расчетныезначения функции, Остальные регистрыи триггеры устройства обнучены,Значение адреса счетчика командВМ поступает по входу 1 на схемыи 6 сравнения, При совпадении этогозначения с содом, ависэнньм в регистре 4, на выходе схемы 6 сравнения появляется импульс, который поступает на вход элемента 8 задержки и на с ихровход блока 15 выделения интергалэ, По информационному входу блока 15 выделения интервала значение аргумента функции (Х), постуаюн 1 ее по входу 2,2, лаписынается н регистр 18 аргумента, Годержимое регистра 18 аргументаэ и регистров 19, - 19 в эталонных значений аргумента через соответствующие группы (перную и вторую) блоков элементов И 20 и 21, открывающиеся при поступлении синхроимпульса на вход триггера 22,переводящего его в единичное состояние, пост пает на соответствующие схемы 23 - 23 сравинения, Б случае, если значение аргумента выходит эа границы допустимого интервала изменения, на соответствующих выходах схем 23 и 23 появляется единичный сигнал, который, проходя через элемент ИЛИ 25, поступает на выход 17 опибки аргументаВ противном случае единичный сигнал появляется на выходе Равно 1-й схемы 23; сравнения (1 = 1, п), если содержимое регистра 1 Я аргумента сонпадает с содержимым 1-го регистра 19 эталонных значений аргумента, т.е,- Х.ипи на выходах "Больше" тех схем 23сравнения, содержимое соответствующих регистров 19 эталонных значенийаргумента которых больше содержимогорегистра 18 аргумента, т,е.Х) Хи на выходах "меньше остальных схем23 сравненияЕдиничный сигнал появляется на выходе того элементаИ 21 группы, (1 с сс1), входыккоторого подключены к схемам 23 ки 23сравнения, соответствующимрегистрам 19 и 19 , эталонныхз лачений аргументов, содержимое которых соответственно меньше и большесодержимого регистра 18 аргумента,т,е,хкс Хфф Хк )Х или Х (ХХ+В первом случае единичный сигнал с выхода "Равно" -й схемы 23, сравнения открывает соответствующий блок элементов И 29, пятой группы и раз - р=шает передачу содержимого регистра значений функции 26; через первую и вторую группы элементов ИЛИ 30 и э 151527 И и регистры 32 и 33 верхней и нижней границ интервала и далее нд входы соответствующих схем 34 и 35 сравнения5Во втором случае единичный сигнал с выхода блока К-го элемента И 4группы открывает соответствующие блоки элементов И 27и 28третьей и четнертой группы и разрещает передачу содержимого регистра 26 значения функции через первую группу элементов ИЛИ 30 н регистр 32 нижней границы интервала, а содержимого регистра 26значения функции чере вторую группу элементов ИЛИ 31 в регистр 33 верхней границы интервала, и далее на входы соответствующих схем 34 и 35 сравненияИмпульс, задержанный в элементе 8 20 поступает на единичный вход триггера 1 О и устанавливает его в единичное состояние, С триггера 1 О высокий потенциал поступает на первьпг вход элемента И 11. 25При совпадении значения кода адреса счетчика команд со значением,записанным в регистре 3, что означает момент начала выполнения в программе контролируемой операции, сигнал поян ляется на выходе схемы 5 сравнения, Этот сигнал задерживается и дюрмируется формирователем 7 на время выполнения контролируемой операции, поступает на второй вход элемента И 11,35 а также на управляющий вход регистра 9, открывая его и разрешая запись значения полученной функции Г(Х 1 с первого информационного входа 2 устройства на регистр 9, Если на входах40 элемента И 11 единичные сигналы, что соответстнует событию наличия в регистре 9 значения функции Г(Х) и наличию значений интервала в регистрах 32 и 33, то нд выходе элемента И 11 появляется импульс, поступающий на вход элемента 12 задержки, на вход обнуления триггеров 10 и 22, а также на управляющие входы схем 34 и 35 сравнения, 50В схеме 34 сравнения производится операция сравнения полученного значения функции Г(Х) со значением нижней границы интервала, Если значение функции Г(Х) меньще значения нижней границы интервала, то ца выходе схемы 34 сравнения появляется сигнал, поступающий нд вход элементд ИЛИ 13, В схеме 35 сравнения произноцится операция 37бсрднцецця полученного значения фуцкции Г(Х) со значением верхней грдцицы ицтерндлд, Если Г(Х) больюе значения верхней границы интервала, то на выходе схемы 35 сравнения появляется сигнал, поступающий цд вход элемента ИЛИ 13, Импульс, задержанный в элементе 12 ца время операции сравнения,поступает нд вход элемента И 14Если нд выходе одной из схем 34 и 35 сравнения присутствует сигнап, то ои,проходя через элементы ИЛИ 13 и И 14, пос" тупдет д выход огпибки Ауцкции 16ф о р м у л д изобретения1Устройство для контроля счетных программ, содержащее первую и вторую схемы сравнения, два формирователя импульсов, регистр, элемент задержки, дна элемента И, элемент ИЛИ, причем адресный вход устройства соединен с первым входом первой схемы сравнения, о т л и ч а ю щ е е с я тем, что, с целью повьпцеция диагностических возможностей устройства за счет контроля сложных операторов, вычисляющих элементарные монотонно возрастающие функции внутри интервала эталонных значений, в устройство введены второй и третий регистры, триггер и блок выде" ления интервала, причем адресньпг вход устройства соединен с первым входом второй схемы сравнения, выход равенства которой соединен с синхровходом блока выделения интервала, выходы первого и второго регистра соединены соответственно с вторыми нходами первой и второй схем сравнения, выходы равенства которых соответственно через первьпг и второй формирователи импульсов соединены с нходом записи третьего регистра и с единичным входом триггера, выход первого формирователя импульса соединен с первым входом первого элемента И, выход первого элемента И соединен с нулевым входом триггера, с входом опроса блока выделения интернала,через элемент зддержки с первым входом второго элемецтд И, входы значения контролируемой функции соединены с информационными входами третьего регистра, выход которого соединен с первым цнформдшчцым входом блока выделения интервала, выход триггера соединен с вторьм входом первого элемента И, вход дргумецта устройствасоединен с вторым ицформл 1 цюццьм нходом блока выделения инте рв лл л, пе р вьп 1и второй выходы ошибки контролируемой функции и выход ошибки аргумецтлблока выделения интервала соединенысоответственно с первым и вторым входами элемента ИЛИ и с выходом ошибкиаргумента устройства, выход элементаИЛИ соединен с вторым входом второгоэлемента И, выход которого являетсявыходом ошибки контролируемой функции устройства,10 2 О соединены с первыми входами элементов И второй группы, прямой выход триггера соединен с вторыми входами элементов И первой и второй групп, выходы элемсцтов И 1-й группы (где 1 1,п) соединены соответственно с первыми 40 и вторыми входами 1-й схемы сравнения, выход Мсцьзе первой схемы 2Устройство по и. 1, о т л и - 15 ч а ю щ е е с я тем, что блок выделения интервала содержит и регистров эталонных значений аргумента(где п - количество контролируемых интервалов), регистр аргумента,первую, вторую, третью, четвертую, пятую и шестую группы элементов И,триггер, и схем сравнения, элемент ИЛИ, п регистров значений функции, первую и вторую группы элементов ИЛИ,регист ры верхней и нижней границ интервала, первую (и + 11-ю и (и + 2)-ю схемь 1 сравнения, вход значения аргумента блока соединен с информационным входом регистра аргумента, вход Зп синхронизации блока соединен с единичным входом триггера и входом записи регистра аргумента, информаццоцный выход которого соединен с первыми входами элементов И первой группы, выходы регистров эталонных зцлчеций рлццсцил и "1 опыте" и-й схемы срлвеция сосдинецы соответственно с первым и вторым входами элемента ИЛИ, ляход которого является ошибкой аргумента блока, выход цМецтшец 1 - й схемы сравнения соединен с первым пходом (1 - 1)-го элемента И третьей группы, выход Гольше д-й схемы сравнения соединен с вторыми входами : -го элемента И третьей группь 1, выходы регистра эталонных значений функции соединены с первыми группами лемецтов И четвертой, пятой и шестой групп, выход -го элемента И третьей группы соединен соответственцо с вторыми входами 1-го элемента И четвертой и пятой групп, выход равенства-й схемы сравнения соединен с вторым входом гго элемента И шес;ой группы, выход 1-го элемента И четвертой группы соединен с -м входом элементов ИЛИ первой группы, выход 1.-го элемента И пятой группы соединен с -м входом элементов ИЛИ второй группы, выход -го элемента И шестой группы соединен с (и+)-м входом элементов ИЛИ второй и третьей групп, выходы элементов ИЛИ соединецы с информационными входами регистров верхней и нижней границ интервала, выхолы которых соединены с первыми входами соответственно (п+1)-й и(и + 2)-й схем сравнения, вход опроса блока соединен с нулевым входом ригг".рл и тактовым входом (и+1)-й ц (и+2)-й схем сравнения, ицшормациоццый вход блока соединен с вторыми входами (п 4 1)-й и (и + 2)-й схем сравнения, выходы Больше" (и+1)-й хемы сгавцсция и "Меньше" (п+2)-й схемы сравнения являются соответстеццо первым и вторым выходамиошибки блокаСоставитель СигаловТехред Л. Сердюкова Корректор С,Че тра д акт водственно-издатепьский комбинат "Патент", г. Ужгород, ул. Гагарина, 1 Заказ 7511/53 Тираж 668 ПодписноеВИИИПИ Государственного комитета по изобретениям и открытиям при ГЕП ССС113035, Москва, -35, Раушская наб., д, 4/5