TY  - BOOK
AU  - Մարգարյան,Պավլուշ Սեյրանի
ED  - Հայաստանի պետական ճարտարագիտական համալսարան (Պոլիտեխնիկ)
TI  - Կոմպիլյացիայի միջոցով ստացված RTL նկարագրությունների վերիֆիկացիայի համար հիմքային գործիքնային միջավայրի մշակումը: Ատենախոսություն՝ Ե.13.03 «Հաշվողական մեքենաներ, համալիրներ, համակարգեր, ցանցեր, դրանց տարրերը և սարքավորումները» մասնագիտությամբ տեխնիկական գիտությունների թեկնածուի գիտական աստիճանի համար 
PY  - 2009///
CY  - Երևան
KW  - Հաշվողական տեխնիկա և ավտոմատացված համակարգեր
KW  - Ատենախոսություններ
N1  - Գիտական ղեկավար՝ Ս.Կ. Շուքուրյան
ER  -