Detail produktu

Analyzátor CDC asynchronních komponent

SMRČKA, A.

Typ produktu

software

Abstrakt

Nástroj rozšiřující SMV modely návrhů HW komponent řízených více hodinovými signály. Konvenční přístup formální verifikace návrhů hardware je založen na modelování nulového zpoždění při změně hodnot řídicích signálů. Taková abstrakce však skrývá možné problémy vznikající v křížení časových domén (CDC), jejichž kořeny spočívají buď v metastabilitě signálů nebo ve špatném návrhu synchronizačního protokolu. Nástroj CDCreveal implementuje detekci a rozšíření částí CDC, které jsou náchylné k možnosti vzniku chyb synchronizace. S využitím CDCreveal je možné detekovat a prozkoumat křížení časových domén nebo automaticky verifikovat návrh synchronizace pomocí model checkeru.

Klíčová slova

CDC, analýza synchronizace, CDC verifikace

Datum vzniku

15.09.2009

Umístění

http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreveal

Možnosti využití

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licenční poplatek

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www

Dokumenty