Publication result 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

Paper in proceedings outside WoS and Scopus

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

Key words in English

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

Authors

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

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

BibTex

@inproceedings{BUT28813,
  author="Karel {Masařík} and Tomáš {Hruška}",
  title="Structural Equivalence between Architectural Descriptive and Hardware Languages",
  booktitle="A proceedings volume from the 4th International Conference on Cybernetics and Information Technologies, Systems and Applications CITSA 2007",
  year="2007",
  pages="40--45",
  publisher="International Institute of Informacs and Systemics",
  address="Florida",
  isbn="1-934272-10-8"
}