Detail publikace

New Methods for Increasing Efficiency and Speed of Functional Verification

ZACHARIÁŠOVÁ, M.

Originální název

New Methods for Increasing Efficiency and Speed of Functional Verification

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

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.

Klíčová slova

Functional Verification, Optimization, Acceleration

Autoři

ZACHARIÁŠOVÁ, M.

Rok RIV

2013

Vydáno

9. 9. 2013

Nakladatel

University of West Bohemia in Pilsen

Místo

Plzeň

ISBN

978-80-261-0270-0

Kniha

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

Strany od

111

Strany do

116

Strany počet

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