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