Témák böngészése

Ezen az oldalon a Portálra feltöltött szakdolgozat és diplomaterv témák között böngészhet.

  • Konzulens választásához előbb válassza ki a tanszéket!

Találatok

Összesen 16 találat.Exportálás Excelbe

Objektum orientált verifikációs eljárások

Dr. Fehér Béla (MIT)
Barabás Bonifác (BSc képzés, villamosmérnöki szak, 2010-2011. tavasz)

Processzor szimulátorok vizsgálata

Lazányi János Gyula (MIT)
Wacha Gábor József (MSc képzés, villamosmérnöki szak, 2012-2013. ősz)

Memóriavezérlő modul verifikációja "e" nyelven

Dr. Fehér Béla (MIT)
Horváth Tamás (MSc képzés, villamosmérnöki szak, 2013-2014. tavasz)

UVM alapú PCI verifikáció

Dr. Fehér Béla (MIT)
Szabó Ákos Péter (BSc képzés, villamosmérnöki szak, 2014-2015. ősz)

LPC busz validálása szimulációval

Dr. Horváth Péter (EET)
Juhász Attila Zsolt (BSc képzés, villamosmérnöki szak, 2014-2015. ősz)

Beágyazott szoftver verifikáció virtuális környezetben

Kökényesi Tamás (AUT)
Denke Ákos (BSc képzés, villamosmérnöki szak, 2014-2015. ősz)

PCI IP verifikációja UVM alapokon

Dr. Fehér Béla (MIT)
Vékony Gergő (BSc képzés, villamosmérnöki szak, 2014-2015. ősz)

UVM alapú soros interfész verifikáció

Dr. Fehér Béla (MIT)
Hoffman Márk (MSc képzés, villamosmérnöki szak, 2015-2016. ősz)

Verifikációs környezet fejlesztése PCI Express eszközökhöz

Szántó Péter (MIT)
Papp Balázs (MSc képzés, villamosmérnöki szak, 2015-2016. tavasz)

Network on a Chip megvalósítása

Wacha Gábor József (MIT)
Nickl István (MSc képzés, villamosmérnöki szak, 2017-2018. ősz)

RTL IP verifikációja UVM segítségével.

Dr. Ress Sándor László (EET)
Kovács Dániel (BSc képzés, villamosmérnöki szak, 2017-2018. ősz)