Detail projektu

Využití metod a nástrojů formální verifikace při vývoji pokročilých číslicových systémů

Období řešení: 1. 1. 2013 - 31. 12. 2013

Typ projektu: grant

Kód: FR1086/2013/G1

Agentura: Fond rozvoje vysokých škol MŠMT

Program: Fond rozvoje vysokých škol (FRVŠ)

Název anglicky

Application of methods and techniques of formal verification in the design of advanced digital circuits

Typ

grant

Klíčová slova

formální verifikace, číslicové systémy

Abstrakt

Projekt je zaměřen na přípravu a vytvoření nových podpůrných studijních a demonstračních materiálů v třech stávajících kurzech dvouletého magisterského studijního programu Informační technologie. Jedná se o kurzy Hardware-software Codesign (HSC), Návrh externích adaptérů a vestavěných systémů (NAV) a Pokročilé číslicové systémy (PCS).

Cílem projektu je přiblížit studentům techniky formální verifikace číslicových systémů, především verifikace založené na tzv. formálních tvrzeních (angl. assertions), které se používají pro zápis specifikace systému. Zavedení technik využívajících formální přístup přináší do procesu verifikace nový pohled, výrazně odlišný od verifikačních technik založených na testování, které typicky generují náhodné vstupní vektory a sledují odezvy systému.

Součástí vytvořených materiálů budou i příklady použití formální verifikace připravené s využitím moderních verifikačních nástrojů používaných v praxi, které má fakulta k dispozici.

Řešitelé

Zachariášová Marcela, Ing., Ph.D. (UPSY FIT VUT) , hlavní řešitel
Kajan Michal, Ing. (UPSY FIT VUT) , spoluřešitel
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT) , spoluřešitel

Soubory