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

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.