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)

Petri-hálók CEGAR alapú vizsgálatának kiterjesztése

Dr. Vörös András (MIT)
Hajdu Ákos (BSc képzés, mérnök informatikus szak, 2013-2014. ősz)

HDL modul verifikációja általános UVM keretrendszerben

Kis László (IIT)
Ambrus Nikolett Alma (BSc képzés, mérnök informatikus szak, 2013-2014. ősz)

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)

Petri-háló elérhetőségi algoritmusok vizsgálata

Dr. Vörös András (MIT)
Mártonka Zoltán (BSc képzés, mérnök informatikus 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)

Monitor szintézis üzenet szekvencia specifikáció alapján

Dr. Majzik István (MIT)
Takács Róbert (BSc képzés, mérnök informatikus szak, 2015-2016. ősz)

Hierarchikus állapottérképek absztrakció-alapú ellenőrzése

Hajdu Ákos (MIT)
Czipó Bence (BSc képzés, mérnök informatikus szak, 2016-2017. ő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)