Մարգարյան, Պավլուշ Սեյրանի

Информатика

Աշխատությունը նվիրված է կոմպիլյացիայի միջոցով ստացված RTL նկարագրությունների վերիֆիկացիայի համար հիմքային գործիքային միջավայրի մշակմանը։ Հետազոտության կենտրոնում թվային ապարատային համակարգերի նախագծման այն փուլն է, երբ բարձր մակարդակի նկարագրությունը փոխակերպվում է Register Transfer Level ներկայացման, և անհրաժեշտ է ստուգել ստացված նկարագրության կառուցվածքային ու ֆունկցիոնալ համապատասխանությունը սկզբնական պահանջներին։ RTL վերիֆիկացիան կարևոր նշանակություն ունի նախագծման սխալների վաղ հայտնաբերման համար, քանի որ նույնիսկ փոքր տրամաբանական կամ կառուցվածքային շեղումները կարող են հետագա փուլերում հանգեցնել համակարգի աշխատանքի խափանումների և նախագծի վերամշակման զգալի ծախսերի։ Աշխատանքում կարող են ուսումնասիրվել RTL նկարագրությունների կառուցվածքը, կոմպիլյացիայի արդյունքում առաջացող հնարավոր խնդիրները և դրանց ավտոմատ կամ կիսաավտոմատ հայտնաբերման եղանակները։ Առանձնահատուկ ուշադրություն է դարձվում վերիֆիկացիայի գործիքային միջավայրի ճարտարապետությանը, դրա հիմնական բաղադրիչների փոխազդեցությանը, տվյալների մշակման և վերլուծության մեխանիզմներին, ինչպես նաև վերիֆիկացիոն գործընթացի ավտոմատացման հնարավորություններին։ Մշակվող միջավայրը կարող է նախատեսել RTL կոդի ստուգման, մոդելավորման, արդյունքների համեմատության, սխալների հայտնաբերման և դրանց վերաբերյալ տեղեկատվության տրամադրման գործառույթներ։ Կարևոր խնդիր է նաև ստացված նկարագրությունների տարբեր մակարդակների կամ ներկայացումների միջև համապատասխանության ստուգումը, ինչը հնարավորություն է տալիս գնահատել կոմպիլյացիայի արդյունքում պահպանված ֆունկցիոնալ վարքը։ Աշխատանքը կարող է անդրադառնալ նաև փորձարկման սցենարների ձևավորմանը, վերիֆիկացիոն չափանիշների սահմանմանը և գործիքային միջավայրի արդյունավետության գնահատմանը՝ տարբեր բարդության թվային նախագծերի օրինակներով։ Նման մոտեցումը նպաստում է ապարատային համակարգերի նախագծման գործընթացի հուսալիության բարձրացմանը, սխալների հայտնաբերման ժամանակի կրճատմանը և վերիֆիկացիայի աշխատանքների ավելի համակարգված կազմակերպմանը։ Աշխատությունը կարող է հետաքրքրել թվային համակարգերի նախագծմամբ, ապարատային նկարագրության լեզուներով, EDA գործիքներով և համակարգերի վերիֆիկացիայով զբաղվող մասնագետներին, ինչպես նաև համապատասխան ոլորտների հետազոտողներին և ուսանողներին։