Detail publikace
Random Stimuli Generation Based on a Stochastic Context-Free Grammar
ČEKAN Ondřej, PODIVÍNSKÝ Jakub a 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, s. 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
angličtina
Autoři
Čekan Ondřej, Ing., Ph.D. (UPSY FIT VUT)
Podivínský Jakub, Ing., Ph.D. (UPSY FIT VUT)
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT)
Podivínský Jakub, Ing., Ph.D. (UPSY FIT VUT)
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT)
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
The 2016 International Conference on Field-Programmable Technology, Xi'an, CN
ISBN
978-1-5090-5602-6
Vydavatel
IEEE Computer Society
Místo
Xi'an, CN
DOI
UT WoS
000402988900054
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11266, 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 = "295--296", 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", doi = "10.1109/FPT.2016.7929558", language = "english", url = "https://www.fit.vut.cz/research/publication/11266" }