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
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