Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail produktu
SMRČKA, A. VOJNAR, T.
Typ produktu
software
Abstrakt
The VHD2CA is the translator of a hardware desing in VHDL to a counter automaton. Some of modern tools for formal verification uses the counter automaton as the formalism for the description of an infinite state space model, thus the translation from VHDL to counter automaton allows the user to formal verify generic (parametric) hardware systems. The translator includes the whole LALR(1) grammar of VHDL'93 language and supports common used constructs.
Klíčová slova
VHDL, counter automata, translator, model, formal verification
Datum vzniku
11. 6. 2007
Umístění
http://www.fit.vutbr.cz/~smrcka/projects/vhd2ca/
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
vhd2ca-1.0.tar.gz