KŘÍŽ, D. Verifikace funkčních bloků pro FPGA [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2022.
Cílem práce bylo vytvořit verifikační prostředí pro digitální design a pomocí funkční verifikace ověřit správnou funkcionalitu nízkolatenční fyzické vrstvy ethernetu vyvíjené sdružením CESNET. Student již od počátku přistupoval k práci velmi zodpovědně a se zájmem o danou problematiku. Při práci postupoval systematicky, kdy nejprve analyzoval dostupné verifikační metodologie pro digitální obvody, následně pomocí vybrané metodologie UVM vytvořil verifikační prostředí pro zadaný digitální design a v tomto prostředí nejprve důkladně zverifikoval jednotlivé dílčí bloky nízkolatenční fyzické vrstvy ethernetu a následně celou komponentu. Oceňuji studentovu preciznost, kdy se snažil řešit i velmi málo pravděpodobné stavy, díky čemuž se v implementacích skutečně podařilo odhalit několik chyb, které se sice projevují pouze v krajních situacích, ale v reálném nasazení by takové chyby představovaly problém. Student pracoval zcela samostatně a průběžné výsledky své práce pravidelně konzultoval. Po formální stránce je práce na velmi dobré úrovni. Obsahuje pouze zanedbatelné množství gramatických a stylistických chyb. V práci bych pouze uvítal podrobnější zdůvodnění, proč není možné verifikačně zcela pokrýt některé části verifikovaných komponent. Vzhledem k výše uvedeným skutečnostem a složitosti problematiky, kterou se tato práce zabývá, doporučuji práci k obhajobě s celkovým hodnocením A (97 bodů).
Předložená diplomová práce popisuje verifikací návrhu pro FPGA. Teoretická část se zaměřuje na popis verifikace a verifikačních metodologií včetně popisu ethernetu. Praktická část se zabývá vytvořením verifikačního prostředí ve vybrané metodologii a testováním. Diplomová práce působí velmi solidním dojmem a svědčí o pečlivosti autora. Student čerpal z celkem 28 odborných zdrojů. Zadání práce je splněno. Text obsahuje mnoho přehledných vývojových diagramů usnadňující pochopení problematiky. Kapitola testování je rozsáhlá a dobře zpracovaná. Po formální a rozsahové stránce je na dobré úrovni. Vyskytuje se pouze několik stylistických a typografických chyb: a) obrázky (např. 5.3) obsahují jak český, tak anglický popis, b) některá čísla jsou uvedena s desetinou čárkou, jiná zase s des. tečkou. Práci doporučuji k obhajobě a vzhledem k výše uvedenému hodnotím práci velmi dobře, známkou B, 89 bodů.
eVSKP id 142147