Detail projektu

Využití funkční verifikace při vývoji pokročilých číslicových obvodů

Období řešení: 01.01.2012 — 31.12.2012

Zdroje financování

Ministerstvo školství, mládeže a tělovýchovy ČR - Fond rozvoje vysokých škol (FRVŠ)

- plně financující (2012-01-01 - 2012-12-31)

O projektu

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

Označení

FR1798/2012/G1

Originální jazyk

čeština

Řešitelé

Lengál Ondřej, Ing., Ph.D. - hlavní řešitel
Kajan Michal, Ing. - spoluřešitel
Kotásek Zdeněk, doc. Ing., CSc. - spoluřešitel

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