About: Translator of VHDL Design to Counter Automaton

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Translator of VHDL Design to Counter Automaton Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	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í. (cs) 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. 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. (en)
Title	Translator of VHDL Design to Counter Automaton Translator of VHDL Design to Counter Automaton (en) Překladač VHDL designu do čítačového automatu (cs)
skos:prefLabel	Translator of VHDL Design to Counter Automaton Translator of VHDL Design to Counter Automaton (en) Překladač VHDL designu do čítačového automatu (cs)
skos:notation	RIV/00216305:26230/07:PR23024!RIV08-MSM-26230___
http://linked.open...avai/riv/aktivita	Z
http://linked.open...avai/riv/aktivity	Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat	2008
http://linked.open...aciTvurceVysledku	Smrčka, Aleš
http://linked.open.../riv/druhVysledku	S - Prototyp, uplatněná metodika, funkční vzorek, autorizovaný software, výsledky aplikovaného výzkumu promítnuté do právních předpisů a norem, užitný vzor
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...onomickeParametry	Volně šiřitelný software poskytovaný pod licencí GNU GPL.
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	455587
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/07:PR23024
http://linked.open...terniIdentifikace	VHD2CA
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open...vai/riv/kategorie	A - Do 5 mil. Kč
http://linked.open.../riv/klicovaSlova	VHDL, counter automata, translator, model, formal verification (en)
http://linked.open.../riv/klicoveSlovo	VHDL model translator formal verification counter automata
http://linked.open...ontrolniKodProRIV	[C36B2838113B]
http://linked.open.../licencniPoplatek	N - Poskytovatel licence na výsledek nepožaduje licenční poplatek
http://linked.open...okalizaceVysledku	http://www.fit.vutbr.cz/~smrcka/projects/vhd2ca/
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...UplatneniVysledku	2007
http://linked.open...echnickeParametry	Objektově orientovaná knihovna a program v jazyku Python (verze 2.4 a vyšší) s otevřeným kódem. Program a knihovna je použitelný pro všechny platformy podporující interpret jazyka Python. Rozsah zdrojových kódů je cca 9 tisíc řádků.
http://linked.open...iv/tvurceVysledku	Smrčka, Aleš
http://linked.open...avai/riv/vlastnik	Fakulta informačních technologií
http://linked.open...itiJinymSubjektem	A - Nabytí licence je nutné vždy
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	Translator of VHDL Design to Counter Automaton Translator of VHDL Design to Counter Automaton Translator of VHDL Design to Counter Automaton

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 36 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software