Կոմպիլյացիայի միջոցով ստացված RTL նկարագրությունների վերիֆիկացիայի համար հիմքային գործիքնային միջավայրի մշակումը : Ատենախոսություն՝ Ե.13.03 «Հաշվողական մեքենաներ, համալիրներ, համակարգեր, ցանցեր, դրանց տարրերը և սարքավորումները» մասնագիտությամբ տեխնիկական գիտությունների թեկնածուի գիտական աստիճանի համար /
Պ.Ս. Մարգարյան ; Գիտական ղեկավար՝ Ս.Կ. Շուքուրյան ; Հայաստանի պետական ճարտարագիտական համալսարան (Պոլիտեխնիկ).
- Երևան, 2009.
- 135 էջ ; 30 սմ.