UVM verifikační prostředí pro systém DMA Medusa

Loading...
Thumbnail Image
Date
ORCID
Mark
B
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract
Práca pojednáva o návrhu a implementácií verifikačného prostredia systému DMA Medusa, ktorý je určený pre vysokorýchlostný prenos sieťových dát medzi pamäťou RAM a sieťovou kartou. Verifikačné prostredie je vytvorené podľa metodiky UVM. Jeho cieľom je odhaliť funkčné chyby pomocou náhodných testov. Pred implementáciou boli definované požiadavky na vytvorené prostredie. Požiadavky vychádzajú zo špecifikácie systému a analýzy predchádzajúceho prostredia, ktoré bolo implementované podľa odlišnej metodiky. Úlohou vytvoreného prostredia je implementovať funkcionalitu pôvodného, prípadne ju vhodne rozšíriť. Nové prostredie rozširuje generovanie stimulu v rámci pamäťového modelu. Naviac implementuje aj funkčné pokrytie vybraných vlastností. U pamäťového modelu je generovanie rozšírené o náhodné poradie odbavovania požiadavkov. Funkčným pokrytím sa overuje, že generovaný stimul spĺňa požadované vlastnosti. Zameriava sa na komunikáciu verifikovaného systému s pamäťou a sieťovou komponentou.
This thesis describes design and implementation of verification environment for system DMA Medusa. DMA Medusa is hardware system used for high speed transmissions between network card and RAM. Verification environment is developed in SystemVerilog using UVM. Environment is designed with intention to find functional bugs using top level random stimulus. Testbench requirements have been defined prior to its implementation. Requirements are based on system specification and previous version of testbench. Previous version has been based on different methodology. New testbench implements the functionality of previous one. In addition, some functionality has been exteded. Implemented testbench extends previous memory model by serving memory requests in random order. It also implements functional coverage focused on communication with memory and network card. Goal of functional coverage is to monitor quality of generated stimulus.
Description
Citation
PETRUŠKA, Z. UVM verifikační prostředí pro systém DMA Medusa [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.
Document type
Document version
Date of access to the full text
Language of document
sk
Study field
Vestavěné systémy
Comittee
prof. Ing. Lukáš Sekanina, Ph.D. (předseda) doc. Ing. Vladimír Drábek, CSc. (člen) doc. Ing. Vladimír Janoušek, Ph.D. (člen) doc. Ing. Jiří Jaroš, Ph.D. (člen) Ing. Ondřej Kanich, Ph.D. (člen) Ing. Josef Strnadel, Ph.D. (člen)
Date of acceptance
2023-06-21
Defence
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm B.
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení
DOI
Collections
Citace PRO