Publication detail

Structural Equivalence between Architectural Descriptive and Hardware Languages

MASAŘÍK, K. HRUŠKA, T.

Original Title

Structural Equivalence between Architectural Descriptive and Hardware Languages

English Title

Structural Equivalence between Architectural Descriptive and Hardware Languages

Type

conference paper

Language

en

Original Abstract

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

English abstract

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

Keywords

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

RIV year

2007

Released

12.07.2007

Publisher

International Institute of Informacs and Systemics

Location

Florida

ISBN

1-934272-10-8

Book

A proceedings volume from the 4th International Conference on Cybernetics and Information Technologies, Systems and Applications CITSA 2007

Pages from

40

Pages to

45

Pages count

6

Documents

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