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