Detail výsledku

New Methods for Increasing Efficiency and Speed of Functional Verification Processes

ZACHARIÁŠOVÁ, M. New Methods for Increasing Efficiency and Speed of Functional Verification Processes. Počítačové architektury a diagnostika PAD 2013. Plzeň: University of West Bohemia in Pilsen, 2013. p. 111-116. ISBN: 978-80-261-0270-0.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Zachariášová Marcela, Ing., Ph.D., UPSY (FIT)
Abstrakt

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.

Klíčová slova
Functional Verification, Optimization, Acceleration
Rok
2013
Strany
111–116
Sborník
Počítačové architektury a diagnostika PAD 2013
ISBN
978-80-261-0270-0
Vydavatel
University of West Bohemia in Pilsen
Místo
Plzeň
BibTeX 
@inproceedings{BUT103591,
  author="Marcela {Zachariášová}",
  title="New Methods for Increasing Efficiency and Speed of Functional Verification Processes",
  booktitle="Počítačové architektury a diagnostika PAD 2013",
  year="2013",
  pages="111--116",
  publisher="University of West Bohemia in Pilsen",
  address="Plzeň",
  isbn="978-80-261-0270-0"
}
Projekty
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Metodiky pro návrh systémů odolných proti poruchám do rekonfigurovatelných architektur - vývoj, implementace a verifikace, MŠMT, COST, COST IC1103, zahájení: 2011-06-15, ukončení: 2015-12-31, ukončen
Metodiky pro návrh systémů odolných proti poruchám do rekonfigurovatelných architektur - vývoj, implementace a verifikace, MŠMT, COST CZ (2011-2017), LD12036, zahájení: 2012-03-01, ukončení: 2015-11-30, ukončen
Pokročilé bezpečné, spolehlivé a adaptivní IT, VUT, Vnitřní projekty VUT, FIT-S-11-1, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina Spolehlivé číslicové systémy (VZ DEPSYS)
Pracoviště
Ústav počítačových systémů (UPSY)
Nahoru