Sada příkladů pro demonstraci práce s platformou Questa
| but.committee | prof. Ing. Lukáš Sekanina, Ph.D. (předseda) doc. Ing. Jiří Kunovský, CSc. (místopředseda) doc. Mgr. Lukáš Holík, Ph.D. (člen) doc. Ing. Petr Matoušek, Ph.D., M.A. (člen) Ing. Igor Szőke, Ph.D. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázku 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 " C ". Otázky u obhajoby: Jak přesně funguje inicializační fáze verifikované jednotky? Jakým způsobem je dosaženo časové omezení generování aktivního resetovacího signálu pro testovanou jednotku? Z uvedených příkladů to není zřejmé. | 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 | Krajčír, Stanislav | cs |
| dc.contributor.referee | Kajan, Michal | cs |
| dc.date.created | 2013 | cs |
| dc.description.abstract | Tato bakalářská práce se zabývá prezentací práce s verifikační platformou Questa od společnosti Mentor Graphics při verifikaci číslicových obvodů. V úvodu práce jsou poskytnuty základní informace o principech verifikace založené na formálních tvrzeních. V rámci práce je uveden popis verifikačního nástroje Questa AutoCheck, který slouží k automatické kontrole obvodů a verifikačního nástroje Questa Formal, který slouží statické formální verifikaci číslicových obvodů. Na sadě příkladů užití jsou demonstrovány jednotlivé možnosti využití nástrojů při verifikaci konkrétního číslicového obvodu. V závěru práce jsou vyhodnoceny možnosti aplikace těchto nástrojů v praxi. | cs |
| dc.description.abstract | This bachelor thesis deals with presentation of capabilities of verification platform Questa Static from Mentor Graphics company. The basic information about the principles of assertion based verification is provided in the beginning. The thesis describes Questa AutoCheck verification tool which is used for automatic verification of integrated circuits and Questa Formal verification tool which is used for static formal verification of integrated circuits. The set of examples is given to demonstrate various options of using these tools for verification of a concrete integrated circuit design. In conclusion, the thesis evaluates the possibilities of application of these tools in verification process. | en |
| dc.description.mark | C | cs |
| dc.identifier.citation | KRAJČÍR, S. Sada příkladů pro demonstraci práce s platformou Questa [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013. | cs |
| dc.identifier.other | 79165 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/54967 | |
| 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 | Verifikace založená na formálnich tvrzeních | cs |
| dc.subject | Formálni verifikace | cs |
| dc.subject | Questa Static | cs |
| dc.subject | Assertion Based Verification | en |
| dc.subject | Formal Verification | en |
| dc.subject | Questa Static | en |
| dc.title | Sada příkladů pro demonstraci práce s platformou Questa | cs |
| dc.title.alternative | Questa Capabilities Demonstration Set | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2013-06-12 | cs |
| dcterms.modified | 2020-05-09-23:43:30 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 79165 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.18 18:00:08 | en |
| sync.item.modts | 2025.01.15 21:20:27 | 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 |