Detail publikace

Automation of Processor Verification Using Recurrent Neural Networks

FAJČÍK Martin, SMRŽ Pavel a ZACHARIÁŠOVÁ Marcela. Automation of Processor Verification Using Recurrent Neural Networks. In: 18th International Workshop on Microprocessor and SOC Test, Security and Verification (MTV). Austin, Texas: Institute of Electrical and Electronics Engineers, 2017, s. 15-20. ISBN 978-1-5386-3351-9. Dostupné z: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8396943
Název česky
Automatizace verifikace pomocí neuronových sítí
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
URL
Abstrakt

Současným trendem verifikace procesorů založených na simulaci je vytvářet stimuly pomocí pseudonáhodných generátorů (PRG), aplikovat je na procesorové vstupy a sledovat dosažené pokrytí jeho funkčnosti, aby se tak zajistila úplnost verifikace. Stimuly mohou mít různé formy, například mohou být reprezentovány bitovými vektory aplikovanými na vstupné porty procesoru nebo programy, které jsou vloženy přímo do programové paměti procesoru. V této práci navrhujeme novou techniku, která dynamicky mění omezení pro PRG přes rekurentní neuronovou síť, která obdrží zpětnou vazbu ze simulace verifikovaného návrhu. Pro demonstrační účely jsme použili procesory dodávané společností Codasip, protože jejich prostor pro pokrytí je relativně velký a liší se u různých druhů procesorů. Nicméně techniky uvedené v tomto dokumentu jsou široce použitelné. Výsledky experimentů ukazují, že naša technika nejen dosáhne uzáver krytí mnohem dříve, ale jsme schopni izolovat malou sadu stimulov dosahující vysoké pokrytí, které lze použít pro běh regresních testů.

Anotace
Rok
2017
Strany
15-20
Sborník
18th International Workshop on Microprocessor and SOC Test, Security and Verification (MTV)
Konference
18th International Workshop on Microprocessor and SOC Test, Security and Verification (MTV), Austin, Texas, US
ISBN
978-1-5386-3351-9
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
Austin, Texas, US
DOI
UT WoS
000455129000004
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11512,
   author = "Martin Faj\v{c}\'{i}k and Pavel Smr\v{z} and Marcela Zachari\'{a}\v{s}ov\'{a}",
   title = "Automation of Processor Verification Using Recurrent Neural Networks",
   pages = "15--20",
   booktitle = "18th International Workshop on Microprocessor and SOC Test, Security and   Verification (MTV)",
   year = 2017,
   location = "Austin, Texas, US",
   publisher = "Institute of Electrical and Electronics Engineers",
   ISBN = "978-1-5386-3351-9",
   doi = "10.1109/MTV.2017.15",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11512"
}
Nahoru