Structural Equivalence between Architectural Descriptive and Hardware Languages
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F07%3APU70836" target="_blank" >RIV/00216305:26230/07:PU70836 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Structural Equivalence between Architectural Descriptive and Hardware Languages
Original language description
Programmable architectures create a core of embedded systems. The area of hardware/software co-design deals with the design of these architectures. The area explores a design space for given tasks based on some criteria (cost, consumption, etc.). The success of the exploration phase is influenced with the existence of proper architecture's model, which enables to create software tools for programming and simulation of the architecture, moreover model enables to create the hardware realization accordingto it. The question is, if the hardware solution is semantically identical to the model. This paper deals with this problem and provides a partly solution.
Czech name
Strukturální Ekvivalence mezi Jazyky pro popis Architektury a Hardwarově popisnými Jazyky
Czech description
Formální popis transformace mezi jazykem ISAC a RTL úrovní ve VHDL, a popis strukturální ekvivalence mezi oběma jazyky.
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/FT-TA3%2F128" target="_blank" >FT-TA3/128: Language and development environment for microprocessor design.</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2007
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
A proceedings volume from the 4th International Conference on Cybernetics and Information Technologies, Systems and Applications CITSA 2007
ISBN
1-934272-10-8
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
40-45
Publisher name
International Institute of Informacs and Systemics
Place of publication
Florida
Event location
Florida
Event date
Jul 12, 2007
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—