APB (Advanced Peripheral Bus) interconnect verifikációja funkcionális és formális verifikációs technikákkal

Háttér:
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 MSc vagy BSc hallgató jelentkezését várjuk, a téma diplomamunkává vagy szakdolgozattá bővíthető.
Kapcsolat: Sági Péter (peters@veriests.com)
https://www.veriests.com/hungary