Detail práce

Sada příkladů pro demonstraci práce s nástrojem Questa inFact

Bakalářská práce Student: Fodor Dušan Akademický rok: 2014/2015 Vedoucí: Zachariášová Marcela, Ing., Ph.D.
Název anglicky
Questa inFact Capabilities Demonstration Set
Jazyk práce
český
Abstrakt

Táto bakalárska práca sa zaoberá prezentáciou práce s platformou Questa inFact od spoločnosti Mentor Graphics pri verifikácii integrovaných obvodov. V úvode približuje teóriu z oblasti verifikácie a približuje niektoré verifikačné metódy, ďalej nadväzuje ukážkou použitia nástroja Questa inFact so sadou demonštračných príkladov.

Klíčová slova

funkční verifikace, verifikace pokrytím, Questa, inFact

Ústav
Ústav počítačových systémů FIT VUT v Brně
Studijní program
Informační technologie
Stav
obhájeno, hodnocení E
Obhajoba
15. června 2015
Oponent
Krčma Martin, Ing.
Průběh obhajoby

Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm E.

Otázky u obhajoby
  1. Použitý příklad jste do své práce zvolil na základě jakých kritérií? Do jaké míry je samotný příklad Vaší vlastní prací?
  2. Do jaké míry přiložený demonstrační příklad použitelný jako šablona pro vytvoření příkladu verifikujícího jiný číslicový obvod? Do jaké míry se při tom lze opřít o Vaši práci?
  3. Demonstruje Vaše práce obecné principy fungování zkoumaného nástroje, nebo pouze jeden konkrétní případ jeho použití s demonstračním příkladem?
Komise
Sekanina Lukáš, prof. Ing., Ph.D. (UPSY FIT VUT), předseda
Grézl František, Ing., Ph.D. (UPGM FIT VUT), člen
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT), člen
Jaroš Jiří, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT), člen
Citace
FODOR, Dušan. Sada příkladů pro demonstraci práce s nástrojem Questa inFact. Brno, 2015. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2015-06-15. Vedoucí práce Zachariášová Marcela. Dostupné z: https://www.fit.vut.cz/study/thesis/15875/
BibTeX 
@bachelorsthesis{FITBT15875,
    author = "Du\v{s}an Fodor",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Sada p\v{r}\'{i}klad\r{u} pro demonstraci pr\'{a}ce s n\'{a}strojem Questa inFact",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2015,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/15875/"
}

Závěrečné práce

Nahoru