English
Magyar
Órajel-reset egység (CRU) tervezése és verifikációja formális metodológia használatá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
Egy tipikus SoC-ben (System on Chip) található különféle modulok eltérő frekvenciákon működhetnek. Ennek kiszolgálására egy úgynevezett órajel-reset egységet (Clock Reset Unit) alkalmaznak, amelynek garantálnia kell a különböző frekvenciájú órajelek és a hozzájuk tartozó reset jelek hibamentes előállítását. Az egység verifikációjára alkalmazandó formális metodológia egy gyors és teljes ellenőrzést lehetővé tevő módszer, amelyet napjaink verifikációjában egyre elterjedtebben használnak.
A hallgató feladatai:
- Megismerkedni egy formális verifikációs nyelvvel (System Verilog Assertion)
- Megismerkedni egy órajel-reset egység tipikus felépítésével kitérve a tervezési nehézségekre
-
Egy órajel-reset egység digitális tervezése a következő fő funkciók megvalósításával:
- Állítható frekvenciájú kimeneti órajel, kimenet maszkolás, bementi forrás választás
- Órajel tartományokhoz szinkronizált reset kimenetek
-
Az elkészített hardware verifikációjának elvégzése formális metodológia alkalmazásával:
-
Verifikációs terv elkészítése a következő követelmények figyelemben vételével:
- Kimeneti órajelek ellenőrzése
- Reset kimenetek ellenőrzése
- Hibamentes működés ellenőrzése
- Lefedettség mérése a bemeneti és kimeneti paraméterekre
- A verifikációs környezet implementálása
-
Verifikációs terv elkészítése a következő követelmények figyelemben vételével:
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 BSc hallgató jelentkezését várjuk (önálló laboratórium + szakdolgozat).
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:46 | Legutóbb frissítve: 2023. február 16. 18:13