Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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