Detail publikace

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.
Název česky
Aplikace evolučního výpočtu pro optimalizaci funkční verifikace
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Zachariášová Marcela, Ing., Ph.D. (UPSY)
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
ISBN
978-80-7494-027-9
Vydavatel
Liberec University of Technology
Místo
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"
}
Nahoru