Program Generation Through a Probabilistic Constrained Grammar
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Program Generation Through a Probabilistic Constrained Grammar
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
20206 - Computer hardware and architecture
Result continuities
Project
<a href="/en/project/LQ1602" target="_blank" >LQ1602: IT4Innovations excellence in science</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2018
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018
ISBN
978-1-5386-7376-8
ISSN
—
e-ISSN
—
Number of pages
7
Pages from-to
214-220
Publisher name
IEEE Computer Society
Place of publication
Praha
Event location
FIT ČVUT, Thákurova 9, 160 00 Praha 6
Event date
Aug 29, 2018
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000537466600033