Разработка базовой инструментальной среды для верификации RTL описаний, полученных в результате компиляции : Автореф. ... канд. техн. наук по спец. 05.13.03- Вычислительные машины, комплексы, системы, сети, их элементы и устройства / П.С.Маргарян.
Նյութի տեսակ։
ՏեքստԼեզու: Ռուսերեն Հրատարակման մանրամասներ։ Ереван, 2009.Նկարագրություն։ 19 сԱյլ վերնագիր։ - Կոմպիլյացիայի միջոցով ստացված RTLնկարագրությունների վերիֆիկացիայի համար հիմքային գործիքային միջավայրի մշակումը. Սեղմ. Ե.13.03- «Հաշվողական մեքենաներ, համալիրներ, համակարգեր, ցանցեր, դրանց տարրերը և սարքավորումները» մասն. տեխն. գիտ. թեկն [Զուգահեռ վերնագիր]
| Նյութի տեսակ | Ընթացիկ գրադարան | Դարակային համար | Վիճակ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
|---|---|---|---|---|---|---|
Dissertation, Thesis
|
Z | Հասանելի |
Ин-т проблем информатики и автоматизации НАН РА
Науч. рук.: акад. НАН РА, д.ф.-м.н., проф. С.К.Шукурян
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։