Detail publikace

Automation of Processor Verification Using Recurrent Neural Networks

FAJČÍK Martin, ZACHARIÁŠOVÁ Marcela a SMRŽ Pavel. Automation of Processor Verification Using Recurrent Neural Networks. In: 2017 18th International Workshop on Microprocessor and SOC Test 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
2017 18th International Workshop on Microprocessor and SOC Test and Verification (MTV)
Konference
Microprocessor/SoC Test, Security & Verification 2017, Austin, Texas, US
ISBN
978-1-5386-3351-9
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
Austin, Texas, US
DOI
BibTeX
@INPROCEEDINGS{FITPUB11512,
   author = "Martin Faj\v{c}\'{i}k and Marcela Zachari\'{a}\v{s}ov\'{a} and Pavel Smr\v{z}",
   title = "Automation of Processor Verification Using Recurrent Neural Networks",
   pages = "15--20",
   booktitle = "2017 18th International Workshop on Microprocessor and SOC Test 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