PEROUTKA, O. Verifikace digitálního obvodu Microcore GNSS Baseband [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2018.
Posudek je v příloze pdf.
Cílem této práce byla verifikace Akviziční jednotky a Sledovací jednotky v digitálním obvodu Microcore GNSS Baseband. V prvním kapitole byl rozebrán princip globálních navigačních satelitních systémů. Ve druhé kapitole byl popsán princip činnosti testovaných jednotek. Třetí kapitola se věnovala úvodu do metodiky UVM. Ve čtvrté kapitole byly sepsány požadavky na testované jednotky. V páté kapitole byl v testovacích scénářích popsán postup k ověření požadavků. Šestá kapitola se věnovala přehledu testových procedur. V sedmé kapitole bylo popsáno verifikační prostředí pro verifikaci jednotek. Výsledky verifikace a přehled splněných a nesplněných požadavků jsou obsaženy v osmé kapitole. Odborná úroveň diplomové práce je na velmi slušné úrovni. Řešená problematika je velmi komplexní a student se chopil této výzvy velmi zodpovědně. Logická struktura diplomové práce a návaznost jednotlivých kapitol je na ucházející úrovni. Práci bych vytknul, že tab. 3 a tab. 5 popisující požadavky a scénáře na Akviziční jednotku obsahují stejné informace daného požadavku, a tudíž rozdělení do dvou separátních tabulek nebylo správné. Jedná se totiž o rozsáhle tabulky a v tomto případě došlo k neúměrnému a zbytečnému nárůstu počtu stránek. To stejné platí o tab. 4 a tab. 6 popisující Sledovací jednotku. Z práce je znatelné, že je student podrobně obeznámen s danou problematikou. Student efektivně využil dostupnou literaturu a získané znalosti použil pro zdárné dokončení diplomové práce. Na základě uvedených faktů navrhuji hodnocení diplomové práce stupněm A/85.
eVSKP id 111786