Detail práce

Funkční verifikace robotického systému pomocí UVM

Diplomová práce Student: Krajčír Stanislav Akademický rok: 2014/2015 Vedoucí: Zachariášová Marcela, Ing., Ph.D.
Název anglicky
Functional Verification of Robotic System Using UVM
Jazyk práce
český
Abstrakt

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.

Klíčová slova

funkční verifikace, SystemVerilog, UVM, odolnost proti poruchám

Ústav
Studijní program
Informační technologie, obor Počítačové sítě a komunikace
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
23. června 2015
Oponent
Průběh obhajoby

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".

Otázky u obhajoby
  1. 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í?
  2. 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?
Komise
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT), předseda
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
Citace
KRAJČÍR, Stanislav. Funkční verifikace robotického systému pomocí UVM. Brno, 2015. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2015-06-23. Vedoucí práce Zachariášová Marcela. Dostupné z: https://www.fit.vut.cz/study/thesis/15154/
BibTeX
@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/"
}
Nahoru