Publication Details

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.
Czech title
Nové metody pro zvýšení efektivity a rychlosti funkční verifikace
Type
conference paper
Language
English
Authors
Zachariášová Marcela, Ing., Ph.D. (DCSY)
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
ISBN
978-80-261-0270-0
Publisher
University of West Bohemia in Pilsen
Place
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"
}
Back to top