Faculty of Information Technology, BUT

Publication Details

Application of Evolutionary Computing for Optimization of Functional Verification

ZACHARIÁŠOVÁ Marcela. Application of Evolutionary Computing for Optimization of Functional Verification. In: Počítačové architektury a diagnostika 2014. Liberec: Liberec University of Technology, 2014, pp. 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
Conference
Počítačové architektury a diagnostika 2014, Malá Skála, CZ
ISBN
978-80-7494-027-9
Publisher
Liberec University of Technology
Place
Liberec, CZ
BibTeX
@INPROCEEDINGS{FITPUB10760,
   author = "Marcela Zachari\'{a}\v{s}ov\'{a}",
   title = "Application of Evolutionary Computing for Optimization of Functional Verification",
   pages = "135--140",
   booktitle = "Po\v{c}\'{i}ta\v{c}ov\'{e} architektury a diagnostika 2014",
   year = 2014,
   location = "Liberec, CZ",
   publisher = "Liberec University of Technology",
   ISBN = "978-80-7494-027-9",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10760"
}
Back to top