Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
ZACHARIÁŠOVÁ, M.
Originální název
New Methods for Increasing Efficiency and Speed of Functional Verification
Typ
článek ve sborníku mimo WoS a Scopus
Jazyk
angličtina
Originální 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
Autoři
Rok RIV
2013
Vydáno
9. 9. 2013
Nakladatel
University of West Bohemia in Pilsen
Místo
Plzeň
ISBN
978-80-261-0270-0
Kniha
Počítačové architektury a diagnostika PAD 2013
Strany od
111
Strany do
116
Strany počet
6
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" }