Publication detail

Application of Evolutionary Computing for Optimization of Functional Verification

ZACHARIÁŠOVÁ, M.

Original Title

Application of Evolutionary Computing for Optimization of Functional Verification

Type

article in a collection out of WoS and Scopus

Language

English

Original Abstract

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.

Keywords

Functional Verification, Optimization, Evolutionary Algorithms

Authors

ZACHARIÁŠOVÁ, M.

RIV year

2014

Released

24. 6. 2014

Publisher

Liberec University of Technology

Location

Liberec

ISBN

978-80-7494-027-9

Book

Počítačové architektury a diagnostika 2014

Pages from

135

Pages to

140

Pages count

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