GUMENYUK, A. Verifikace integrovaného obvodu s procesorem ARM Cortex M0/M0+ [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2023.
Posudek je založen na vyjádření externího konzultanta pana Ing. Miloše Juháse z firmy Onsemi viz příloha. S obsahem posudku souhlasím. Student svoji práci pravidelně konzultoval v průběhu řešení své bakalářské práce. Cieľom práce bolo vytvoriť komponenty, ktoré by uľahčili návrh, ladenie a verifikáciu integrovaného obvodu s procesorom ARM Cortex M0 alebo ARM Cortex M0+. Technická správa svojim rozsahom spĺňa predpísaný počet strán a je rozdelená na tri časti. V prvej časti s názvom „Teoretická část závěrečné práce“ študent popisuje predovšetkým architektúru procesoru, jeho inštrukčnú sadu a prerušenia ako aj zbernicu AHB-Lite. Druhá časť s názvom „Vlastný návrh řešení“ stručne popisuje zvolené komponenty, pričom podrobnejší popis je uvedený v tretej časti práce a je teda skôr úvodom do hlavnej časti práce, ktorá má názov „Praktická část“. V nej študent detailne popisuje realizované komponenty a ich vlastnosti. Nad rámec zadania obsahuje tiež návod na integráciu do verifikačného prostredia a úpravy, ktoré boli potrebné na spustenie simulácie v simulátore Xcelium od spoločnosti Cadence. Na začiatku praktickej časti práce je tiež všeobecnejší popis verifikačného prostredia podľa metodológie UVM, ktorý by alebo bolo vhodnejšie zaradiť do prvej, teoretickej časti práce. Študent svoje nápady pravidelne konzultoval a výsledkom jeho práce sú komponenty, ktoré značene zjednodušujú návrh integrovaného obvodu a predovšetkým následné ladenie v digitálnom simulátore. Všetky komponenty sú zabalené do spoločného balíčku s názvom arm_utils, pričom nastavenie je realizované pomocou konfiguračných objektov a konfiguračnej databázy. Ich integrácia do verifikačného prostredia je preto pomerne jednoduchá a komponenty samotné je možné využiť pre rôzne typy periférií. Študent na otestovanie týchto komponent napísal RTL s vlastnými perifériami, v ktorom mal integrované jadro ARM Cortex M0 a zároveň aj UVMF verifikačné prostredie. Okrem toho boli tieto komponenty otestované na reálnom projekte s jadrom ARM Cortex M0+, kde sa ukázal ich prínos. Najslabším článkom práce je jej technická správa, ktorá obsahuje značné množstvo pravopisných aj štylistických chýb. Je ale potrebné brať do úvahy fakt, že toto hodnotenie bolo napísané pred odovzdaním finálnej verzie a pri návrhu svojho hodnotenia jej preto prikladám menšiu váhu. Pokiaľ ide o praktickú časť práce, všetky body boli bez výhrad splnené. Vzhľadom na náročnosť zadania a veľké množstvo nových vedomostí, ktoré musel študent v priebehu riešenia svojej bakalárskej práce získať musím konštatovať, že výsledná práca prekonala očakávania. Za predpokladu, že v odovzdanej technickej správe budú odstránené spomenuté nedostatky (predovšetkým gramatické a štylistické chyby) navrhujem hodnotenie 92 bodov.
Student Artem Gumenyuk vypracoval bakalářskou práci na téma Verifikace integrovaného obvodu s procesorem ARM Cortex M0/M0+. Ve své práci se zabýval návrhem verifikačních komponent pro vizualizaci a debuggování návrhu s pomocí metodiky UVM. V první části práce student seznamuje čtenáře s architekturou a klíčovými parametry procesoru ARM Cortex-M0. V druhé části práce pak student definuje, jaké verifikační komponenty bude v rámci bakalářské práce realizovat. Dle nadpisu třetí kapitoly následuje praktická část práce, která ovšem začíná představením verifikační metodiky UVM a frameworku UVMF, což zcela jistě patří do teoretického úvodu. Takto zvolené členění práce nepovažuji za zcela vhodné a musím konstatovat, že z textu práce je mnohdy obtížné rozeznat, co je teoretická část, která část práce byla převzata z jiných zdrojů a co je vlastní řešení studenta. V práci se vyskytuje větší množství formálních nedostatků. Text je místy obtížně čitelný, v tabulce 6 je poslední řádek rozdělen na dvě strany, obrázky ukazující výstupy ze simulátoru jsou špatně čitelné, atd. Po odborné stránce je práce naopak na velmi dobré úrovni a je patrné, že student se v dané problematice dobře orientuje. Vzhledem k výše uvedenému navrhuji hodnocení stupněm B/83 bodů.
eVSKP id 152261