Program Generation Through a Probabilistic Constrained Grammar

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F18%3APU130726" target="_blank" >RIV/00216305:26230/18:PU130726 - isvavai.cz</a>

Výsledek na webu

<a href="https://www.fit.vut.cz/research/publication/11709/" target="_blank" >https://www.fit.vut.cz/research/publication/11709/</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/DSD.2018.00049" target="_blank" >10.1109/DSD.2018.00049</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Program Generation Through a Probabilistic Constrained Grammar

Popis výsledku v původním jazyce

The paper introduces a probabilistic constrained grammar which is a newly formed grammar system for use in the area of test stimuli generation. The grammar extends the existing probabilistic context-free grammar and establishes constraints for grammar limitations. Stimuli obtained through the proposed principle are used in the functional verification of a RISC processor and coverage metrics are evaluated. The detailed information about the construction of an assembly code for processors is described, as well as the experimantal results with the implemented generator. Experiments show the expressive power of the probabilistic constrained grammar and achieved code coverage in the verification of the processor. The grammar system demonstrates that is very suitable for an assembly code generation and universal use in the area of test stimuli.

Název v anglickém jazyce

Program Generation Through a Probabilistic Constrained Grammar

Popis výsledku anglicky

The paper introduces a probabilistic constrained grammar which is a newly formed grammar system for use in the area of test stimuli generation. The grammar extends the existing probabilistic context-free grammar and establishes constraints for grammar limitations. Stimuli obtained through the proposed principle are used in the functional verification of a RISC processor and coverage metrics are evaluated. The detailed information about the construction of an assembly code for processors is described, as well as the experimantal results with the implemented generator. Experiments show the expressive power of the probabilistic constrained grammar and achieved code coverage in the verification of the processor. The grammar system demonstrates that is very suitable for an assembly code generation and universal use in the area of test stimuli.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

20206 - Computer hardware and architecture

Projekt

<a href="/cs/project/LQ1602" target="_blank" >LQ1602: IT4Innovations excellence in science</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2018

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018

ISBN

978-1-5386-7376-8

ISSN

—

e-ISSN

—

Počet stran výsledku

7

Strana od-do

214-220

Název nakladatele

IEEE Computer Society

Místo vydání

Praha

Místo konání akce

FIT ČVUT, Thákurova 9, 160 00 Praha 6

Datum konání akce

29. 8. 2018

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000537466600033