Publication Details

New Methods for Increasing Efficiency and Speed of Functional Verification Processes

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.
Czech title
Nové metody pro zvýšení efektivity a rychlosti funkční verifikace
Type
conference paper
Language
english
Authors
Keywords
Functional Verification, Optimization, Acceleration
Abstract

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.

Published
2013
Pages
111-116
Proceedings
Počítačové architektury a diagnostika PAD 2013
Conference
Počítačové architektury a diagnostika 2013, Teplá, CZ
ISBN
978-80-261-0270-0
Publisher
University of West Bohemia in Pilsen
Place
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"
}
Back to top