APB (Advanced Peripheral Bus) interconnect verifikációja funkcionális és formális verifikációs technikákkal (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: 
Aktív (aktuális, lehet rá jelentkezni)
Kiírás éve: 
2021
A kiírás jellege: 
önálló labor, szakdolgozat/diplomaterv
A napjainkban tervezett SoC-k (System on Chip) szinte mindegyikében nagy valószínűséggel használnak APB interfésszel ellátott komponenseket. Az APB protokoll, amely része az ARM Advanced Microcontroller Bus Architecture (AMBA) protokoll családjának, egy alacsony fogyasztású és kevésbé komplex ugyanakkor olcsó interfész megvalósítást tesz lehetővé. A protokoll általánosan használatos például a különböző komponensek regisztereinek eléréséhez. Az APB interfészek összeköttetését az úgynevezett APB interconnect-ben valósítják meg.
 
A feladat elvégzése során a hallgató bepillanthat a digitális áramkörök különböző verifikációs technikáiba, és versenyképes tudásra tehet szert a chipen belüli összeköttetések ellenőrzésére vonatkozóan.
 
A hallgató feladatai:
  • Megismerkedni a SytemVerilog verifikációs nyelvvel
  • Megismerkedni egy tipikus UVM (Universal Verification Methodology) verifikációs komponens felépítésével
  • Megismerkedni a formális verifikációs nyelvvel (SVA - System Verilog Assertion)
  • Megismerkedni az APB3 és APB4 szabványokkal
  • Megtervezni és leimplementálni egy UVM kompatibilis verifikációs környezetet egy APB interconnect-hez, a következő funkciók figyelembevételével:
    • Adat konzisztencia ellenőrzés
    • Funkcionális coverage gyűjtő (lefedettség mérési) komponens a végpontok hozzáférési mátrixának lefedésére
    • Több busz vezérlő támogatása
    • A buszvezérlők közötti arbitráció modellezése és ellenőrzése
  • Formális metodológia használatával ellenőrizni:
    • Hibamentes működést (SVA)
    • Késleltetéseket az egyes végpontok között
 
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 (önálló laboratórium + szakdolgozat) vagy MSc hallgató (önálló laboratórium vagy diplomaterv) jelentkezését várjuk.
 
Kapcsolat: Sági Péter (peters@veriests.com)
https://www.veriests.com/hungary
© 2010-2021 BME MIT | Hibajelentés | Használati útmutató