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
Konference
Mezinárodní konference o programovatelných technologiích 2016, Xi'an, CN
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