Překladač VHDL designu do čítačového automatu

Autoři:Smrčka Aleš, Vojnar Tomáš
Typ:software
Vznik:2007
Licence:vyžadována - zdarma
Soubory: 
+Typ Jméno Název Vel. Poslední změna
iconvhd2ca-1.0.tar.gz392 KB2008-04-01 11:05:32
^ Vybrat vše
S vybranými:
Klíčová slova:VHDL, čítačové automaty, překladač, model, formální verifikace
Popis:
VHD2CA je překladač návrhu počítačových systémů v jazyku VHDL do čítačového automatu. Některé moderní nástroje pro formální verifikaci používají čítačový automat pro popis nekonečně stavového modelu. Transformace VHDL návrhu do čítačového automatu umožňuje formální verifikaci obecných (parametrických) počítačových systémů. Překladač zahrnuje celou LALR(1) gramatiku jazyka VHDL'93 a podporuje většinu používaných konstrukcí.
Umístění:
http://www.fit.vutbr.cz/~smrcka/projects/vhd2ca/
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: 3.226.251.81
Přepnout na https