KALOCSÁNYI, V. Verifikační prostředí pro systém řízení BLDC motorů [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2024.
Student Vít Kalocsányi vypracoval diplomovou práci na téma Verifikační prostředí pro systém řízení BLDC motorů. Cílem práce bylo navrhnout způsob verifikace regulační soustavy kontroléru v FPGA a následně implementovat verifikační prostředí s využitím moderní verifikační metodiky UVM. V teoretické částí práce je čtenář nejprve seznámen s metodikou UVM, typickou strukturou verifikačního prostředí a detailně jsou představeny jeho jednotlivé části. Následně je popsána typická struktura systému v FPGA pro řízení BLDC motoru. V praktické části student představuje zvolenou metodu verifikace jádra regulační soustavy. Tato metoda je založena na využití testovacích dat vytvořených pomocí bitově ekvivalentního referenčního modelu. V této části diplomové práci student volně navazuje na problematiku, kterou se zabýval už v bakalářské práci, a to návrh aritmetické jednotky pro čísla v pevné řádově čárce pro obvody FPGA a její bitově přesné reprezentaci v prostředí Simulink/Matlab. V závěru práce jsou pak identifikovány a diskutovány výhody a nevýhody zvoleného přístupu a obecně použití metodiky UVM pro verifikaci návrhu. Funkčnost zvoleného přístupu a celého verifikačního prostředí byla demonstrována na aplikaci, která byla v době psaní diplomové práce realizována na Ústavu Mikroelektroniky. Mohu konstatovat, že zadání práce bylo splněno. Práce je psána v anglickém jazyce, po formální stránce nemám větších připomínek. K práci je přiloženo velké množství zdrojových kódů obsahující dostatek návodných komentářů, které potenciálnímu uživateli usnadňují využití a případně i modifikaci vytvořených verifikačních komponent. Na základě výše uvedených faktů navrhuji hodnocení A/95 bodů.
Diplomová práce se zabývá návrhem a implementací verifikačního prostředí pro systém řízení BLDC motorů s využitím knihovny UVM a jazyka SystemVerilog. Zadání práce hodnotím jako mírně náročnější, protože vyžaduje nastudování nutných základů jazyka SystemVerilog, alespoň základních principů objektově orientovaného programování, metodiky (knihovny) UVM a její použití pro tvorbu verifikačních prostředí – co je nad rámec běžného studia. Práce je psána v anglickém jazyce. Text práce sice obsahuje několik překlepů nebo drobných chyb, ale je velmi dobře čitelný, srozumitelný a strukturovaný od úvodu po závěr. Text práce je v očekávaném rozsahu, bez příloh s úvodem a závěrem zabírá 37 stran. První tři kapitoly popisují teoretická východiska pro realizaci práce – základní principy verifikace číslicových obvodů, verifikační metodiku UVM a principy řízení motorů BLDC. Poslední tři kapitoly se zabývají praktickou částí – navrženým způsobem verifikace systému řízení BLDC motoru, využitím referenčního modelu vytvořeného v nástroji Matlab, způsobem implementace a popisem funkčnosti jednotlivých částí vytvořeného verifikačního prostředí a vyhodnocením výsledků. Text je doplněn přehlednými obrázky, které usnadňují pochopení popisované problematiky. Kladně hodnotím teoretickou část, která vhodným způsobem popisuje metodiku a komponenty knihovny UVM. Autor práce navázal na svoji bakalářskou práci a využil své předešlé řešení – referenční model motoru v prostředí Matlab pro tvorbu verifikačního prostředí řízení motoru. Výsledkem praktické části je strukturované verifikační prostředí, které je možno rozšiřovat nebo jeho vytvořené části využít v jiných podobných projektech. Autor popisuje i jednotlivé implementované testy a v závěru dosažené výsledky. Jednotlivé body zadání hodnotím jako splněné. Řešení bylo demonstrováno praktickým předvedením, všechny testy jsou funkční a dosahují očekávaných výsledků. Vytvořené zdrojové kódy jsou strukturované, přehledné, kód je odsazený, komentovaný a obsahuje návod ke spuštění. Student nastudoval a využil vhodné zdroje a v práci je řádně cituje. Celkově diplomovou práci a její praktickou část hodnotím jako velmi zdařilou a kvalitní a navrhuji hodnocení A/91 bodů.
eVSKP id 159933