Detail publikace

Application of Evolutionary Computing for Optimization of Functional Verification

ZACHARIÁŠOVÁ, M.

Originální název

Application of Evolutionary Computing for Optimization of Functional Verification

Typ

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

Jazyk

angličtina

Originální abstrakt

This paper introduces a new method for optimization of coverage-driven verification (CDV) that is based on evolutionary computing. In comparison to the classical CDV that utilizes random search, using this method the convergence to the maximum coverage is much faster, fewer transactions are used and no manual effort is required from the user. Moreover, the optimization is targeted to the verification process itself without the dependence on the circuit that is verified.

Klíčová slova

Functional Verification, Optimization, Evolutionary Algorithms

Autoři

ZACHARIÁŠOVÁ, M.

Rok RIV

2014

Vydáno

24. 6. 2014

Nakladatel

Liberec University of Technology

Místo

Liberec

ISBN

978-80-7494-027-9

Kniha

Počítačové architektury a diagnostika 2014

Strany od

135

Strany do

140

Strany počet

6

BibTex

@inproceedings{BUT111672,
  author="Marcela {Zachariášová}",
  title="Application of Evolutionary Computing for Optimization of Functional Verification",
  booktitle="Počítačové architektury a diagnostika 2014",
  year="2014",
  pages="135--140",
  publisher="Liberec University of Technology",
  address="Liberec",
  isbn="978-80-7494-027-9"
}