Detail publikace

Structural Equivalence between Architectural Descriptive and Hardware Languages

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.

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"
}