Օբյեկտ

Վերնագիր: AN APPROACH FOR AUTOMATED ASSERTION GENERATION IN TEMPLATE-BASED RTL COMPILERS

Ստեղծողը:

Pavlush S. Margarian

Տեսակ:

Հոդված

Հրապարակման մանրամասներ:

Լույս է տեսնում 1948 թվականից՝ տարին 4 անգամ։

Ամսագրի կամ հրապարակման վերնագիր:

ՀՀ ԳԱԱ և ՀՊՃՀ Տեղեկագիր. Տեխնիկական գիտություններ =Proceedings of the NAS RA and SEUA: Technical Sciences

Հրապարակման ամսաթիվ:

2009

Հատոր:

62

Համար:

2

ISSN:

0002-306X

Պաշտոնական URL:


Այլ վերնագիր:

ՊՆԴՈՒՄՆԵՐ ԳԵՆԵՐԱՑՆԵԼՈՒ ԱՎՏՈՄԱՏԱՑՎԱԾ ՄՈՏԵՑՈՒՄ ՇԱԲԼՈՆՆԵՐԻ ՀԻՄԱՆ ՎՐԱ ԿԱՌՈՒՑՎԱԾ RTL ԿՈՄՊԻԼՅԱՏՈՐՆԵՐԻ ՀԱՄԱՐ / Պ. Ս. ՄԱՐԳԱՐՅԱՆ։ ПОДХОД К АВТОМАТИЧЕСКОЙ ГЕНЕРАЦИИ УТВЕРЖДЕНИЙ ДЛЯ RTL КОМПИЛЯТОРОВ, ОСНОВАННЫХ НА ШАБЛОНАХ / П. С. МАРГАРЯН.

Աջակից(ներ):

Պատ․ խմբ․՝ Ա․ Գ․ Նազարով (1957-1964) ; Մ․ Վ․ Կասյան (1964-1988) ; Ռ․ Մ․ Մարտիրոսյան (1989-2017 ) ; Գլխավոր խմբ․՝ Վ․ Շ․ Մելիքյան (2018-)

Ծածկույթ:

208-217

Ամփոփում:

An approach for assertion generation which can be used for functional verification of RTL instances generated by a template-based RTL compiler is presented. The suggested approach provides automatic generation of assertions during a RTL compiler development and maintenance. An application of the approach for specific RTL compilers for illustrating the effectiveness of the approach is presented.

Հրատարակության վայրը:

Երևան

Հրատարակիչ:

ՀՀ ԳԱԱ հրատ.

Ստեղծման ամսաթիվը:

2009-06-24

Ձևաչափ:

pdf

Նույնացուցիչ:

oai:arar.sci.am:32631

Դասիչ:

АЖ 413

Թվայնացում:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Բնօրինակի գտնվելու վայրը:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Օբյեկտի հավաքածուներ:

Վերջին անգամ ձևափոխված:

Oct 11, 2024

Մեր գրադարանում է սկսած:

Mar 3, 2020

Օբյեկտի բովանդակության հարվածների քանակ:

18

Օբյեկտի բոլոր հասանելի տարբերակները:

https://arar.sci.am/publication/36334

Ցույց տուր նկարագրությունը RDF ձևաչափով:

RDF

Ցույց տուր նկարագրությունը OAI-PMH ձևաչափով։

OAI-PMH

Հրատարակության անուն Ամսաթիվ
AN APPROACH FOR AUTOMATED ASSERTION GENERATION IN TEMPLATE-BASED RTL COMPILERS Oct 11, 2024

Օբյեկտի տեսակ՝

Նման

Այս էջը օգտագործում է 'cookie-ներ'։ Ավելի տեղեկատվություն