Detail publikace

New Methods for Increasing Efficiency and Speed of Functional Verification Processes

ZACHARIÁŠOVÁ Marcela. New Methods for Increasing Efficiency and Speed of Functional Verification Processes. In: Počítačové architektury a diagnostika PAD 2013. Plzeň: Západočeská univerzita v Plzni, 2013, s. 111-116. ISBN 978-80-261-0270-0.
Název česky
Nové metody pro zvýšení efektivity a rychlosti funkční verifikace
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Zachariášová Marcela, Ing., Ph.D. (UPSY FIT VUT)
Klíčová slova

funkční verifikace, optimalizace, akcelerace

Abstrakt

Tento článek se zaměřuje na jednu z metod verifikace hardwarových systémů nazvanou funkční verifikace. Jsou identifikovány výzvy a problémy spojené s efektivitou a rychlostí funkční verifikace a na ně se zaměřujou i cíle disertační práce.

Rok
2013
Strany
111-116
Sborník
Počítačové architektury a diagnostika PAD 2013
Konference
Počítačové architektury a diagnostika 2013, Teplá, CZ
ISBN
978-80-261-0270-0
Vydavatel
Západočeská univerzita v Plzni
Místo
Plzeň, CZ
BibTeX 
@INPROCEEDINGS{FITPUB10497,
   author = "Marcela Zachari\'{a}\v{s}ov\'{a}",
   title = "New Methods for Increasing Efficiency and Speed of Functional Verification Processes",
   pages = "111--116",
   booktitle = "Po\v{c}\'{i}ta\v{c}ov\'{e} architektury a diagnostika PAD 2013",
   year = 2013,
   location = "Plze\v{n}, CZ",
   publisher = "University of West Bohemia in Pilsen",
   ISBN = "978-80-261-0270-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10497"
}
Nahoru