This HTML5 document contains 44 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n19http://localhost/temp/predkladatel/
n14http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n9http://linked.opendata.cz/ontology/domain/vavai/
n13http://linked.opendata.cz/resource/domain/vavai/zamer/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/licencniPoplatek/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n20http://linked.opendata.cz/ontology/domain/vavai/riv/kategorie/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/vyuzitiJinymSubjektem/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F07%3APR23024%21RIV08-MSM-26230___/
n11http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26230%2F07%3APR23024%21RIV08-MSM-26230___
rdf:type
n9:Vysledek skos:Concept
dcterms:description
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. 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í. 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.
dcterms:title
Translator of VHDL Design to Counter Automaton Překladač VHDL designu do čítačového automatu Translator of VHDL Design to Counter Automaton
skos:prefLabel
Translator of VHDL Design to Counter Automaton Překladač VHDL designu do čítačového automatu Translator of VHDL Design to Counter Automaton
skos:notation
RIV/00216305:26230/07:PR23024!RIV08-MSM-26230___
n3:aktivita
n7:Z
n3:aktivity
Z(MSM0021630528)
n3:dodaniDat
n11:2008
n3:domaciTvurceVysledku
n14:1458841
n3:druhVysledku
n15:S
n3:duvernostUdaju
n4:S
n3:ekonomickeParametry
Volně šiřitelný software poskytovaný pod licencí GNU GPL.
n3:entitaPredkladatele
n10:predkladatel
n3:idSjednocenehoVysledku
455587
n3:idVysledku
RIV/00216305:26230/07:PR23024
n3:interniIdentifikace
VHD2CA
n3:jazykVysledku
n16:eng
n3:kategorie
n20:A
n3:klicovaSlova
VHDL, counter automata, translator, model, formal verification
n3:klicoveSlovo
n5:VHDL n5:counter%20automata n5:model n5:formal%20verification n5:translator
n3:kontrolniKodProRIV
[C36B2838113B]
n3:licencniPoplatek
n6:N
n3:lokalizaceVysledku
http://www.fit.vutbr.cz/~smrcka/projects/vhd2ca/
n3:obor
n18:JC
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:rokUplatneniVysledku
n11:2007
n3:technickeParametry
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ů.
n3:tvurceVysledku
Smrčka, Aleš
n3:vlastnik
n10:vlastnikVysledku
n3:vyuzitiJinymSubjektem
n17:A
n3:zamer
n13:MSM0021630528
n19:organizacniJednotka
26230