ŠATINSKÝ, O. Návrh verifikačního prostředí v jazyce SystemC [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2025.
Výstupom práce je UVM testbench v jazyku SystemC a porovnanie voči najbežnejšie používanej implementácii UVM v jazyku SystemVerilog. Jednalo sa o náročnejšie zadanie. Študentovi sa podarilo naimplementovať funkčnú verziu testbench. Poradil si aj s prekážkami v riešení práce.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Informace k zadání | Prácu hodnotím ako náročnejšiu. Vyžadovala naštudovanie problematiky, ktorá sa nepreberá na bakalárskom štúdiu. Oceňujem, že si študent poradil aj s absenciou simulačného nástroja (nebolo možné vyriešiť update nástroja Questa pre potreby práce). Podarilo sa mu úspešne odladiť celý UVM testbench v jazyku SystemC a dokonca experimentálne skúsiť niekoľko menších rozšírení. | ||
| Práce s literaturou | Študent pracoval s doporučenou literatúrou. | ||
| Aktivita během řešení, konzultace, komunikace | Študent bol vždy pripravený, aktívne prácu konzultoval. | ||
| Aktivita při dokončování | Práca bola dokončená včas, finálny obsah bol konzultovaný. | ||
| Publikační činnost, ocenění |
I přes nedostatky technické zprávy (minimální rozsah plus prezentační, typografické a jazykové nedostatky) hodnotím realizační výstup jako kvalitně zpracovaný a závěry práce v otázce použitelnosti knihovny UVM SystemC jako poučné a potenciálně zajímavé i pro praxi. I s ohledem na mírné rozšíření nad rámec původního zadání proto hodnotím bakalářskou práci jako celek známkou C.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Náročnost zadání | Verifikační prostředí zmíněné v zadání práce je díky malé složitosti uvažované ALU poměrně jednoduché. Náročnost zadání je však významně ovlivněna požadavkem na použití ne až tak rozšířené knihovny UVM SystemC. Ve výsledku proto považuji zadání za průměrně obtížné. | ||
| Rozsah splnění požadavků zadání | Zadání práce bylo zcela splněno a práce obsahuje i drobné rozšíření nad rámec zadání. Tímto rozšířením je srovnání UVM SystemVerilog a UVM SystemC (viz kapitola 7), které reflektuje praktické zkušenosti studenta nabyté při řešení bakalářské práce. | ||
| Rozsah technické zprávy | Rozsah technické zprávy jen lehce překračuje minimální požadavky. Obrázky 3.1 a 5.1 by přitom mohly být kompaktnější a i množství uvedených výpisů (zvláště v kapitolách 5 a 6) by mohlo být menší. Zároveň lze v technické zprávě (zvláště v kapitolách 5 a 6) identifikovat místa, která by si zasloužila detailnější popis. Výsledná podoba technické zprávy ve mně tedy vyvolává dojem nedostatku času věnovaného práci na technické zprávě. | ||
| Prezentační úroveň technické zprávy | 70 | Technická zpráva je smysluplně členěna do kapitol, které čtenáři srozumitelné představují téma bakalářské práce od obecných principů přes konkrétní řešení až po získané zkušenosti. U některých kapitol by vzhledem k jejich malému rozsahu bylo možné uvažovat o sloučení, nicméně zvolené členění dle mého názoru nemá negativní vliv na pochopitelnost práce. Technická zpráva by si spíše zasloužila doplnění textového popisu několika tabulek (viz tabulky 5.1-5.4 a tabulka 6.1), které jsou bez dalšího komentáře vloženy do technické zprávy. | |
| Formální úprava technické zprávy | 67 | Po jazykové a typografické stránce obsahuje technická zpráva několik nedostatků. Mezi ty nejzávažnější řadím několikanásobný výskyt oblastí textu složených pouze z jednovětných odstavců (viz např. první strany kapitol 1, 3 a 4 nebo sekce 5.1). Zbývající typografické a jazykové nedostatky technické zprávy - chybějící/přebývající čárky, nesprávné spojení číslic a slov, nevhodné výrazy na koncích řádků, překlepy - se sice v práci vyskytují, ale dle mého názoru je to v menší míře, než jaká je u bakalářských prací běžná. | |
| Práce s literaturou | 90 | Seznam literatury obsahuje zdroje, které jsou relevantní k řešenému tématu. Převzaté prvky jsou řádně odlišeny od vlastních výsledků a uvedené bibliografické citace obsahují všechny relevantní položky. K dokonalosti v práci s literaturou dle mého názoru zbývá pouze citování verifikačních standardů organizace IEEE, které jsou zmíněny v kapitole 1 a sekcích 2.1 a 2.2, ale v seznamu literatury se nevyskytují. Tento nedostatek však nevnímám jako závažný, protože považuji použitou textovou specifikaci těchto standardů za dostatečně jasnou a práce se na tyto standardy pouze odkazuje, ale nečerpá z nich. | |
| Realizační výstup | 90 | Realizační výstup je navzdory všem problémům, které vyplývají z povahy zadání (průzkum možností verifikace pomocí knihovny UVM System C) plně funkční. Zdrojové kódy jsou přehledné a dostatečně okomentované. | |
| Využitelnost výsledků | Vzhledem k charakteru bakalářské práce (ověření technologických možností) neočekávám, že by její výsledky našly přímé uplatnění v praxi. Závěry práce ohledně aktuálního stavu praktické použitelnosti knihovny UVM SystemC pro verifikaci číslicových obvodů nicméně považuji za velmi přínosné a věřím, že mohou být zajímavé i pro komerční subjekty věnující se funkčí verifikaci číslicových obvodů. |
eVSKP id 164813