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
Zachariášová Marcela, Ing., Ph.D. (UPSY FIT VUT)
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT)
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
10.1109/DSD.2015.34
UT WoS
000382382300012
EID Scopus
2-s2.0-84958158712
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