Conference paper

Č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.
Publication language:english
Original title:Program Generation Through a Probabilistic Constrained Grammar
Title (cs):Generování programu pomocí pravděpodobnostní omezené gramatiky
Pages:214-220
Proceedings:Proceedings of the 2018 21st Euromicro Conference on Digital System Design
Conference:21st Euromicro Conference on Digital Systems Design
Place:Praha, CZ
Year:2018
ISBN:978-1-5386-7376-8
DOI:10.1109/DSD.2018.00049
Publisher:IEEE Computer Society
Keywords
Probabilistic Constrained Grammar, Probabilistic
Context-Free Grammar, Stimulus, Constraint, Functional Verification
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.en?id=11709}
}

Your IPv4 address: 54.85.162.213