Hlavním cílem práce bylo vytvořit verifikační prostředí podle standardu UVM pro funkční verifikaci konkrétního komplexního firmwarového obvodu DMA Medusa. Náročnost/Rozsáhlost tohoto zadání spočívala zejména v nutnosti nastudovat nejen problematiku UVM verifikací, ale také pochopit klíčové vlastnosti konkrétního modulu s ohledem na specifika DMA komunikace skrze PCIe sběrnici počítače nebo implikace použitého konceptu multi-sběrnic pro vysokorychlostní přenos paketů v FPGA čipu.

Student zadání splnil v plném rozsahu, přičemž se mu povedlo dospět k prakticky použitelné a vhodné implementaci. Kvůli časovému presu při dokončování práce však nebylo možné věnovat původně zamýšlenou míru pozornosti možnostem dalšího zajímavého rozšíření testovacích scénářů ve verifikaci.

Student byl iniciativní a snažil se práci řešit průběžně. Navržený časový rámec však někdy nestihl úplně splnit a postupně se tak dostával do časového presu. Na konzultace však byl vždy připraven a dané problematice rozuměl.

Studentem vytvořeným UVM prostředím pro verifikaci modulu DMA Medusa se plánuje nahradit existující ne-systémově napsané verifikační prostředí. I když nové UVM prostředí jednoznačně přináší proti starému určité výhody, je potřeba ještě dotáhnout integraci do repozitárů včetně začistění kódu a vhodné je doplnit také některé další v práci navržené nebo diskutované rozšíření. Ve výsledku tak výstupy práce pomohli, a ještě mohou dále pomoct, k zajištění/ověření správné funkcionality reálně nasazeného DMA modulu. Ten představuje kritickou součást v podstatě všech akceleračních FPGA architektur používaných ve sdružení CESNET pro monitorování 100G a 400G páteřních sítí.

Evaluation level: obtížnější zadání

Cílem práce bylo vytvořit verifikační prostřední pro komponentu DMA Medusa pomocí metodologie UVM. Přestože student vycházel z již existujícího verifikačního prostředí specifického pro sdružení CESNET, považuji zadání za obtížnější. Diplomant musel nastudovat a pochopit poměrně komplexní problematiku okolo MFB, MVB sběrnic, DMA přenosů a různých parametrů PCIe sběrnice. Na základě těchto znalostí následně navrhl a implementovat samotné verifikační prostředí.

Evaluation level: je v obvyklém rozmezí

Text práce tvoří 59 vysázených stran včetně seznamu literatury.

Text práce je na velice dobré typografické úrovni. Jazykovou stránku bohužel nejsem schopen posoudit, jelikož je práce psaná ve slovenském jazyce.

Hlavní realizační výstupy práce tvoří verifikační prostředí komponenty DMA Medusa zahrnující řadu modulů vytvořených v jazyce System Verilog. Uvedené zdrojové kódy jsou funkční a v souladu s licenčními podmínkami.