Detail výsledku

Random Test Generation Through a Probabilistic Constrained Grammar

ČEKAN, O.; KOTÁSEK, Z. Random Test Generation Through a Probabilistic Constrained Grammar. INFORMAL PROCEEDINGS 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Budapešť: 2018. p. 5-8.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Čekan Ondřej, Ing., Ph.D., UPSY (FIT)
Kotásek Zdeněk, doc. Ing., CSc., UPSY (FIT), UTKO (FEKT)
Abstrakt

The paper introduces a probabilistic constrained grammar which is a newly formed grammar system for the use in the area of test stimuli generation. The grammar extends the existing probabilistic context-free grammar and establishes constraints for the grammar limitations. Stimuli obtained through the proposed principle are used in functional verification of a RISC processor and the coverage metric is evaluated. The paper also contains examples of how to define a problem of assembly code generation for processors.

Rok
2018
Strany
5–8
Sborník
INFORMAL PROCEEDINGS 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems
Konference
21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems 2018
Místo
Budapešť
BibTeX 
@inproceedings{BUT168460,
  author="Ondřej {Čekan} and Zdeněk {Kotásek}",
  title="Random Test Generation Through a Probabilistic Constrained Grammar",
  booktitle="INFORMAL PROCEEDINGS 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems",
  year="2018",
  pages="5--8",
  address="Budapešť"
}
Projekty
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
Pokročilé paralelní a vestavěné počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-3994, zahájení: 2017-03-01, ukončení: 2020-02-29, ukončen
Výzkumné skupiny
Výzkumná skupina Spolehlivé číslicové systémy (VZ DEPSYS)
Pracoviště
Ústav počítačových systémů (UPSY)
Nahoru