Detail publikace
Structural Equivalence between Architectural Descriptive and Hardware Languages
MASAŘÍK, K. HRUŠKA, T.
Originální název
Structural Equivalence between Architectural Descriptive and Hardware Languages
Anglický název
Structural Equivalence between Architectural Descriptive and Hardware Languages
Jazyk
en
Originální abstrakt
Formal description of the transformation between the ISAC language and RTL in VHDL, further description of the structural equivalence between both languages.
Anglický abstrakt
Formal description of the transformation between the ISAC language and RTL in VHDL, further description of the structural equivalence between both languages.
Dokumenty
BibTex
@inproceedings{BUT28813,
author="Karel {Masařík} and Tomáš {Hruška}",
title="Structural Equivalence between Architectural Descriptive and Hardware Languages",
annote="Formal description of the transformation between the ISAC language and RTL in
VHDL, further description of the structural equivalence between both languages.
",
address="International Institute of Informacs and Systemics",
booktitle="A proceedings volume from the 4th International Conference on Cybernetics and Information Technologies, Systems and Applications CITSA 2007",
chapter="28813",
howpublished="print",
institution="International Institute of Informacs and Systemics",
year="2007",
month="july",
pages="40--45",
publisher="International Institute of Informacs and Systemics",
type="conference paper"
}