Detail publikace
New Methods for Increasing Efficiency and Speed of Functional Verification
Originální název
New Methods for Increasing Efficiency and Speed of Functional Verification
Anglický název
New Methods for Increasing Efficiency and Speed of Functional Verification
Jazyk
en
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.
Anglický 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.
BibTex
@inproceedings{BUT103591,
author="Marcela {Zachariášová}",
title="New Methods for Increasing Efficiency and Speed of Functional Verification",
annote="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.",
address="University of West Bohemia in Pilsen",
booktitle="Počítačové architektury a diagnostika PAD 2013",
chapter="103591",
edition="NEUVEDEN",
howpublished="print",
institution="University of West Bohemia in Pilsen",
year="2013",
month="september",
pages="111--116",
publisher="University of West Bohemia in Pilsen",
type="conference paper"
}