New Methods of Optimizing Interpretation of Portable Stimulus Scenarios
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F19%3APU135175" target="_blank" >RIV/00216305:26230/19:PU135175 - isvavai.cz</a>
Result on the web
<a href="https://www.fit.vut.cz/research/publication/12020/" target="_blank" >https://www.fit.vut.cz/research/publication/12020/</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Nové metody optimalizace interpretace scénářů portovatelných stimulů
Original language description
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.
Czech name
Nové metody optimalizace interpretace scénářů portovatelných stimulů
Czech description
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.
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
20206 - Computer hardware and architecture
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Počítačové architektury a diagnostika 2019
ISBN
978-80-88214-20-5
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
1-4
Publisher name
Academic and Medical Conference Agency
Place of publication
Doksy
Event location
Doksy
Event date
Sep 4, 2019
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—