Detail práce

Prostředí pro funkční verifikaci multi-sběrnic podle UVM standardu

Bakalářská práce Student: Beneš Tomáš Akademický rok: 2021/2022 Vedoucí: Kekely Lukáš, Ing., Ph.D.
Název anglicky
Functional Verification Framework for Multi Buses Following the UVM Standard
Jazyk práce
český
Abstrakt

Práce se zabývá návrhem a následnou implementací prostředí pro verifikace multi-sběrnic s využitím principů univerzální verifikační metodologie (UVM). Dále se zabývá implementací verifikací tří FPGA konkrétních komponent využívající multi-sběrnice jako vstupní a výstupní rozhraní. Implementace prostředí i všech verifikací je napsaná v jazyce SystemVerilog s využitím knihovny implementující základní konstrukce pro UVM. Dosažené výsledky práce jsou funkční a jednoduše znovupoužitelné při tvorbě dalších verifikací využívající multi-sběrnic. Navržené prostředí se dají využít jako struktura pro tvorbu dalších verifikačních prostředí pro jiné sběrnice.

Klíčová slova

UVM, Verifikace, Funkční verifikace, FPGA, Multi-sběrnice

Ústav
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
15. června 2022
Oponent
Průběh obhajoby

Student nejprve prezentoval výsledky své práce zaměřené na problematiku funkční verifikace. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Oponent nespecifikoval v posudku žádné dotazy. V rámci obecné rozpravy odpověděl student na doplňující dotazy předsedy komise. Komise po posouzení dostupných informací a obhajoby studenta konstatuje, že se jedná o práci náročnou, kvalitní a s širokým spektrem výstupů, které již byly i prakticky nasazeny. Z těchto důvodů hodnotí komise práci stupněm A.

Otázky u obhajoby
  • Byly dále řešeny domnělé nedostatky zmíněné v posudku vedoucího práce?
  • Nad kolika různými komponentami byly navržené metody testovány?
  • Jak náročné by bylo rozšíření pro další komponenty?
Komise
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT), předseda
Hliněná Dana, doc. RNDr., Ph.D. (UMAT FEKT VUT), člen
Hradiš Michal, Ing., Ph.D. (UPGM FIT VUT), člen
Polčák Libor, Ing., Ph.D. (UIFS FIT VUT), člen
Šátek Václav, Ing., Ph.D. (UITS FIT VUT), člen
Citace
BENEŠ, Tomáš. Prostředí pro funkční verifikaci multi-sběrnic podle UVM standardu. Brno, 2022. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2022-06-15. Vedoucí práce Kekely Lukáš. Dostupné z: https://www.fit.vut.cz/study/thesis/24972/
BibTeX
@bachelorsthesis{FITBT24972,
    author = "Tom\'{a}\v{s} Bene\v{s}",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Prost\v{r}ed\'{i} pro funk\v{c}n\'{i} verifikaci multi-sb\v{e}rnic podle UVM standardu",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2022,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/24972/"
}
Nahoru