HRADIL, 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í. 2014.
Cílem diplomové práce bylo přehledně zpracovat problematiku moderních metod verifikace integrovaných obvodů pracujících ve smíšeném módu. Student se měl primárně zaměřit na „assertion based“ metodiku, které se velké míře využívá pro verifikaci číslicových systémů a začíná se uplatňovat v oblasti smíšených a analogových integrovaných obvodů. V průběhu práce měl student za úkol porovnat možnosti popisných jazyků pro verifikaci smíšených integrovaných obvodů. V diplomové práci student definoval a navrhl několik příkladů verifikačních modulů a jejich funkčnost prakticky ověřil na verifikaci spínaného zdroje. Ve své práci podrobně popisuje výhody a nevýhody jednotlivých popisných jazyků a vhodnost jejich použití. Odborná úroveň diplomové práce je na velmi slušné úrovni. Logická struktura diplomové práce a návaznost jednotlivých kapitol je také na dobré úrovni. Předkládaná práce je psaná v anglickém jazyce. Zde bych poznamenal, že anglicky psaný text by vyžadoval výraznější revizi. Text by potřeboval značně upravit, některé myšlenky jsou bohužel popsány nesrozumitelně. Rovněž kvalita některých obrázku je na velmi slabé úrovni. Chtěl bych poznamenat, že například obr.2 vůbec nesouvisí s textem a není mi jasné, co chtěl student tímto obrázkem vyjádřit k dané kapitole. Během řešení diplomové práce se student mohl projevovat aktivněji a tím by se vyřešily problémy vznikající při řešení diplomové práce. Z práce je ovšem znatelné, že je student podrobně obeznámen s danou problematikou. Student efektivně využil dostupnou literaturu a získané znalosti použil pro zdárné dokončení diplomové práce. Cíle práce se podařilo splnit.
Cílem diplomové práce bylo poskytnout přehled moderních metod verifikace obvodů pracujících ve smíšeném módu a podrobněji prostudovat verifikační metodu "assertion based", která je dnes používána především u digitálních obvodů. Práce je rozdělena na dvě části. V teoretické části student nejprve představuje rozdíly mezi verifikací čistě analogových a čistě digitálních obvodů a dále poskytuje přehled o metodách behaviorálního modelování a o použití "assertion based" verifikace v digitálních obvodech a možnostech této metody pro verifikaci obvodů ve smíšeném módu. V praktické části student vytvořil příklady verifikačních "assertion" modulů pro kontrolu stability napětí, náběhu napětí při připojení napájecího napětí a dodržení časování signálů v obvodu. Funkčnost jednotlivých modulů ověřil simulacemi a využil je pro verifikaci spínaného zdroje. Student efektivně pracoval s dostupnou literaturou. Navržené verifikační moduly jsou funkční a v průmyslu použitelné. Výhrady mám především k formální části práce, většina obrázků přesahuje okraje stránky a např. obr. 20 kvůli vazbě není vidět celý. Některé obrázky pak nekorespondují s textem, např. v kapitole, ve které porovnává funkci analogového a digitálního simulátoru, je obrázek porovnání různých metod vzorkování. Naopak oceňuji, že v závěru je porovnání různých popisů "assertion" bloků z hlediska úspěšnosti nalezení chyb a především prodloužení doby simulace. Vzhledem k uvedeným faktům doporučuji hodnocení diplomové práce stupněm B s počtem bodů 83.
eVSKP id 74244