DocumentCode
345135
Title
A message-passing communication scheme for system specification
Author
Curatelli, Francesco ; Mangeruca, Leonardo ; Chirico, Marco
Author_Institution
D.I.B.E., Genova Univ., Italy
Volume
1
fYear
1999
fDate
1999
Firstpage
390
Abstract
A new message-passing communication scheme for high-level system specification is introduced. Data exchange between the system processes can be defined by choosing the Send/Receive operation most suitable to meet the communication requirements of the system specification. Moreover, a message passing to shared memory translation procedure is presented
Keywords
formal specification; high level synthesis; message passing; communication requirements; high-level system specification; message-passing communication scheme; shared memory translation procedure; system specification; Algorithms; Broadcasting; Communication channels; Communication system control; Data communication; Memory management; Message passing; Read-write memory; Signal processing; Signal synthesis;
fLanguage
English
Publisher
ieee
Conference_Titel
EUROMICRO Conference, 1999. Proceedings. 25th
Conference_Location
Milan
ISSN
1089-6503
Print_ISBN
0-7695-0321-7
Type
conf
DOI
10.1109/EURMIC.1999.794497
Filename
794497
Link To Document