Detail publikace

Automation and Optimization of Coverage-driven Verification

ZACHARIÁŠOVÁ, M.; KOTÁSEK, Z. Automation and Optimization of Coverage-driven Verification. In Proceedings of the 18th Euromicro Conference on Digital Systems Design. Funchal: IEEE Computer Society, 2015. p. 87-94. ISBN: 978-1-4673-8035-5.
Název česky
Automatizace a optimalizace verifikace řízené pokrytím
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Zachariášová Marcela, Ing., Ph.D. (UPSY)
Kotásek Zdeněk, doc. Ing., CSc.
Klíčová slova

functional verification automation optimization genetic algorithm

Abstrakt

Článek popisuje novou metodu pro automatizaci a optimalizaci verifikace založené na pokrytí pomocí genetického algoritmu. Tato metoda byla otestována na dvou systémech: ALU a RISC procesoru. 

Rok
2015
Strany
87–94
Sborník
Proceedings of the 18th Euromicro Conference on Digital Systems Design
ISBN
978-1-4673-8035-5
Vydavatel
IEEE Computer Society
Místo
Funchal
DOI
10.1109/DSD.2015.34
UT WoS
000382382300012
EID Scopus
2-s2.0-84958158712
BibTeX 
@inproceedings{BUT119894,
  author="Marcela {Zachariášová} and Zdeněk {Kotásek}",
  title="Automation and Optimization of Coverage-driven Verification",
  booktitle="Proceedings of the 18th Euromicro Conference on Digital Systems Design",
  year="2015",
  pages="87--94",
  publisher="IEEE Computer Society",
  address="Funchal",
  doi="10.1109/DSD.2015.34",
  isbn="978-1-4673-8035-5"
}
Nahoru