Memória menedzser kiegészítés UVM (Universal Verification Methodology) memóriához (Veriests)

Tanszéki konzulens: 
A munkatárs fényképe
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 digitális rendszerben szinte kivétel nélkül előfordul olyan megvalósítás, amikor a rendszerhez kapcsolódó memóriában tárolnak különböző vezérlő információkat pl. rendszer bootolás külső Flash memóriából, DMA átvitel vezérlése stb. Általában a memóriában valamilyen magasabb szintű struktúrákat használnak a kontroller információk tárolására. A verifikáció során használt, jelenleg rendelkezésre álló UVM szabványt megvalósító könyvtárakban sajnos nincs támogatás egy magasabb szintű memóriaszervezés megvalósítására.
 
Jelen feladat elvégzése során a cél egy újra felhasználható, memória objektumokon alapuló, magasabb szintű memória menedzsmentet lehetővé tévő csomag tervezése és leimplementálása SystemVerilog nyelven.
 
A hallgató feladatai:
  • Megismerkedni a SytemVerilog verifikációs nyelvvel
  • Megismerkedni az UVM verifikációs szabvánnyal, kitérve a regiszter és memória modellezési képességekre
  • A későbbi munka elvégzéséhez elkészíteni egy fejlesztői környezetet már meglévő verifikációs komponensek felhasználásával
  • Megtervezni és leimplementálni egy újra felhasználható UVM memória menedzsment csomagot a következő funkciók figyelembevételével:
    • Memória objektum osztályt használ, amelyek a felhasználók számára minden a memória kezeléshez szükséges eszközt tartalmaznak
    • Képes memória objektumokat generálni, és ezeket valamilyen lefoglalási stratégiával allokálni (allocation)
    • Képes már meglévő memória tartalmat beolvasni és a kívánt objektumokat felépíteni (parsing)
  • A fejlesztői környezetben minden a csomagban megvalósított funkció leellenőrzésére egy megfelelő teszteset leimplementálása
  • Elkészíteni egy „User guide” jellegű dokumentációt 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 BSc hallgató jelentkezését várjuk, a téma szakdolgozattá bővíthető.
Jelentkezési határidő: regisztrációs hét vége.
 
Kapcsolat: Sági Péter (peters@veriests.com)
https://www.veriests.com/hungary
© 2010-2024 BME MIT