Microprocessor verification by syntactically-controlled generation of the test programs

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.

Î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”.

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”.

В работе рассмотрен подход к синтезу стилистически и синтаксически управляемых генераторов тестовых программ (ТП). Представлена зависимость между длиной тестовых программ и распределением вероятностей на метрике качества верификации проектов микропроцессоров (МП). Были проведены детерминированный, случайный и управляемый тестовые эксперименты верификации МП. Полученные результаты явственно доказывают преимущества предложенного синтаксического под-хода по сравнению с другими методами управляемой стохастической генерации воздействий для верификации микропроцессоров и устройств типа “система на кристалле”.