Conference paper

ZACHARIÁŠOVÁ Marcela. New Methods for Increasing Efficiency and Speed of Functional Verification. In: Počítačové architektury a diagnostika PAD 2013. Plzeň: University of West Bohemia in Pilsen, 2013, pp. 111-116. ISBN 978-80-261-0270-0.
Publication language:english
Original title:New Methods for Increasing Efficiency and Speed of Functional Verification Processes
Title (cs):Nové metody pro zvýšení efektivity a rychlosti funkční verifikace
Pages:111-116
Proceedings:Počítačové architektury a diagnostika PAD 2013
Conference:Počítačové architektury a diagnostika 2013
Place:Plzeň, CZ
Year:2013
ISBN:978-80-261-0270-0
Publisher:University of West Bohemia in Pilsen
Keywords
Functional Verification, Optimization, Acceleration
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=10497}
}

Your IPv4 address: 54.167.44.32
Switch to IPv6 connection

DNSSEC [dnssec]