Posudek je založen na vyjádření externího konzultanta pana Ing. Jakuba Šťastného, Ph.D. ze společnosti ASICentrum. Se zněním tohoto posudku se plně ztotožňuji. Points proposed by supervisor: 100

Student Jáchym Kutík vypracoval bakalářskou práci na téma Návrh a verifikace DMA řadiče pro RISC-V CPU. Cílem práce bylo navrhnout samostatný modul, který bude schopen autonomně provádět přesun dat mezi různými lokacemi v paměti či z paměti do periferie.
Text práce je logicky členěn a reprezentuje postup prací při řešení bakalářské práce. Čtenáři jsou nejprve stručně představeny základní pojmy týkající se této problematiky, následně student provádí analýzu jednotlivých možností a argumentuje, proč kterou možnost zvolil pro řešení práce. Teoretická část práce je zakončena systémovým pohledem, tedy jak bude vlastní DMA řadič zapojen v zamýšleném cílovém systému. Domnívám se, že celá teoretická část by mohla být obsáhlejší a rozšířena o některé stěžejní informace. Například představení sběrnice AHB-lite v teoretickém úvod je věnováno jen jeden a půl strany a chybí informace o jejich signálech či časové průběhy transakcí, přestože tyto informace jsou stěžejní pro další práci.
Praktická část práce začíná stanovením požadavků na DMA řadič, následuje popis architektury a dílčích komponent a představení verifikační strategie včetně detailního popisu testovacích procedur a shrnutí výsledků testů ve formě verifikační matice. K této části práce mám drobnou připomínku. Domnívám se, že samotná specifikace požadavků a detailní popis testů by měl být v příloze a v samotném textu práce jen jejich stručný popis s odkazem do přílohy.
Po odborné stránce je práce na velmi dobré úrovni. Student postupuje systematicky, navržené řešení je promyšlené a řádně ověřené, což je demonstrováno i vysokým pokrytím kódu z verifikačních testů. Přiložené zdrojové kódy jsou přehledné a bohatě okomentovány. Pár připomínek mám k formální stránce práce. Práce je psána v angličtině s minimem překlepů a gramatických chyb, avšak kvalita obrázků je místy horší (např. Obr. 3.1) a tyto obrázky jsou nedostatečně okomentovány v samotném textu.
Z předložené závěrečné práce jsem nabyl dojmu, že zadání práce je bezezbytku splněno a student se v dané problematice dobře orientuje. Zadání práce považuji na nadstandardně obtížné a technické řešení za nadstandardně kvalitní, a i přes drobné formální nedostatky a stručný teoretický úvod navrhuji hodnocení A/98 bodů. Topics for thesis defence:

1. Jak je zajištěno, že při přenosu dat nedojde k blokaci sběrnice ze strany řadiče DMA, pokud slave neodpoví?

Points proposed by reviewer: 98