Աթոյան, Տիգրան Ռոբերտի

Информатика

Աշխատությունը նվիրված է համակարգ-բյուրեղի վրա (System-on-Chip, SoC) բարդ ինտեգրալ համակարգերի մոդուլային նախագծման ընթացքում համակարգային մակարդակի թեստային տեղեկատվության ստեղծման, մշակման և մեկնաբանման ծրագրային միջավայրի մշակման ու հետազոտման խնդիրներին։ Հետազոտության առանցքում նախագծվող համակարգի առանձին ֆունկցիոնալ մոդուլների և դրանց փոխազդեցության ստուգման համար անհրաժեշտ թեստային տվյալների ավտոմատ ձևավորումն է, ինչպես նաև ստացված արդյունքների վերլուծությունը՝ հնարավոր նախագծային սխալների հայտնաբերման նպատակով։ Մոդուլային մոտեցման դեպքում համակարգը կառուցվում է նախապես մշակված կամ վերօգտագործվող բաղադրիչների հիման վրա, ինչը կարող է զգալիորեն արագացնել նախագծման գործընթացը, սակայն միաժամանակ մեծացնում է տարբեր մոդուլների համատեղ աշխատանքի և միջմոդուլային կապերի ստուգման նշանակությունը։ Հետազոտության շրջանակում կարող են ուսումնասիրվել թեստային հաջորդականությունների ձևավորման սկզբունքները, մոդուլների մուտքային և ելքային ազդանշանների ներկայացումը, համակարգային մակարդակում ֆունկցիոնալ վարքի մոդելավորումը և թեստավորման արդյունքների ավտոմատ մեկնաբանման մեխանիզմները։ Առանձնահատուկ ուշադրություն կարող է հատկացվել այնպիսի ծրագրային միջավայրի կառուցվածքին, որը հնարավորություն է տալիս միավորել թեստերի գեներացումը, մոդելավորման գործընթացը, ստացված տվյալների հավաքագրումը և արդյունքների վերլուծությունը մեկ ընդհանուր նախագծային հոսքի մեջ։ Կարևոր խնդիր է թեստավորման ծավալի և հաշվարկային բարդության կառավարումը, քանի որ ժամանակակից ինտեգրալ համակարգերը կարող են ներառել մեծ թվով փոխկապակցված ֆունկցիոնալ հանգույցներ։ Այդ պատճառով անհրաժեշտ է առանձնացնել համակարգի առավել նշանակալի վիճակներն ու փոխազդեցությունները և ապահովել դրանց նպատակային ստուգումը։ Հետազոտությունը կարող է անդրադառնալ նաև թեստային տեղեկատվության ձևաչափերի միասնականացմանը և տարբեր նախագծային մոդուլների միջև տվյալների փոխանակման կազմակերպմանը, ինչը կարևոր է վերօգտագործվող բաղադրիչների վրա հիմնված նախագծման համար։ Ստացված արդյունքների մեկնաբանման միջոցները կարող են հնարավորություն տալ համեմատելու սպասվող և փաստացի վարքը, հայտնաբերելու անհամապատասխանությունները և տեղայնացնելու դրանց հնարավոր աղբյուրը համակարգի համապատասխան հատվածներում։ Նման միջավայրերի զարգացումը կարևոր նշանակություն ունի էլեկտրոնային նախագծման ավտոմատացման համակարգերի համար՝ նպաստելով նախագծման վաղ փուլերում սխալների հայտնաբերմանը և վերջնական համակարգի ֆունկցիոնալ հուսալիության բարձրացմանը։ Ընդհանուր առմամբ աշխատանքը համադրում է ինտեգրալ սխեմաների ավտոմատացված նախագծման, համակարգային մոդելավորման, ֆունկցիոնալ ստուգման և թեստային տեղեկատվության մշակման մոտեցումները՝ նպատակ ունենալով կատարելագործել մոդուլային սկզբունքով կառուցվող համակարգ-բյուրեղների նախագծման և ստուգման գործընթացները։