Fakulta informačních technologií VUT v Brně

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
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
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"
}
Nahoru