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
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"
}
Back to top