Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
ČEKAN, O. PODIVÍNSKÝ, J. KOTÁSEK, Z.
Originální název
Random Stimuli Generation Based on a Stochastic Context-Free Grammar
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální abstrakt
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.
Klíčová slova
Context-Free Grammar Random Stimuli Generation Stimulus Constraint
Autoři
ČEKAN, O.; PODIVÍNSKÝ, J.; KOTÁSEK, Z.
Vydáno
7. 12. 2016
Nakladatel
IEEE Computer Society
Místo
Xi'an
ISBN
978-1-5090-5602-6
Kniha
Proceedings of the 2016 International Conference on Field Programmable Technology
Strany od
295
Strany do
296
Strany počet
2
BibTex
@inproceedings{BUT131016, author="Ondřej {Čekan} and Jakub {Podivínský} and Zdeněk {Kotásek}", title="Random Stimuli Generation Based on a Stochastic Context-Free Grammar", booktitle="Proceedings of the 2016 International Conference on Field Programmable Technology", year="2016", pages="295--296", publisher="IEEE Computer Society", address="Xi'an", doi="10.1109/FPT.2016.7929558", isbn="978-1-5090-5602-6" }