Článek ve sborníku konference

ČEKAN Ondřej a KOTÁSEK Zdeněk. Random Test Generation Through a Probabilistic Constrained Grammar. In: INFORMAL PROCEEDINGS 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Budapešť, 2018, s. 5-8.
Jazyk publikace:angličtina
Název publikace:Random Test Generation Through a Probabilistic Constrained Grammar
Strany:5-8
Sborník:INFORMAL PROCEEDINGS 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems
Konference:21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems 2018
Místo vydání:Budapešť, HU
Rok:2018
Anotace
The paper introduces a probabilistic constrained grammar which is a newly formed grammar system for the use in the area of test stimuli generation. The grammar extends the existing probabilistic context-free grammar and establishes constraints for the grammar limitations. Stimuli obtained through the proposed principle are used in functional verification of a RISC processor and the coverage metric is evaluated. The paper also contains examples of how to define a problem of assembly code generation for processors.
BibTeX:
@INPROCEEDINGS{
   author = {Ond{\v{r}}ej {\v{C}}ekan and Zden{\v{e}}k
	Kot{\'{a}}sek},
   title = {Random Test Generation Through a Probabilistic
	Constrained Grammar},
   pages = {5--8},
   booktitle = {INFORMAL PROCEEDINGS 21st IEEE International Symposium on
	Design and Diagnostics of Electronic Circuits and Systems},
   year = 2018,
   location = {Budape{\v{s}}{\v{t}}, HU},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11605}
}

Vaše IPv4 adresa: 34.238.189.171
Přepnout na https