Original title:
Sada příkladů pro demonstraci práce s nástrojem Questa inFact
Translated title:
Questa inFact Capabilities Demonstration Set
Authors:
Fodor, Dušan ; Krčma, Martin (referee) ; Zachariášová, Marcela (advisor) Document type: Bachelor's theses
Year:
2015
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
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.
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.
Keywords:
coverage closure; coverage driven verication; functional verication; inFact; Questa; funkční verifikace; inFact; Questa; verifikace pokrytím
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/64138