English
Magyar
Tetszőlegesen választott digitális áramkör verifikációja Python nyelven (Veriests)
Tanszéki konzulens:
 mesteroktató
Szoba: IE336
Tel.:
+36 1 463-2066 Email: szanto (*) mit * bme * hu |
Külső konzulens:
Sági Péter A kiírás adatai
A téma státusza:
Törölt (nem látszik a listákban)
Kiírás éve:
2021
A kiírás jellege:
önálló labor, szakdolgozat/diplomaterv
A funkcionális verifikáció az ASIC (Application Specific Integrated Circuit) fejlesztés egyik fő lépése. A hardverfejlesztés része, ugyanakkor a szoftverfejlesztéshez is hasonlít. Mivel a szoftvervilág számos, nyílt forráskódú eszközzel rendelkezik, amelyet egy technikailag szakértő közösség fejlesztett ki, új trendek indultak el az ASIC verifikáció világában is. A téma célja, hogy a hallgató megismerkedjen a digitális áramkörök funkcionális verifikációjának fő lépéseivel. A hardver tetszőlegesen választható, de a verifikáció során nyílt forráskódú eszközöket és a Python alapú ellenőrzési keretrendszert kell használni.
A hallgató feladatai:
- Megismerkedni a különböző digitális hardware verifikációs technikákkal és metodológiákkal
- Megismerkedni az UVM-el, ami jelenleg használatos verifikációs szabvány
- Megismerkedni a Python nyelv alapjaival és a Python alapú verifikációs keretrendszerekkel
- Részletesen megismerni egy tetszőlegesen választott digitális modult
-
Megtervezni és leimplementálni egy Python alapú verifikációs környezetet, amelynek a következő főbb lépései vannak:
- Verifikációs terv elkészítése
- A verifikációs eszközök, szimulátorok megismerése és beüzemelése
- A megtervezett környezet leimplementálása az UVM szabvány útmutatásának megfelelően
- Test szekvenciák és esetek létrehozása
- A verifikációs terv szimulációs lefedése, regressziós analízis
- Dokumentáció létrehozása a projekt lezárásaként
A témát a Veriest Hungary Kft. hirdette meg; a feladatok elvégzéséhez a cég biztosítja a szükséges fejlesztőeszközöket.
A feladatra egy MSc hallgató jelentkezését várjuk (önálló laboratórium vagy diplomaterv).
Jelentkezési határidő: regisztrációs hét vége.
Kapcsolat: Sági Péter (peters@veriests.com)
https://www.veriests.com/hungary
Szántó Péter, 2021. január 22. 10:29 | Legutóbb frissítve: 2023. február 16. 18:13