Analyzátor CDC asynchronních komponent

Autoři:Smrčka Aleš
Typ:software
Vznik:2009
Licence:vyžadována - zdarma
Soubory: 
+Typ Jméno Název Vel. Poslední změna
iconcdcreveal-1.0.tar.gz56,5 KB2010-02-08 11:45:06
^ Vybrat vše
S vybranými:
Klíčová slova:CDC, analýza synchronizace, CDC verifikace
Popis:
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.
Umístění:
http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreveal
Výzkumné skupiny:
Pracoviště:
Licenční podmínky:
Volně šiřitelný software poskytovaný pod licencí GNU GPL (přesné znění licence je dostupné na stránce http://www.gnu.org/licenses/gpl.html).

Vaše IPv4 adresa: 18.205.66.1
Přepnout na https