Detail publikace

Automation and Optimization of Coverage-driven Verification

ZACHARIÁŠOVÁ Marcela a KOTÁSEK Zdeněk. Automation and Optimization of Coverage-driven Verification. In: Proceedings of the 18th Euromicro Conference on Digital Systems Design. Funchal: IEEE Computer Society, 2015, s. 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
angličtina
Autoři
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
Konference
18th Euromicro Conference on Digital Systems Design, Funchal, PT
ISBN
978-1-4673-8035-5
Vydavatel
IEEE Computer Society
Místo
Funchal, PT
DOI
UT WoS
000382382300012
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB10951,
   author = "Marcela Zachari\'{a}\v{s}ov\'{a} and Zden\v{e}k Kot\'{a}sek",
   title = "Automation and Optimization of Coverage-driven Verification",
   pages = "87--94",
   booktitle = "Proceedings of the 18th Euromicro Conference on Digital Systems Design",
   year = 2015,
   location = "Funchal, PT",
   publisher = "IEEE Computer Society",
   ISBN = "978-1-4673-8035-5",
   doi = "10.1109/DSD.2015.34",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10951"
}
Nahoru