Fakulta informačních technologií VUT v Brně

Detail publikace

Nové metody optimalizace interpretace scénářů portovatelných stimulů

BARDONEK Petr. Nové metody optimalizace interpretace scénářů portovatelných stimulů. In: Počítačové architektury a diagnostika 2019. Doksy: Academic and Medical Conference Agency, 2019, s. 1-4. ISBN 978-80-88214-20-5.
Název anglicky
New Methods of Optimizing Interpretation of Portable Stimulus Scenarios
Typ
článek ve sborníku konference
Jazyk
čeština
Autoři
Bardonek Petr, Ing. (UPSY FIT VUT)
Klíčová slova
portovatelné stimuly, funkční verifikace, procesory
Abstrakt
Neustále narůstající komplexnost hardwarových návrhů vyžaduje nejen nepřetržité zlepšování technik a postupů návrhů, ale také funkční verifikace, která se stala nedílnou součástí celého procesu. Jednou z novinek přinášející potencionální zlepšení funkční verifikace je standard pro portovatelné stimuly od organizace Accellera. Cílem dizertační práce bude podpořit využivání nového standardu pomocí různých rozšíření. Prvním krokem je vytvořit návrhové vzory, které usnadní portovatelnost mezi abstrakčními úrovněmi. Dále je cílem vytvořit propojovací systém, který umožní zaměřit verifikační scénáře z vyšších úrovní abstrakce na konkrétní oblasti (IP bloky) verifikovaného systému. Třetím krokem je automatizace verifikace pomocí algoritmu strojového učení. Posledním krokem je využítí propojovacího systému pro zaměření algoritmu strojového učení na konkrétní oblast verifikovaného systému.
Rok
2019
Strany
1-4
Sborník
Počítačové architektury a diagnostika 2019
Konference
Počítačové architektury a diagnostika 2019, Doksy, CZ
ISBN
978-80-88214-20-5
Vydavatel
Academic and Medical Conference Agency
Místo
Doksy, CZ
BibTeX
@INPROCEEDINGS{FITPUB12020,
   author = "Petr Bardonek",
   title = "Nov\'{e} metody optimalizace interpretace sc\'{e}n\'{a}\v{r}\r{u} portovateln\'{y}ch stimul\r{u}",
   pages = "1--4",
   booktitle = "Po\v{c}\'{i}ta\v{c}ov\'{e} architektury a diagnostika 2019",
   year = 2019,
   location = "Doksy, CZ",
   publisher = "Academic and Medical Conference Agency",
   ISBN = "978-80-88214-20-5",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/12020"
}
Nahoru