Detail práce
Prostředí pro funkční verifikaci multi-sběrnic podle UVM standardu
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.
UVM, Verifikace, Funkční verifikace, FPGA, Multi-sběrnice
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.
- 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?
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
@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/" }