Устройство для контроля счетных программ
Изобретение относится к вычислительной технике и может быть использовано в устройсчтвах отладки программ, устройствах контроля промышленности выполнения программ ЦВМ. Цель изобретения - повышение диагностических возможностей устройства за счет контроля сложных операторов, вычисляющих элементарные монотонно возрастающие функции внутри интервала эталонных значений. Устройство содержит регистры 3, 4, 9, схемы 5, 6 сравнения, формирователи 7, 8 импульсов, триггер 10, элемент И 11, элемент задержки 12, элемент ИЛИ 13, элемент И 14, блок 15 выделения интервала с соответствующими связями. 1 з.п. ф-лы, 2 ил.
СОЮЗ СОВЕТСКИХ
COUHAЛИСТИЧЕСНИХ
РЕСПУБЛИН (19) (11) ()) (Л 06 F 11/28
ГОСУДАРСТВЕННЫЙ КОМИТЕТ
ПО ИЗОБРЕТЕНИЯМ И ОТКРЫТИЯМ
ПРИ ГКНТ СССР
ОПИСАНИЕ ИЗОБРЕТЕНИЯ
Н ABTOPCHOMV СВИДЕТЕЛЬСТВУ !
1 (21) 4384872/24-24 (22) 15 ° 01 ° 88 (46) 07.12,89, Бюл, )) 45 (12) В,Л,Лясковский, N,Â,Прокофьев и А С,Скорытченко (53) 681.3 (088 ° 8) (56) Авторское свидетельство СССР
У 63661 1, кл, 0 06 F 11/00, 1977, Авто)рское свидЕтельство СССР
У 14 187 1 9> кл,
ПРОГРАММ (57) Изобретение относится к вычислительной технике и может быть использовано в устройствах отладки прог2 рамм, устройствах контроля промьппленности выполнения программ ЦВМ,Цель изобретения — повьппение диагностических возможностей устройства эа счет контроля сложных операторов, вычисляющих элементарные монотонно возрастающие функции внутри интервала эталонных значений, Устройство содержит регистры 3, 4, 9, схемы 5, 6 сравнения, формирователи 7, 8 импульсов, триггер 10, элемент И 11, элемент задержки 12, элемент ИЛИ 13, элемент
И 14, блок 15 выделения интервала с соответствующими связями, 1 з,п.ф-лы, 2 ил, 15?7637
Иззобретение относится к вычислительной технике ч может быть исг ользовя«о в устройствах отладки программ, устройствах контроля правильности выпnлнения программ IIBM, IIeni изобретения — повышение диагностических возможностей устройства за счет контроля сложных операторов, вычисляющих элементарные монотонно возрастающие функции внутри интервала эталонных значений.
Ия фиг.l представлена схема ггредлягле-ioro устройства; на фиг ° 2 схема блока выделеггия интервала„ 15
Устройство содержит адресный 1, nppBbIH 2, H B Tnpo« 2 и«форма«ион ные входы, регглсчры 3 и 4, первую 5 и вторую h схемы срзвнения, первый
7 и второй 8 формирователи импупь- 20 сов, регистр 9, триггер 10,элемент
И 11 элемент 12 задержки, элемент
Ю1И 13, элемент И 14, блок 15 выделения интервала, выход 16 ошибки функции, выход 17 ошибки аргумента ° 25
Блок 15 выделения интервала содержит регистр 18 аргумента, группу регистров 19 эталонных значений аргумента, первую ?0 и вторую 21 группы блоков элементов И, триггер ??,груп- 30 пу схем 23 сравнения, группу элементов H 24, элемент ИЛИ 25, груп»у регистров 26 зггачений фуггкпии, третью
27, четвертую 28 и пятую 29 группы блоков элементов И, первую 30 и вторун. 31 группы элементов ИЛИ, регистр
32 нижнзй гранины интервала, регистр
33 верхней грачипы интервала, первую
34 и вторую 35 схемы сравнения, Устройство работает следующим об- 40 раз< м.
В ис>-.одном состоянии в регистр 3 записано значение кода счетчика команд ЦВ!"1, при котором производится контролглруе ляя операция, в регистр 45
4 — значение кода счетчика команд
IIBN, при котором производится вычисление аргумента для контролируемой функции, í j".гистрах 19 i — 9 „ эталонньгх значений аргументов эта 5О лонные значения аргумента фу«кции, в регистрах 20, — 20„ значений функций — соответствующие расчетные значения фу«кции, Остальные регистры и григгеры устройства обнулены, 55
Значение адреса счетчика кома«д
ЦВМ поступает по входу 1 на схемы и 6 сравнения. Лри совпадении этого значения с кодом, яписянным R регистре 4, «л выходе схемы 6 сравнения появляется импульс, который поступает «я вход элементя 8 задержки и на с и.гхровход блока 15 выделения интервала . По информяцион«ому входу блока
l 5 выделения интервала значение аргумента функции (Х), посту«ающее по входу 2,?., ллписывлется в регистр 18 лргументл. Годержимое регистра 18 арг уме«тл и регистров 19 — l9h эталонных знлче«ий аргумента через соответстчующие группы (первую и вторую) блоков элементов И 20 и 21, открывающиеся при поступлении синхроимпульса ня вход триггера 22,переводящего его в единичное состояние, пост пает на соответствующие схемы 23 — 23 срав(и не«ия. В случае, если значение аргумента выходит эа границы допустимого интервала изменения, на соответствующих вьгходах схем 23 и 23 появляется единичный сигнал, который, проходя через элемент ИЛИ 25, поступает на выход 17 огпибки аргумента, В противном случае единичный сигнал появляется «а выходе "Равно" i-й схемы ?3 сравнения (1 = 1, п), если содержимое регистра 18 аргумента совпадает с содержимым i-го регистрà 191 эталонных значений аргумента, т.е, Х зт или ня выходах "Больше" тех схем 23 сpявнения, содержимое соответствующих регистров 19 эталонных значений аргумента которых больше содержимого регистра 18 аргумента, т.е.
9т j и на выходах "меньше" остальных схем
23 сравнения ° Единичный сигнал novзляется на выходе того элемента
И 24 группы, (1 «-1сс И-I), входы к которого подключены к схемам 23к и 23,, сравнения, соответствующим регистрам 19 и 19 „, эталонных значений аргументов, содержимое которых соответственно меньше и больше содержимого регистра 18 аргумента, т,е, 1 хн В первом случае единичный сигнал с выхода "Равно" i-й схемы 23, сравнения открывает соответствующий блок элементов И 29, пятой группы и раз— р=-шает передачу содержимого регистра значений функции ?6; через первун1 и вторую группы элементов ИЛИ 30 и э1 ?7637 6 срзннен11я получе11ного знзчения фуик— ции 1 (Х) со значением верхней границы интернала. Если Г(Х) боль111е значения верхней границы интервала, то на выходе схемы 35 сравнения появляется сигнал, поступающий на вход элемента ИЛИ 13 ° Импульс, задержанный в элементе 1? на время операции сравнения,nocTvllëåò на вход элемента И 14 ° Если на выходе одной из схем 34 и 35 сравнения присутствует сигнап, то он,проходя через элементы ИЛИ 13 и И 14, пос" на Rblxog ошибки Аункции 16 ° Формула изобретения 15 и регистры 32 и 33 верхней и нижней границ интервала и далее на входы соответствующих схем 34 и 35 сравнения ° Во втором случае единичный сигнал с выхода блока k-ro элемента И ?4 „ группы открывает соответствующие блоки элементов И 271, и 28 „ третьей и четнертой группы и разрешает передачу содержимого регистра ?6 значения функции через первую группу элементов ИЛИ 30 н регистр 32 нижней грани— цы интервала, а содержимого регистра 26 „+, значения функции чере вторую группу элементов ИЛИ 31 в регистр 33 верхней границы интервала, и далее на входь1 соответствующих схем 34 и 35 сравнения ° Импульс, задержанный в элементе 8 поступает на единичный вход триггера 1О и устанавливает его в единичное состояние, С триггера 10 высокий потенциал поступает на первы11 вход элемента И 11. При совпадении значения кода адреса счетчика команд со значением,записанным в регистре 3, что означает момент начала выполнения в программе контролируемой операции, сигнал появляется на выходе схемы 5 сравнения. Этот сигнал задерживается и формируется формирователем 7 на время выполнения контролируемой операции, поступает на второй вход элемента И ll а также на управляющий вход регистра 9, открывая его и разрешая запись значения полученной функции f(Х) с первого информационного входа 2 устройства на регистр 9, Если на входах элемента И 11 единичные сигналы, что соотнетстнует событию наличия в регистре 9 значения функции f(Õ) и наличию значений интервала в регистрах 32 и 33, то на вь1ходе элемента И 11 появляется импульс, поступающий на вход элемента 12 задержки, на вход обнуления триггеров 10 и 22, а также на управляющие входы схем 34 и 35 сравнения, В схеме 34 сравнения производится операция сравнения полученного значения функции f(X) со значением нижней границы интервала, Если значение функции f(x) меньп1е значения нижней границы интервала, то на выходе схемы 34 сравнения появляется сигнал, поступающий на вход элемента ИЛИ 13, В схеме 35 сравнения произноцится операция 1 ° Устройство для контроля счетных программ, содержащее первую и вторую 20 схемы сравнения, два формирователя импульсов, регистр, элемент задержки, дна элемента И, элемент ИЛИ, причем адресный вход устройства соединен с первым входом первой схемы сравнения, 25 о т л и ч а ю щ е е с я тем, что, с целью повышения диагностических возможностей устройства за счет контроля сложных операторов, вычисляющих элементарные монотонно возрастающие функ30 ции внутри интервала эталонных значений, в устройство введены второй и третий регистры, триггер и блок выде" ления интервала, причем адресньп1 вход устройства соединен с первым входом второй схемы сравнения, выход равенства которой соединен с синхровходом блока выделения интервала, выходы первого и второго регистра соединены соответственно с вторыми нходами первой и второй схем сравнения, выходы равенства которых соответственно через первый и второй формирователи импульсов соединены с нходом записи третьего регистра и с еди45 ничным входом триггера, выход первого формирователя импульса соединен с первым входом первого элемента И, выход первого элемента И соединен с нулевым входом триггера, с входом опроса блока выделения интернала,через элемент зац1.ржки с первым входом второго элемента И, входы значения контролируемой функции соединены с информационным11 входами третьего регистра, выход которого соединен с первым информзц1«111ным входом блока выделения интерн;1ла, нь1ход триггера соединен с втор1.111 входом первого элемента И, вход ар1умента устройства 15?7637 соединен с вторым информационным входом блока выделения инте рв ал а, пе р выл< и второй выходы ошибки контролируемой функции и выход ошибки аргумента блока выделения интервала соединены соответственно с первым и вторым входами элемента ИЛИ и с выходом <чпибки аргумента устройства, выход элемента ИЛИ соединен с вторым входом второго элемента И, выход которого является выходом ошибки контролируемой функ— ции устройства, ! 20 соединены с первыми входами элементов И второй группы, прямой выход триггера соединен с вторыми входами эneh 40 и вторыми входами i-й схемы cpавнения, выход Меньше первой схемы 2 ° Устройство по п. 1, о т л и - 5 ч а ю щ е е с я тем, что блок выделения интервала содержит и регистров эталонных значений аргумента (где n — количество контролируемых интервалов), регистр аргумента,первую, вторую, третью, четвертую, пятую и шестую группы элементов И,триггер, и схем сравнения, элемент ИЛИ, и регистров значений функции, первую и вторую группы элементов ИЛИ,регист- 25 ры верхней и нижней границ интервала, первую (и + 1)1-ю и (n + ?) — ю схемы сравнения, вход значения аргумента блока соединен с информационным входом регистра аргумента, вход g0 синхронизации блока соединен с единичнгпм входом триггера и входом записи регистра аргумента, информационный выход которого соединен с первыми входами элементов И первой гругшы, выходы регистров эталонных значений..раянсния и "Больп<е" и-й схемы срав«ения сосдиненпl соответственно с пер«ь<м H вторым входами лемента ИЛИ, в<пход которого является ошибкой аргумента блока, выход "Меньп<е i — и схемы сравнения соединен с первым пходом (1 — 1)-го элемента И третьей группы, выход Больше i-й схемь< < рав«гния соединен с вторыми входами -го элемента И третьей группы, выходы регистра эталонных значений <эункции соединены с первыми группами лемеHòîí И четRåртoé, пятой и шес-<-.й групп, выход i-го элемента И третьей груnnhl coeäèHåH соответственно с вторыми входами i-го элемента И четвертой и пятой групп, выход равенства ) -й схемы сравнения соединен с вторым ;аходом inurn элемента И шестой группы, выход i-го элемента И четвертой группы соединен с i-м входом элементов ИЛИ первой группы, выход i-го элемента И пятой группы <оединен с i-м входом элементов ИЛИ второй группы, выход i-го элемента И шестой группы соединен с (n+i)-м входом элементов ИЛИ второй и третьей групп, выходы элементов ИЛИ соединены с информационными входами регистров верхней и нижней границ интервала, выхолы которых соединены с первыми входами соответственно (n+1)-й и -ригг ра и тактовым входом (n+1)-й и (n+2)-й схем сравнения, ин<1<ормационный вход блока соединен с вторыми входами (п 4. 1)-й и (n + 2)-й схем сравнения, выходы "Больше" (и+1)-й схемы сравнения и "Меньше" (n+2)-й схе, сравнения RBJIHloTcR соответст«енно первым и вторым выходами оп<ибки блока °! 5276 37 Составитель Сигалов Техред Л. Сердюкова Корректор С.Черни Редактор В,Петрап Заказ 7511/53 Тираж 668 Подписное ВИИИПИ Государственного комитета по изобретениям и открытиям при ГЕ П СССР 113035, Москва, Ф-35, Раушская наб., д. 4/5 Производственно-издатепьский комбинат "Патент", г. Ужгород, ул. Гагарина, 101
