Կոմպիլյացիայի միջոցով ստացված RTL նկարագրությունների վերիֆիկացիայի համար հիմքային գործիքային միջավայրի մշակումը
Կոմպիլյացիայի միջոցով ստացված RTL նկարագրությունների վերիֆիկացիայի համար հիմքային գործիքային միջավայրի մշակումը
No Thumbnail Available
Date
2009
Authors
Մարգարյան, Պավլուշ Սեյրանի / Margarian Pavlush
Journal Title
Journal ISSN
Volume Title
Publisher
ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ
Abstract
Ժամանակակից կիսահաղորդչային արդյունաբերությունը հասել է ինտեգրման
այնպիսի աստիճանի, որ մեկ բյուրեղի սահմաններում տեղավորում են
բազմաֆունկցիոնալ ամբողջական համակարգեր / Работа посвящена исследованию и разработке метода и алгоритмов верификации
RTL описаний, сгенерированных с помощью компилятора и их реализации в виде
инструментальной программной среды
Description
Ե.13.03 «Հաշվողական մեքենաներ, համալիրներ, համակարգեր, ցանցեր, դրանց տարրերը և
սարքավորումները» մասնագիտությամբ
տեխնիկական գիտությունների թեկնածուի գիտական աստիճանի
հայցման ատենախոսություն ; Երևան-2009 ; Ատենախոսության թեման հաստատվել է Հայաստանի պետական ճարտարագիտական
համալսարանում ; Գիտական ղեկավար՝ Ս. Կ. Շուքուրյան ; Պաշտոնական ընդդիմախոսներ՝ Վ. Գ. Սահակյան ; Առաջատար կազմակերպություն՝ Երևանի մաթեմատիկական մեքենաների
գիտահետազոտական ինստիտուտ ; Սեղմագիր՝ 19 էջ։
Keywords
Ինֆորմատիկա և համակարգչային համակարգեր / Informatics & Computer Systems