CoLa (Codesign Language) Referenz-Handbuch
| URL | http://edoc.sub.uni-hamburg.de/informatik/volltexte/2009/50/ |
|---|---|
| Document type: | TechReport |
| Series: | Berichte des Fachbereichs Informatik der Universität Hamburg |
| Volume Number: | 228 |
| Language: | German |
| Year of creation: | 2000 |
| Date of publication: | 27.08.2009 |
| Keywords from authority file SWD (German): | Referenz |
| Free keywords (German): | CoLa (Codesign Language) , Handbuch |
| Free keywords (English): | CoLa (Codesign Language) , Reference handbook |
| Dewey Decimal Classification: | Computer science |
| BK - classification: | 54.53 |
Abstract in German:
Inhalt dieses Berichts ist das Referenz-Handbuch zu CoLa (Codesign Language). Dieser Bericht enthält sowohl die Definition der Syntax und als auch der Semantik von CoLa. CoLa ist eine Spezifikationssprache zur Beschreibung von Hardware-/Software-Systemen. Dies sind Systeme, die neben einem oder mehreren Mikroprozessor zusätzlich anwenderspezifische Hardware enthalten. CoLa ermöglicht es, das Verhalten von Hardware-/Software-Systeme als Ganzes zu beschreiben. Die Beschreibung dient als Ausgangspunkt für automatische Syntheseverfahren. Dabei wird durch die Beschreibung die spätere Partitionierung nicht vorweg genommen. Es ist insbesondere möglich, mit CoLa Zeitbedingungen zu formulieren.
Abstract in English:
Content of this report is the reference manual of CoLa(Codesign Language). This report contains both the definition of the syntax and the semantics of CoLa. CoLa is a specification language for the description of hardware/software systems. These are systems which contain microprocessors and additionally application specific hardware. CoLa makes it possible to describe the behaviour of hardware/software systems in a whole. The description is the starting point for the automatic synthesis. The later partition is not anticipated by the description. In particular it is possible to express timing conditions with CoLa.
Hinweis zum Urherberrecht
Für Dokumente, die in elektronischer Form über Datenenetze angeboten werden, gilt uneingeschränkt das Urheberrechtsgesetz (UrhG). Insbesondere gilt:
Einzelne Vervielfältigungen, z.B. Kopien und Ausdrucke, dürfen nur zum privaten und sonstigen eigenen Gebrauch angefertigt werden (Paragraph 53 Urheberrecht). Die Herstellung und Verbreitung von weiteren Reproduktionen ist nur mit ausdrücklicher Genehmigung des Urhebers gestattet.
Der Benutzer ist für die Einhaltung der Rechtsvorschriften selbst verantwortlich und kann bei Mißbrauch haftbar gemacht werden.