Digitális biztonsági modul funkcionális verifikációja UVM (Universal Verification Methodology) felhasználásával (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 feladat célja, hogy a hallgató egy tetszőlegesen választott biztonsági modul digitális verifikációja során megismerkedjen a funkcionális verifikáció lépéseivel, ahogy az az ipari környezetben is zajlik. A választott hardware lehet: CRC, ECC, AES, RSA vagy más kriptográfiai algoritmust megvalósító áramkör.
A hallgató feladatai:
- Megismerkedni a különböző digitális hardver verifikációs technikákkal és módszertanokkal
- Megismerkedni az UVM-mel, a jelenleg is használt verifikációs szabvánnyal
- Áttekinteni egy általános SoC (System on a Chip) architektúrát és néhány jellemzően használt protokollt
- Részletesen megismerni egy tetszőlegesen választott biztonsági modult/protokollt
-
Egy tetszőlegesen választott, nyílt forráskódú biztonsági modulhoz megtervezni és leimplementálni egy UVM 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
- A megtervezett környezet leimplementálása a választott HVL (Hardware Verification Language) nyelven (Specman-e vagy SystemVerilog)
- Test szekvenciák és esetek létrehozása
- A verifikációs terv szimulációs lefedése, regressziós analízis
- A létrehozott komponensek újra felhasználása egy magasabb szintű próba környezetben
- 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 diplometerv).
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:18 | Legutóbb frissítve: 2023. február 16. 18:13