IRTUM – Institutional Repository of the Technical University of Moldova

Microprocessor verification by syntactically-controlled generation of the test programs

Show simple item record

dc.contributor.author BODEAN, G.
dc.date.accessioned 2019-04-11T07:16:42Z
dc.date.available 2019-04-11T07:16:42Z
dc.date.issued 2008
dc.identifier.citation BODEAN, G. Microprocessor verification by syntactically-controlled generation of the test programs. In: Meridian Ingineresc. 2008, nr. 4, pp. 22-28. ISSN 1683-853X. en_US
dc.identifier.issn 1683-853X
dc.identifier.uri http://repository.utm.md/handle/5014/1849
dc.description.abstract This paper presents an approach to synthesis of stylistically and syntactically controlled generator of the microprocessor test verification programs. The dependence of test length of the confidence level and the probabilities repartition of coverage metric is stated. It is developed the procedure of synthesis of a test program generator, represented by a stochastic grammar for a known microprocessor. Deterministic, random and controlled verification test experiments were performed. The obtained results clearly demonstrate the advantages of the proposed syntactic approach in comparison with others competitive methods of generation stimuli for verification of microprocessors and systems-on-chip. en_US
dc.description.abstract În lucrare este analizată tehnica de sintetizare a algoritmilor de generare stilistic şi sintactic controlată a programelor de verificare a microprocesoarelor. Este prezentată dependenţa dintre lungimea programelor de testare (PT) şi repartiţia probabilităţilor asupra indicatorului (metricii) de calitate a verificării modelului microprocesorului (MP). Pentru un MP cu descrierea cunoscută este prezentat procedeul de sinteză a gramaticii stocastice a generatorului PT. A fost efectuată verificarea MP prin testarea deterministă, aleatoare şi controlată. Rezultatele experimentelor de testare au demonstrat vădit avantajul tehnicii propuse în comparaţie cu alte metode competitive de generare a testelor de verificare a microprocesoarelor şi sistemelor ”on-chip”. ro
dc.description.abstract Dans le travail on examine l'approche de la synthèse des générateurs des programmes de test (PT) contrôler stylistique et syntaxique. Est présentée la dépendance entre la longueur des programmes de test et la distribution des probabilités sur la métrique de la qualité de la vérification des projets des micropro-cesseurs (MP). Étaient faits les expériences déterminées, probabilistiques et contrôler de test de la vérification MP. Les résultats acquis prouvent clairement les avantages de la syntaxique approche proposée en comparaison d'autres méthodes à la génération stochastique contrôler des tests pour la vérification des microprocesseurs et les dispositifs comme “le système sur le cristal”. fr
dc.description.abstract В работе рассмотрен подход к синтезу стилистически и синтаксически управляемых генераторов тестовых программ (ТП). Представлена зависимость между длиной тестовых программ и распределением вероятностей на метрике качества верификации проектов микропроцессоров (МП). Были проведены детерминированный, случайный и управляемый тестовые эксперименты верификации МП. Полученные результаты явственно доказывают преимущества предложенного синтаксического под-хода по сравнению с другими методами управляемой стохастической генерации воздействий для верификации микропроцессоров и устройств типа “система на кристалле”. ru
dc.language.iso en en_US
dc.publisher Editura U.T.M. en_US
dc.rights Attribution-NonCommercial-NoDerivs 3.0 United States *
dc.rights.uri http://creativecommons.org/licenses/by-nc-nd/3.0/us/ *
dc.subject microprocessor test verification programs en_US
dc.subject programe de verificare a microprocesoarelor en_US
dc.subject microprocesoare en_US
dc.title Microprocessor verification by syntactically-controlled generation of the test programs en_US
dc.title.alternative Verificarea microprocesoarelor prin generarea sintactic controlată a test-programelor en_US
dc.title.alternative La vérification des microprocesseurs par la syntaxique contrôlent génération des programmes de test en_US
dc.title.alternative Верификация микропроцессоров синтаксически-управляемой генерацией тестовых программ en_US
dc.type Article en_US


Files in this item

The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 United States Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 3.0 United States

Search DSpace


Browse

My Account