Fakulta informačních technologií VUT v Brně

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
Nahoru