PETRÁŠ, S. Unifikované verifikační prostředí digitální části integrovaných obvodů se smíšenými signály pro automobilový průmysl [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2022.
S ohledem na posudek konzultanta uvedené práce Ing. Miloše Juháse z firmy onsemi lze konstatovat, že cíl diplomové práce, zaměřené na návrh verifikačního prostředí digitální části integrovaných obvodů, se podařilo naplnit. V první části práce jsou přehledně a v souladu se zadáním popsány současné metody verifikace digitální části integrovaných obvodů. Lze si představit využití této části práce při úvodních školeních pro verifikační inženýry. Je na ní také vidět schopnost studenta pracovat s literaturou. Druhá část se věnuje návrhu a implementaci vhodného verifikačního prostředí, zatímco ve třetí jsou popsány praktické zkušenosti s emulací a rady pro řešení problémů, které mohou při emulaci nastat. Velmi kladně hodnotím, že student nad rámec zadání porovnal RTL a „gate level“ simulaci/emulaci. Do budoucna bude též zajímavé vyzkoušet efektivitu v práci popsané myšlenky, kterou je paralelní běh více testů v rámci jednoho AVB. Student pracoval po celou dobu velmi systematicky a svoje nápady a náměty pravidelně konzultoval. Před samotnou implementací referenčního návrhu celý postup detailně promyslel a nad rámec zadání napsal technickou specifikaci s funkčními požadavky a také definoval rozhraní mezi analogovou a digitální částí obvodu. Student si také dokázal velmi dobře poradit s nemalým množstvím problémů, které musel vzhledem k povaze verifikovaného obvodu řešit. Implementace návrhu i verifikačního prostředí je na profesionální úrovni a práce splňuje všechny body zadání. Proto spolu s konzultantem navrhujeme hodnocení A/98 bodů.
Student Samuel Petráš se ve své diplomové práci věnoval problematice hardwarové akcelerace pro simulaci digitálních obvodů s pomocí emulace nástrojem Siemens Veloce Strato. Práce je psána ve slovenštině a samotný text spolu s úvodem a závěrem v ní zabírá 38 stran. Text práce je rozdělen na dvou části, teoretická část je zpracována v kapitolách 1 a 2 a praktická část pak v kapitole 3. Kapitola 1 je věnována stručnému úvodu do problematiky verifikace a jsou představeny některé základní pojmy. Více než polovina této kapitoly je však věnována formální verifikaci a měření pokrytí, přičemž ze zbytku textu není jasné, zda toto bylo v průběhu řešení nějakým způsobem využito. V kapitole 2 je nejprve představeno unifikované verifikační prostředí pro hardwarovou akceleraci vycházející z metodiky UVM. Přestože student v práci uvádí, že si neklade za cíl tuto metodiku detailně popisovat, domnívám se, že by její alespoň stručné představení čtenáři neznalému problematiky pomohlo lépe pochopit výsledky dosažené v této práci. Druhá část kapitoly 2 popisuje implementaci verifikačního prostředí pro zvolený testovaný obvod. V této části textu postrádám bližší představení samotného testovaného obvodu, zvláště když dle přiložených kódů je návrh tohoto obvodu taktéž dílem studenta. Z textu se pouze dozvídáme o existenci některých funkčních bloků, ale pro jejich vzájemné propojení musí čtenář prostudovat i přiložené kódy. Poslední kapitola nazvaná „Emulace prakticky“ seznamuje čtenáře s detaily implementace verifikačního prostředí do nástroje Veloce Strato a představuje jednotlivé direktivy, které je třeba do kódu doplnit pro úspěšnou syntézu. Následně jsou v textu diskutovány problémy, které při emulaci mají dominantní vliv na dobu běhu jednotlivých testů, a také představeno jejich řešení. K této kapitole nemám vážnější připomínky, a naopak oceňuji že student dává čtenáři praktický návod, jak postupovat a jak řešit typické problémy. Po formální stránce je práce na dobré úrovni, s minimem překlepů a chyb. Text je vhodně doplněn obrázky a částmi zdrojových kódů, které čtenáři usnadňují pochopení textu. Z textu je patrné, že se student v dané problematice dobře orientuje. Přes některé výtky ke struktuře a obsahu textu práce ji však považuji za kvalitní a navrhuji hodnocení A/92 bodů.
eVSKP id 142452