Prof. Ing. Tomáš Vojnar, Ph.D.

Translator of VHDL Design to Counter Automaton

Authors:Smrčka Aleš, Vojnar Tomáš
Licence:required - no fee
+Type Name Title Size Last modified
iconvhd2ca-1.0.tar.gz392 KB2008-04-01 11:05:32
^ Select all
With selected:
Keywords:VHDL, counter automata, translator, model, formal verification
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.
Research groups:
Licence terms:
Free software under the terms of GNU GPL (cf.

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]