VHDL Design Verification Tools
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F09%3A00035592" target="_blank" >RIV/00216224:14330/09:00035592 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
VHDL Design Verification Tools
Popis výsledku v původním jazyce
The software package consists of three modules - VHD2XML, OPTIMVHD, and ANALYSEVHD. First, the module VHD2XML performs translation from VHDL into XML (abstract syntax tree). OPTIMVHD performs optimizations at the XML level, in particular, the individualVHDL constructs are normalized. Finally, the module ANALYSEVHD performs basic static analysis of the program. Currently supported analysis feature is interconnection of wires/signals among VHDL entities.
Název v anglickém jazyce
VHDL Design Verification Tools
Popis výsledku anglicky
The software package consists of three modules - VHD2XML, OPTIMVHD, and ANALYSEVHD. First, the module VHD2XML performs translation from VHDL into XML (abstract syntax tree). OPTIMVHD performs optimizations at the XML level, in particular, the individualVHDL constructs are normalized. Finally, the module ANALYSEVHD performs basic static analysis of the program. Currently supported analysis feature is interconnection of wires/signals among VHDL entities.
Klasifikace
Druh
R - Software
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/1M0545" target="_blank" >1M0545: Institut Teoretické Informatiky</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2009
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Interní identifikační kód produktu
VHD2XML
Technické parametry
Balíček programů pro převod VHDL programů do uniformní reprezentace v XML formátu na jehož úrovni je implementována statická analýza chyb.
Ekonomické parametry
—
IČO vlastníka výsledku
00216224
Název vlastníka
Masarykova univerzita