New Methods for Increasing Efficiency and Speed of Functional Verification
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F13%3APU106451" target="_blank" >RIV/00216305:26230/13:PU106451 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
New Methods for Increasing Efficiency and Speed of Functional Verification
Popis výsledku v původním jazyce
This paper describes one approach for verification of hardware systems called functional verification. Several challenges and problems connected with efficiency and speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal deals with creation of a complete coverage model of the verified system depending on the measurable attributes of a circuit. The second one aims at finding new methods how to check specific values of such attributes as fast as possible and to increase the overall efficiency of functional verification.
Název v anglickém jazyce
New Methods for Increasing Efficiency and Speed of Functional Verification
Popis výsledku anglicky
This paper describes one approach for verification of hardware systems called functional verification. Several challenges and problems connected with efficiency and speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal deals with creation of a complete coverage model of the verified system depending on the measurable attributes of a circuit. The second one aims at finding new methods how to check specific values of such attributes as fast as possible and to increase the overall efficiency of functional verification.
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>Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2013
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 2013
ISBN
978-80-261-0270-0
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
111-116
Název nakladatele
University of West Bohemia in Pilsen
Místo vydání
Plzeň
Místo konání akce
Teplá
Datum konání akce
9. 9. 2013
Typ akce podle státní příslušnosti
CST - Celostátní akce
Kód UT WoS článku
—