Detail produktu

Translator of VHDL Design to Counter Automaton

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

http://www.fit.vutbr.cz/~smrcka/projects/vhd2ca/