Random Stimuli Generation Based on a Stochastic Context-Free Grammar
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F16%3APU121672" target="_blank" >RIV/00216305:26230/16:PU121672 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1109/FPT.2016.7929558" target="_blank" >http://dx.doi.org/10.1109/FPT.2016.7929558</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/FPT.2016.7929558" target="_blank" >10.1109/FPT.2016.7929558</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Random Stimuli Generation Based on a Stochastic Context-Free Grammar
Popis výsledku v původním jazyce
The aim of this paper is to present the use of a stochastic context-free grammar in the domain of stimulus generation. Nowadays, the randomly constructed stimuli are largely applied in functional verification to verify a proper design and final implementation. Context-free grammar cannot be used by itself in the stimuli generation, therefore, an additional logic in the form of constraints has to be applied. The aim of the research is to create versatile solution for stimuli generation that can be used for various systems. The results achieved till now are used in verifying fault tolerance qualities of electromechanical designs, the control unit of which is implemented into FPGA.
Název v anglickém jazyce
Random Stimuli Generation Based on a Stochastic Context-Free Grammar
Popis výsledku anglicky
The aim of this paper is to present the use of a stochastic context-free grammar in the domain of stimulus generation. Nowadays, the randomly constructed stimuli are largely applied in functional verification to verify a proper design and final implementation. Context-free grammar cannot be used by itself in the stimuli generation, therefore, an additional logic in the form of constraints has to be applied. The aim of the research is to create versatile solution for stimuli generation that can be used for various systems. The results achieved till now are used in verifying fault tolerance qualities of electromechanical designs, the control unit of which is implemented into FPGA.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
20206 - Computer hardware and architecture
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2016
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the 2016 International Conference on Field Programmable Technology
ISBN
978-1-5090-5602-6
ISSN
—
e-ISSN
—
Počet stran výsledku
2
Strana od-do
295-296
Název nakladatele
IEEE Computer Society
Místo vydání
Xi'an
Místo konání akce
Xi'an
Datum konání akce
7. 12. 2016
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000402988900054