Bejelentkezés
 Fórum
 
 
Témakiírás
 
Arató Péter
Magas szintű logikai szintézis módszerek kutatása

TÉMAKIÍRÁS

Intézmény: Budapesti Műszaki és Gazdaságtudományi Egyetem
villamosmérnöki tudományok
Villamosmérnöki Tudományok Doktori Iskola

témavezető: Arató Péter
helyszín (magyar oldal): Irányítástechnika és Informatika Tanszék
helyszín rövidítés: IIT


A kutatási téma leírása:

"A gyors technológiai fejlődés egyre bonyolultabb, “intelligens”, (Intellectual Property, IP) készen kapható funkcionális egységeket kínál építőelemekként a tervezőknek. A megoldandó feladatból kiinduló rendszerspecifikáció már elképzelhetetlen a komplex építőelemeknek (IP-knek), konkrét fizikai erőforrásokként való kezelésével. A megoldandó feladatok bonyolultsága miatt elkerülhetetlenné válik több eltérő tulajdonságú IP egység komponens processzorokon történő együttes implementálása, ezáltal úgynevezett heterogén többprocesszoros architektúra (Heterogeneous Multiprocessing Architecture HMA) alakul ki. Az ilyen HMA-k tervezése során a megfelelő komponens processzorok (általános célú CPU, DSP, GPU, FPGA vagy bármilyen egyedi hardver elem) kiválasztása alapvető fontosságú, ezért jóval magasabb absztrakciós szintről kell indítani a tervezési folyamatot, amelyet emiatt rendszerszintű szintézisnek (system-level synthesis, SLS) neveznek. A kiindulási magas absztrakciós szinten az ú.n. viselkedési specifikációból (behavioral specification) kell kiindulni, amely fiktív viselkedési összetevők együttműködésének leírása. Ezek a programozható cél- és átlalános IP-k sokszor eleve csoportosítva állnak rendelkezésre (például egy adott mikrokontroller periféria-készlete) és ilyen esetben a részegységek minden lehetséges kombinációja többnyire nem érhető el, ez pedig az IP-k előzetes szisztematikus kiválasztását nehezíti.
A rendszerszintű szintézis további lépései során is előfordul, hogy egymásnak ellentmondó peremfeltételek mellett (az IP-k közötti kommunikáció sebessége, a vezérlési struktúra egyszerűsége, az ismételt felhasználás mértéke, a különböző költségtényezők egymáshoz képesti aránya, pipe-line működés biztosítása, stb.) kell a lehető legkedvezőbb megoldásokat megtalálni, lehetőleg szisztematikus lépésekben. Bizonyos esetekben szükség lehet a rendszer szintű szintézis hagyományos lépéseinek (előzetes dekompozíció, ütemezés, allokáció) a kiegészítésére is.
A szokásos teljesítménybeli követelmények mellett megjelenhetnek egyéb, bizonságos működésre (safety) vagy rendelkezésre állásra (availability) vonatkozó követelmények is, amelyek teljesítése további feltételeket szab a felhasznált algoritmussal kapcsolatban.
A tervezés automatizálása (design automation) döntő jelentőségű a rendszerszintű szintézisben, ugyanis a feladatok növekvő komplexitása miatt az intuitív tervezési eljárások nehezen kezelhetők és kevés esetben adnak elfogadható megoldást az összes követelményre nézve.
A kutatási munka célja az irodalomból ismert módszerek megismerése és értékelése alapján a fentiekben vázolt feladatokra új algoritmusok kidolgozása, valamint azok összehasonlító értékelése nemzetközi benchmark feladatok megoldása révén.
A kutatási munkának az Irányítástechnika és Informatika Tanszéken művelhető konkrét alkalmazási területei:
- jelfeldolgozó algoritmusokat megvalósító célrendszerek tervezése,
- pipeline működésű gyors feldolgozó egységek optimalizált tervezése
- bizonságkritikus ipari berendezések fejlesztése

előírt nyelvtudás: angol
további elvárások: 
a szakirodalom tanulmányozásához szükséges szintű angol nyelvtudás

felvehető hallgatók száma: 1

Jelentkezési határidő: 2021-01-05

 
Minden jog fenntartva © 2007, Országos Doktori Tanács - a doktori adatbázis nyilvántartási száma az adatvédelmi biztosnál: 02003/0001. Program verzió: 2.2358 ( 2017. X. 31. )