Detail výsledku

Random Stimuli Generation Based on a Stochastic Context-Free Grammar

ČEKAN, O.; PODIVÍNSKÝ, J.; KOTÁSEK, Z. 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. p. 295-296. ISBN: 978-1-5090-5602-6.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Čekan Ondřej, Ing., Ph.D., UPSY (FIT)
Podivínský Jakub, Ing., Ph.D., UPSY (FIT)
Kotásek Zdeněk, doc. Ing., CSc., UPSY (FIT), UTKO (FEKT)
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
Rok
2016
Strany
295–296
Sborník
Proceedings of the 2016 International Conference on Field Programmable Technology
Konference
The 2016 International Conference on Field-Programmable Technology
ISBN
978-1-5090-5602-6
Vydavatel
IEEE Computer Society
Místo
Xi'an
DOI
10.1109/FPT.2016.7929558
UT WoS
000402988900054
EID Scopus
2-s2.0-85021392546
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"
}
Projekty
Algoritmy, metody návrhu a platforma pro many-core zpracování obrazu a videa s velkou propustností a malou spotřebou energie, MŠMT, Společné technologické iniciativy, 7H14002, zahájení: 2014-04-01, ukončení: 2017-06-30, ukončen
Architektury paralelních a vestavěných počítačových systémů, VUT, Vnitřní projekty VUT, FIT-S-14-2297, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina Spolehlivé číslicové systémy (VZ DEPSYS)
Pracoviště
Ústav počítačových systémů (UPSY)
Nahoru