Detail publikace

Program Generation Through a Probabilistic Constrained Grammar

ČEKAN, O.; PODIVÍNSKÝ, J.; KOTÁSEK, Z. Program Generation Through a Probabilistic Constrained Grammar. In Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018. Praha: IEEE Computer Society, 2018. p. 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
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

Probabilistic Constrained Grammar, Probabilistic Context-Free Grammar, Stimulus, Constraint, Functional Verification

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 o omezující podmínky. 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. Experimenty ukazují vyjadřovací sílu pravděpodobností omezené gramatiky, získané pokrytí ve funkční verifikaci procesoru a vhodnost tohoto přístupu v oblasti generování testovacích stimulů.

Rok
2018
Strany
214–220
Sborník
Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018
ISBN
978-1-5386-7376-8
Vydavatel
IEEE Computer Society
Místo
Praha
DOI
10.1109/DSD.2018.00049
UT WoS
000537466600033
EID Scopus
2-s2.0-85056451477
BibTeX 
@inproceedings{BUT155034,
  author="Ondřej {Čekan} and Jakub {Podivínský} and Zdeněk {Kotásek}",
  title="Program Generation Through a Probabilistic Constrained Grammar",
  booktitle="Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018",
  year="2018",
  pages="214--220",
  publisher="IEEE Computer Society",
  address="Praha",
  doi="10.1109/DSD.2018.00049",
  isbn="978-1-5386-7376-8",
  url="https://www.fit.vut.cz/research/publication/11709/"
}
Nahoru