Principy generování verifikačních stimulů
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F15%3APU117058" target="_blank" >RIV/00216305:26230/15:PU117058 - isvavai.cz</a>
Výsledek na webu
<a href="http://pad2015.fai.utb.cz/files/Sbornik_PAD_2015.pdf" target="_blank" >http://pad2015.fai.utb.cz/files/Sbornik_PAD_2015.pdf</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Principy generování verifikačních stimulů
Popis výsledku v původním jazyce
Tento článek pojednává o tématu disertační práce a shrnuje aktuální stav poznání v oblasti generování stimulů založeného na omezujících podmínkách. Je zde představen návrh a základní parametry generátoru stimulů, který je vhodný pro použití především ve funkční verifikaci číslicových systémů. V rámci článku jsou rovněž definovány cíle disertační práce a dosavadní práce představující návrh a realizaci univerzálního generátoru stimulů, který je použit v praxi pro generování assemblerovských programů pro procesory.
Název v anglickém jazyce
The principles of verification stimuli generation
Popis výsledku anglicky
The paper discusses the dissertation thesis and summarizes the current state of knowledge in generating stimuli based on restrictive conditions - constraints. There is presented the design and basic parameters of the stimuli generator, which is suitable for use mainly in the functional verification of digital systems. In the paper, there are also defined dissertation goals and previous work representing the design and implementation of a universal stimuli generator, which is used in practice to generate assembly programs for processors.
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í
2015
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
Počítačové architektury a diagnostika PAD 2015
ISBN
978-80-7454-522-1
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
13-18
Název nakladatele
Fakulta aplikované informatiky, Univerzita Tomáše Bati ve Zlíně
Místo vydání
Zlín
Místo konání akce
Zlín
Datum konání akce
2. 9. 2015
Typ akce podle státní příslušnosti
CST - Celostátní akce
Kód UT WoS článku
—