Detail produktu

Translator of VHDL Design to Counter Automaton

Vznik: 2007

Název česky
Překladač VHDL designu do čítačového automatu
Typ
software
Licence
vyžadována - zdarma
Autoři
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í
Licence

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).

Soubory
Projekty
Výzkumné skupiny
Pracoviště
Nahoru