Hlavní stránka > Výsledky hledání: keywords:"coverage closure"
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.00 vteřin. 
Sada příkladů pro demonstraci práce s nástrojem Questa inFact
 Fodor, Dušan ; Krčma, Martin (oponent) ; Zachariášová, Marcela (vedoucí práce)
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.
Úplný záznam
Sada příkladů pro demonstraci práce s nástrojem Questa inFact
 Fodor, Dušan ; Krčma, Martin (oponent) ; Zachariášová, Marcela (vedoucí práce)
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.
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English