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
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;
Conference_Titel :
EUROMICRO Conference, 1999. Proceedings. 25th
Conference_Location :
Milan
Print_ISBN :
0-7695-0321-7
DOI :
10.1109/EURMIC.1999.794497
