Detail publikace

Program Generation Through a Probabilistic Constrained Grammar

ČEKAN Ondřej, PODIVÍNSKÝ Jakub a KOTÁSEK Zdeněk. Program Generation Through a Probabilistic Constrained Grammar. In: Proceedings of the 2018 21st Euromicro Conference on Digital System Design. Praha: IEEE Computer Society, 2018, s. 214-220. ISBN 978-1-5386-7376-8.
Název česky
Generování programu pomocí pravděpodobnostní omezené gramatiky
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt
Tento příspěvek představuje pravděpodobnostní omezenou gramatiku, která je navržena pro použití v oblasti generování testovacích stimulů. Tato gramatika rozšiřuje existující pravděpodobnostní bezkontextovou gramatiku pomocí omezujících podmínek. Stimuly získané touto gramatikou jsou použity ve funkční verifikaci procesoru a je vyhodnoceno získané pokrytí klíčových funkcí. V příspěvku je detailně popsána konstrukce assemblerovského programu, který představuje požadovaný testovací stimul pro vybraný procesor.
Rok
2018
Strany
214-220
Sborník
Proceedings of the 2018 21st Euromicro Conference on Digital System Design
Konference
21st Euromicro Conference on Digital Systems Design, FIT ČVUT, Thákurova 9, 160 00 Praha 6, CZ
ISBN
978-1-5386-7376-8
Vydavatel
IEEE Computer Society
Místo
Praha, CZ
DOI
BibTeX
@INPROCEEDINGS{FITPUB11709,
   author = "Ond\v{r}ej \v{C}ekan and Jakub Podiv\'{i}nsk\'{y} and Zden\v{e}k Kot\'{a}sek",
   title = "Program Generation Through a Probabilistic Constrained Grammar",
   pages = "214--220",
   booktitle = "Proceedings of the 2018 21st Euromicro Conference on Digital System Design",
   year = 2018,
   location = "Praha, CZ",
   publisher = "IEEE Computer Society",
   ISBN = "978-1-5386-7376-8",
   doi = "10.1109/DSD.2018.00049",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11709"
}
Nahoru