Detail publikace

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: Technická univerzita v Liberci, 2014, s. 135-140. ISBN 978-80-7494-027-9.
Název česky
Aplikace evolučního výpočtu pro optimalizaci funkční verifikace
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Zachariášová Marcela, Ing., Ph.D. (UPSY FIT VUT)
Klíčová slova

funkční verifikace, optimalizace, evoluční algoritmy

Abstrakt

Tento článek představuje novou metodu pro optimalizaci verifikace řízené pokrytím, která je založena na evolučním výpočtu. Použitím této metody je konvergence k maximálnímu pokrytí rychlejší, je použito méně stimulů a není vyžadována interakce od uživatele.

Rok
2014
Strany
135-140
Sborník
Počítačové architektury a diagnostika 2014
Konference
Počítačové architektury a diagnostika 2014, Malá Skála, CZ
ISBN
978-80-7494-027-9
Vydavatel
Technická univerzita v Liberci
Místo
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"
}
Nahoru