Publication Details

Application of Evolutionary Computing for Optimization of Functional Verification

ZACHARIÁŠOVÁ, M. Application of Evolutionary Computing for Optimization of Functional Verification. Počítačové architektury a diagnostika 2014. Liberec: Liberec University of Technology, 2014. p. 135-140. ISBN: 978-80-7494-027-9.

Czech title

Aplikace evolučního výpočtu pro optimalizaci funkční verifikace

Type

conference paper

Language

English

Authors

Zachariášová Marcela, Ing., Ph.D. (DCSY)

Keywords

Functional Verification, Optimization, Evolutionary Algorithms

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.

Published

2014

Pages

135–140

Proceedings

Počítačové architektury a diagnostika 2014

ISBN

978-80-7494-027-9

Publisher

Liberec University of Technology

Place

Liberec

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