Department of Computer Systems

Conference paper

ČEKAN Ondřej, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Random Stimuli Generation Based on a Stochastic Context-Free Grammar. In: Proceedings of the 2016 International Conference on Field Programmable Technology. Xi'an: IEEE Computer Society, 2016, pp. 291-292. ISBN 978-1-5090-5602-6.
Publication language:english
Original title:Random Stimuli Generation Based on a Stochastic Context-Free Grammar
Title (cs):Generování náhodných stimulů založené na pravděpodobnostní bezkontextové gramatice
Pages:291-292
Proceedings:Proceedings of the 2016 International Conference on Field Programmable Technology
Conference:The 2016 International Conference on Field-Programmable Technology
Place:Xi'an, CN
Year:2016
ISBN:978-1-5090-5602-6
Publisher:IEEE Computer Society
Keywords
Context-Free Grammar
Random Stimuli Generation
Stimulus
Constraint
Annotation
The aim of this paper is to present the use of a stochastic context-free grammar in the domain of stimulus generation. Nowadays, the randomly constructed stimuli are largely applied in functional verification to verify a proper design and final implementation. Context-free grammar cannot be used by itself in the stimuli generation, therefore, an additional logic in the form of constraints has to be applied. The aim of the research is to create versatile solution for stimuli generation that can be used for various systems. The results achieved till now are used in verifying fault tolerance qualities of electromechanical designs, the control unit of which is implemented into FPGA.
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 = {Random Stimuli Generation Based on a Stochastic Context-Free
	Grammar},
   pages = {291--292},
   booktitle = {Proceedings of the 2016 International Conference on Field
	Programmable Technology},
   year = {2016},
   location = {Xi'an, CN},
   publisher = {IEEE Computer Society},
   ISBN = {978-1-5090-5602-6},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=11266}
}

Your IPv4 address: 54.158.55.5
Switch to IPv6 connection

DNSSEC [dnssec]