Článek ve sborníku konference

 
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, s. 40-45, ISBN 1-934272-10-8
Jazyk publikace:angličtina
Název publikace:Structural Equivalence between Architectural Descriptive and Hardware Languages
Název (cs):Strukturální Ekvivalence mezi Jazyky pro popis Architektury a Hardwarově popisnými Jazyky
Strany:40-45
Sborník:A proceedings volume from the 4th International Conference on Cybernetics and Information Technologies, Systems and Applications CITSA 2007
Konference:The 4th International Conference on Cybernetics and Information Technologies, Systems and Applications
Místo vydání:Florida, US
Rok:2007
ISBN:1-934272-10-8
Vydavatel:International Institute of Informacs and Systemics
Klíčová slova
Hardware/software co-design, architecture description language, hardware language, equivalence
Anotace
Formální popis transformace mezi jazykem ISAC a RTL úrovní ve VHDL, a popis strukturální ekvivalence mezi oběma jazyky.
Abstrakt
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}
}