Název:
Sada příkladů pro demonstraci práce s nástrojem Questa inFact
Překlad názvu:
Questa inFact Capabilities Demonstration Set
Autoři:
Fodor, Dušan ; Krčma, Martin (oponent) ; Zachariášová, Marcela (vedoucí práce) Typ dokumentu: Bakalářské práce
Rok:
2015
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [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.
Klíčová slova:
funkční verifikace; inFact; Questa; verifikace pokrytím; coverage closure; coverage driven verication; functional verication; inFact; Questa
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/64138