Publication Details
Program Generation Through a Probabilistic Constrained Grammar
Podivínský Jakub, Ing., Ph.D. (DCSY FIT BUT)
Kotásek Zdeněk, doc. Ing., CSc. (DCSY FIT BUT)
Probabilistic Constrained Grammar, Probabilistic
Context-Free Grammar, Stimulus, Constraint, Functional Verification
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.
@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"
}