Маргарян, Павлуш Сейранович <br/><br/>
Разработка базовой инструментальной среды для верификации RTL описаний, полученных в результате компиляции :  Автореф. ... канд. техн. наук по спец. 05.13.03- Вычислительные машины, комплексы, системы, сети, их элементы и устройства / 
 Կոմպիլյացիայի միջոցով ստացված RTLնկարագրությունների վերիֆիկացիայի համար հիմքային գործիքային միջավայրի մշակումը.  Սեղմ. Ե.13.03- «Հաշվողական մեքենաներ, համալիրներ, համակարգեր, ցանցեր, դրանց տարրերը և սարքավորումները» մասն. տեխն. գիտ. թեկն. 
П.С.Маргарян. 
 - Ереван,  2009. 
 - 19 с. 
<br/><br/>Ин-т проблем информатики и автоматизации НАН РА Науч. рук.: акад. НАН РА, д.ф.-м.н., проф. С.К.Шукурян 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Вычислительная техника
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Thesis