Publication Details

Program Generation Through a Probabilistic Constrained Grammar

ČEKAN Ondřej, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Program Generation Through a Probabilistic Constrained Grammar. In: Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018. Praha: IEEE Computer Society, 2018, pp. 214-220. ISBN 978-1-5386-7376-8.
Czech title
Generování programu pomocí pravděpodobnostní omezené gramatiky
Type
conference paper
Language
english
Authors
Keywords

Probabilistic Constrained Grammar, Probabilistic
Context-Free Grammar, Stimulus, Constraint, Functional Verification

Abstract

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.

Published
2018
Pages
214-220
Proceedings
Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018
Conference
21st Euromicro Conference on Digital Systems Design, FIT ČVUT, Thákurova 9, 160 00 Praha 6, CZ
ISBN
978-1-5386-7376-8
Publisher
IEEE Computer Society
Place
Praha, CZ
DOI
UT WoS
000537466600033
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11709,
   author = "Ond\v{r}ej \v{C}ekan and Jakub Podiv\'{i}nsk\'{y} and Zden\v{e}k Kot\'{a}sek",
   title = "Program Generation Through a Probabilistic Constrained Grammar",
   pages = "214--220",
   booktitle = "Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018",
   year = 2018,
   location = "Praha, CZ",
   publisher = "IEEE Computer Society",
   ISBN = "978-1-5386-7376-8",
   doi = "10.1109/DSD.2018.00049",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11709"
}
Back to top