Publication Details

Structural Equivalence between Architectural Descriptive and Hardware Languages

MASAŘÍK Karel and HRUŠKA Tomáš. Structural Equivalence between Architectural Descriptive and Hardware Languages. In: A proceedings volume from the 4th International Conference on Cybernetics and Information Technologies, Systems and Applications CITSA 2007. Florida: International Institute of Informacs and Systemics, 2007, pp. 40-45. ISBN 1-934272-10-8.
Czech title
Strukturální Ekvivalence mezi Jazyky pro popis Architektury a Hardwarově popisnými Jazyky
Type
conference paper
Language
english
Authors
Masařík Karel, Ing., Ph.D. (DIFS FIT BUT)
Hruška Tomáš, prof. Ing., CSc. (DIFS FIT BUT)
Keywords

Hardware/software co-design, architecture description language, hardware language, equivalence

Abstract

Formal description of the transformation between the ISAC language and RTL in VHDL, further description of the structural equivalence between both languages.

Annotation

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 according to 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.

Published
2007
Pages
40-45
Proceedings
A proceedings volume from the 4th International Conference on Cybernetics and Information Technologies, Systems and Applications CITSA 2007
Conference
The 4th International Conference on Cybernetics and Information Technologies, Systems and Applications, Florida, US
ISBN
1-934272-10-8
Publisher
International Institute of Informacs and Systemics
Place
Florida, US
BibTeX 
@INPROCEEDINGS{FITPUB8391,
   author = "Karel Masa\v{r}\'{i}k and Tom\'{a}\v{s} Hru\v{s}ka",
   title = "Structural Equivalence between Architectural Descriptive and Hardware Languages",
   pages = "40--45",
   booktitle = "A proceedings volume from the 4th International Conference on Cybernetics and Information Technologies, Systems and Applications CITSA 2007",
   year = 2007,
   location = "Florida, US",
   publisher = "International Institute of Informacs and Systemics",
   ISBN = "1-934272-10-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8391"
}
Back to top