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

AN APPROACH FOR AUTOMATED ASSERTION GENERATION IN TEMPLATE-BASED RTL COMPILERS

Margarian, Pavlush S. (2009) AN APPROACH FOR AUTOMATED ASSERTION GENERATION IN TEMPLATE-BASED RTL COMPILERS. ՀՀ ԳԱԱ Տեղեկագիր: Տեխնիկական գիտություններ, 62 (2). pp. 208-217. ISSN 0002-306X

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
413Kb

Abstract

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.

Item Type:Article
Additional Information:ՊՆԴՈՒՄՆԵՐ ԳԵՆԵՐԱՑՆԵԼՈՒ ԱՎՏՈՄԱՏԱՑՎԱԾ ՄՈՏԵՑՈՒՄ ՇԱԲԼՈՆՆԵՐԻ ՀԻՄԱՆ ՎՐԱ ԿԱՌՈՒՑՎԱԾ RTL ԿՈՄՊԻԼՅԱՏՈՐՆԵՐԻ ՀԱՄԱՐ / Պ. Ս. ՄԱՐԳԱՐՅԱՆ։ ПОДХОД К АВТОМАТИЧЕСКОЙ ГЕНЕРАЦИИ УТВЕРЖДЕНИЙ ДЛЯ RTL КОМПИЛЯТОРОВ, ОСНОВАННЫХ НА ШАБЛОНАХ / П. С. МАРГАРЯН.
Uncontrolled Keywords:RTL compiler’s output verification, formal verification, symbolic simulation, functional verification, model checking, hardware verification.
Subjects:T Technology > T Technology (General)
ID Code:1994
Deposited By:Fundamental Scientific Library
Deposited On:08 Jun 2011 15:17
Last Modified:12 Mar 2014 12:39

Repository Staff Only: item control page