but.committee	prof. Ing. Lukáš Sekanina, Ph.D. (předseda) prof. Ing. Miroslav Švéda, CSc. (místopředseda) Ing. František Grézl, Ph.D. (člen) Ing. Martin Hrubý, Ph.D. (člen) doc. Ing. Jiří Jaroš, Ph.D. (člen)	cs
but.defence	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: 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í? 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? 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?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Zachariášová, Marcela	cs
dc.contributor.author	Fodor, Dušan	cs
dc.contributor.referee	Krčma, Martin	cs
dc.date.created	2015	cs
dc.description.abstract	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.	cs
dc.description.abstract	This bachelor thesis deals with presentation of working with platform Questa inFact from Mentor Graphics company. In introduction, teoretical information about verication itself is provided and several verication methods are introduced. Teoretical part is followed by examples of usage Questa inFact tool for coverage driven verication and contains set of demonstational samples.	en
dc.description.mark	E	cs
dc.identifier.citation	FODOR, D. Sada příkladů pro demonstraci práce s nástrojem Questa inFact [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2015.	cs
dc.identifier.other	88421	cs
dc.identifier.uri	http://hdl.handle.net/11012/64138
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	funkční verifikace	cs
dc.subject	verifikace pokrytím	cs
dc.subject	Questa	cs
dc.subject	inFact	cs
dc.subject	functional verication	en
dc.subject	coverage driven verication	en
dc.subject	coverage closure	en
dc.subject	Questa	en
dc.subject	inFact	en
dc.title	Sada příkladů pro demonstraci práce s nástrojem Questa inFact	cs
dc.title.alternative	Questa inFact Capabilities Demonstration Set	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2015-06-15	cs
dcterms.modified	2020-05-10-16:11:30	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	88421	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:22:46	en
sync.item.modts	2025.01.15 17:52:57	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

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

Files

Original bundle

Collections