Detail publikace

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.
Název česky
Generování náhodných stimulů založené na pravděpodobnostní bezkontextové gramatice
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Čekan Ondřej, Ing., Ph.D. (UFYZ)
Podivínský Jakub, Ing., Ph.D. (UFYZ)
Kotásek Zdeněk, doc. Ing., CSc.
Klíčová slova

Context-Free Grammar Random Stimuli Generation Stimulus Constraint

Abstrakt

Cílem příspěvku je prezentace použití pravděpodobnostní bezkontextové gramatiky v oblasti generování stimulů. Náhodně zkonstruované stimuly jsou v současnosti hojně aplikovány ve funkční verifikaci pro ověření správnosti návrhu a výsledné implementace. Bezkontextová gramatika nemůže být v oblasti generování použita sama o sobě, proto je rozšířena o omezující podmínky, které v průběhu generování optimalizují množinu přepisovacích pravidel. Cílem je vytvořit univerzální řešení pro účely generování stimulů, které může být použito pro různé systémy a různé oblasti výzkumu - např. v ověřování fault-tolerant metodik v elektromechanických systémech (implementovaných v FPGA).

Rok
2016
Strany
295–296
Sborník
Proceedings of 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"
}
Nahoru