Conference paper

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.
Publication language:english
Original title:Application of Evolutionary Computing for Optimization of Functional Verification
Title (cs):Aplikace evolučního výpočtu pro optimalizaci funkční verifikace
Pages:135-140
Proceedings:Počítačové architektury a diagnostika 2014
Conference:Počítačové architektury a diagnostika 2014
Place:Liberec, CZ
Year:2014
ISBN:978-80-7494-027-9
Publisher:Liberec University of Technology
Keywords
Functional Verification, Optimization, Evolutionary Algorithms
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=10760}
}

Your IPv4 address: 54.224.13.210
Switch to IPv6 connection

DNSSEC [dnssec]