Projekt se zaměřuje na vytvoření doplňujících studijních a demonstračních materiálů do předmětu Pokročilé číslicové systémy (PCS). Vytvořené materiály bude možné použít i jako rozšiřující studijní materiály do kurzů Návrh číslicových systémů (INC) a Hardware/software Codesign (HSC).Materiály budou zahrnovat prezentaci zaměřenou na nezbytný úvod do problematiky funkční verifikace a její využití v procesu komplexních vývoje číslicových obvodů a také doplňující materiály k prezentaci, které budou názorným způsobem demonstrovat vytváření, modifikaci a aplikaci verifikačních prostředí a práci se simulačními nástroji používanými v praxi.

Popis anglicky
This project is aimed at creating additional study and demonstration materials for the course in Advanced Digital Systems (PCS). The produced materials will possibly be used in other courses dealing with the design of digital systems, such as Digital Systems Design (INC) and Hardware/software Codesign (HSC).The set of materials will comprise a presentation containing a basic introduction to the area of functional verification and its use in the development process of digital systems with a high level of complexity. These materials will be supplemented with demonstration materials illustrating the creation, modification and application of verification environments and working with modern simulation tools used in practice.

Klíčová slova
funkční verifikace, číslicové obvody

Klíčová slova anglicky
functional verification, digital circuits

FR1798/2012/G1

čeština

Lengál Ondřej, doc. Ing., Ph.D. - hlavní řešitel

Ústav inteligentních systémů
- odpovědné pracoviště (6.5.2011 - nezadáno)
Ústav počítačových systémů
- spolupříjemce (6.5.2011 - 31.12.2012)

Odpovědnost: Lengál Ondřej, doc. Ing., Ph.D.