Conference paper

 
Masařík, K., Hruška, T.: 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, US, IIIS, 2007, p. 40-45, ISBN 1-934272-10-8
Publication language:english
Original title:Structural Equivalence between Architectural Descriptive and Hardware Languages
Title (cs):Strukturální Ekvivalence mezi Jazyky pro popis Architektury a Hardwarově popisnými Jazyky
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
Place:Florida, US
Year:2007
ISBN:1-934272-10-8
Publisher:International Institute of Informacs and Systemics
Keywords
Hardware/software co-design, architecture description language, hardware language, equivalence
Annotation
Formal description of the transformation between the ISAC language and RTL in VHDL, further description of the structural equivalence between both languages.

Abstract
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.
BibTeX:
@INPROCEEDINGS{
   author = {Karel Masařík and Tomáš Hruš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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=8391}
}