Detail publikace

New Methods for Increasing Efficiency and Speed of Functional Verification

ZACHARIÁŠOVÁ, M. New Methods for Increasing Efficiency and Speed of Functional Verification. 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.
Název česky
Nové metody pro zvýšení efektivity a rychlosti funkční verifikace
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Zachariášová Marcela, Ing., Ph.D. (UPSY)
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
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",
  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"
}
Nahoru