Framework pro formální verifikaci asynchronních komponent

Autoři:Smrčka Aleš, Vojnar Tomáš
Typ:software
Vznik:2010
Licence:vyžadována - zdarma
Soubory: 
+Typ Jméno Název Vel. Změněn
iconcdcreloaded-1.2.tar.gz194 KB2010-11-11 15:10:10
^ Vybrat vše
S vybranými:
Klíčová slova:křížení časových domén, formální verifikace, specifikace okolí
Popis:
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. CDCreloaded je framework sdružující vše, co je potřeba pro formální verifikaci a analýzu návrhů hardware včetně asynchronních komponent. Framework se skládá z několika komponent: (i) nástroje cdcreveal pro detekci a rozšíření částí návrhu, které jsou citlivé na problémy týkající se CDC, (ii) nástroje envgen pro generování prostředí verifikované komponenty a (iii) nástroje niCE pro tvorbu filtrovaného obsahu z poskytnutého protipříkladu pro ulehčení analýzy objevené chyby.
Umístění:
http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreloaded
Výzkumné skupiny:
Pracoviště:
Licenční podmínky:
Volně šiřitelný software poskytovaný pod licencí GNU GPL v3.

Vaše IPv4 adresa: 54.87.76.100
Přepnout na IPv6 spojení

DNSSEC [dnssec]