Detail práce
Funkční verifikace robotického systému pomocí UVM
Jedním z aktuálně nejvíce využívaných přístupů pro verifikaci hardwarových systémů je funkční verifikace. Tato diplomová práce se zabývá tvorbou verifikačního prostředí s využitím metodiky UVM (Universal Verification Methodology) pro ověření korektnosti řídicí jednotky robotického systému s cílem odstranění funkčních chyb z její implementace. Teoretická část práce popisuje základní informace z oblasti funkční verifikace, metody tvorby verifikačního prostředí, jazyk SystemVerilog a problematiku zajištění odolnosti systémů proti poruchám. Následující část práce se zaměřuje na návrh verifikačního prostředí, jeho implementaci a na tvorbu testů sloužících k ověření korektnosti řídicí jednotky. V závěru práce jsou diskutovány a zhodnoceny dosažené výsledky verifikace.
funkční verifikace, SystemVerilog, UVM, odolnost proti poruchám
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 "A".
- V klasické funkční verifikaci bývá porovnáván výstup ze dvou různě implementovaných systémů dle stejné specifikace. Z jakého důvodu je v obrázku 2.1 navrhováno použití dvou stejných implementací?
- Předpokládáte, že v případě vytvoření dalších vstupů (bludišť) bude dosaženo vyššího pokrytí, případně budou odhaleny další chyby v řídící jednotce robota?
Drábek Vladimír, doc. Ing., CSc. (UPSY FIT VUT), člen
Hladká Eva, doc. RNDr., Ph.D. (FI MUNI), člen
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT), člen
Jaroš Jiří, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT), člen
@mastersthesis{FITMT15154, author = "Stanislav Kraj\v{c}\'{i}r", type = "Diplomov\'{a} pr\'{a}ce", title = "Funk\v{c}n\'{i} verifikace robotick\'{e}ho syst\'{e}mu pomoc\'{i} UVM", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2015, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/15154/" }