Faculty of Information Technology, BUT

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 of the 2018 21st Euromicro Conference on Digital System Design. 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 of the 2018 21st Euromicro Conference on Digital System Design
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
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 of the 2018 21st Euromicro Conference on Digital System Design",
   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