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

Kód výsledku v 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>

Výsledek na webu

<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

—

Jazyk výsledku

čeština

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

New Methods of Optimizing Interpretation of Portable Stimulus Scenarios

Popis výsledku anglicky

The ever-increasing complexity of hardware designs requires not only continuous improvement of design techniques and procedures, but also functional verification that has become an integral part of the process. One of the innovations bringing potential improvements in functional verification is Accellera's standard for portable stimulus. The aim of this work is to support the use of the new standard by various extensions. The first step is to create design patterns that facilitate portability between abstraction levels. Furthermore, the aim is to create linking system that will allow the verification scenarios from higher level of abstraction target specific areas (IP blocks) of the system under verification. The third step is to automate verification using a machine learning algorithm. The final step is to use the linking system to focus the machine learning algorithm on a specific area of the system under verification.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

20206 - Computer hardware and architecture

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2019

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Počítačové architektury a diagnostika 2019

ISBN

978-80-88214-20-5

ISSN

—

e-ISSN

—

Počet stran výsledku

4

Strana od-do

1-4

Název nakladatele

Academic and Medical Conference Agency

Místo vydání

Doksy

Místo konání akce

Doksy

Datum konání akce

4. 9. 2019

Typ akce podle státní příslušnosti

CST - Celostátní akce

Kód UT WoS článku

—