PODZEMNÝ, J. Moderní metody verifikace smíšených integrovaných obvodů [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2019.
Posudek je založen na vyjádření externího konzultanta pana Ing. Martina Kejhara, CSc. viz příloha.
Předložená práce se zabývá rozborem metod verifikace smíšených integrovaných obvodů. Práce je rozdělena do tří hlavních částí. V úvodní části je zpracována rešerše popisující současné metody verifikace využívané při návrhu integrovaných obvodů. Tato rešerše je podrobná a jsou v ní odkazy na zdroje, ze kterých je možné čerpat další informace. V další části práce je proveden rozbor testovací metodologie ABV. Na příkladech jsou rozebrány možnosti jazyka PSL a metody SVA v jazyce SystemVerilog. Je zde také provedeno srovnání PSL a SVA, zaměřené na výhody a nevýhody obou způsobů verifikace. Díky provedenému rozboru bylo zjištěno, že pro účely verifikace zadavatele diplomové práce je výhodnější využívat metodu SVA. Závěrečná část práce je věnována návrhu konceptu unifikovaného simulačního prostředí využívající metodu SVA. Tato část práce je v porovnání se zbytkem práce stručnější, a to patrně z důvodu, že zadavatel je ve fázi zavádění nových verifikačních metod. Proto nejspíše nebylo možné v rámci diplomové práce tento úkol detailněji dořešit. Celkově je práce koncipovaná jako úvod do problematiky verifikace smíšených integrovaných obvodů. Poskytuje dobrý přehled pro seznámení se s koncepty současné verifikace a naznačuje směr, jakým se nejspíš bude vyvíjet verifikace obvodů navrhovaných ve společnosti, která téma zadala. Jedinou věc, kterou lze práci vytknout, je absence přílohy ve formě stručné referenční příručky nebo přehledu typických příkladů pro jazyk PSL, resp. preferovanou metodu SVA. Takové rozšíření práce by začínajícímu verifikačnímu inženýrovi, který si práci prostuduje, urychlilo psaní prvních verifikačních skriptů. Nicméně požadavek na tento výstup není součástí zadání práce, proto tuto absenci nelze brát jako její nedostatek. Po formální stránce je práce napsána velice pečlivě a s minimem překlepů. Kapitoly na sebe dobře navazují a zkoumanou problematiku lze na jejím základě velice rychle pochopit. Celkově hodnotím práci stupněm A s počtem bodů 98.
eVSKP id 115734