Կոմպիլյացիայի միջոցով ստացված RTL նկարագրությունների վերիֆիկացիայի համար հիմքային գործիքային միջավայրի մշակումը
Կոմպիլյացիայի միջոցով ստացված RTL նկարագրությունների վերիֆիկացիայի համար հիմքային գործիքային միջավայրի մշակումը
dc.contributor.author | Մարգարյան, Պավլուշ Սեյրանի / Margarian Pavlush | |
dc.date.accessioned | 2023-04-20T08:06:27Z | |
dc.date.available | 2023-04-20T08:06:27Z | |
dc.date.issued | 2009 | |
dc.description | Ե.13.03 «Հաշվողական մեքենաներ, համալիրներ, համակարգեր, ցանցեր, դրանց տարրերը և սարքավորումները» մասնագիտությամբ տեխնիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2009 ; Ատենախոսության թեման հաստատվել է Հայաստանի պետական ճարտարագիտական համալսարանում ; Գիտական ղեկավար՝ Ս. Կ. Շուքուրյան ; Պաշտոնական ընդդիմախոսներ՝ Վ. Գ. Սահակյան ; Առաջատար կազմակերպություն՝ Երևանի մաթեմատիկական մեքենաների գիտահետազոտական ինստիտուտ ; Սեղմագիր՝ 19 էջ։ | |
dc.description.abstract | Ժամանակակից կիսահաղորդչային արդյունաբերությունը հասել է ինտեգրման այնպիսի աստիճանի, որ մեկ բյուրեղի սահմաններում տեղավորում են բազմաֆունկցիոնալ ամբողջական համակարգեր / Работа посвящена исследованию и разработке метода и алгоритмов верификации RTL описаний, сгенерированных с помощью компилятора и их реализации в виде инструментальной программной среды | |
dc.identifier.uri | http://dspace.nla.am/handle/123456789/3600 | |
dc.language.iso | arm | |
dc.pages | Սեղմագիր՝ 19 էջ | |
dc.publication.place | Երևան | |
dc.publisher | ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ | |
dc.subject | Ինֆորմատիկա և համակարգչային համակարգեր / Informatics & Computer Systems | |
dc.title | Կոմպիլյացիայի միջոցով ստացված RTL նկարագրությունների վերիֆիկացիայի համար հիմքային գործիքային միջավայրի մշակումը | |
dc.type | Abstract | |
eperson.lastname | KT |