Publication detail

New Methods for Increasing Efficiency and Speed of Functional Verification

ZACHARIÁŠOVÁ, M.

Original Title

New Methods for Increasing Efficiency and Speed of Functional Verification

Type

article in a collection out of WoS and Scopus

Language

English

Original 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.

Keywords

Functional Verification, Optimization, Acceleration

Authors

ZACHARIÁŠOVÁ, M.

RIV year

2013

Released

9. 9. 2013

Publisher

University of West Bohemia in Pilsen

Location

Plzeň

ISBN

978-80-261-0270-0

Book

Počítačové architektury a diagnostika PAD 2013

Pages from

111

Pages to

116

Pages count

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"
}