Abstract
In this paper, we define a formal communication semantics for SystemC/sup FL/ that deals with concurrency and interaction. The communication semantics of SystemC/sup FL/ is formally defined in a standard structured operational semantics (SOS) style. The correctness of the proposed communication semantics of SystemC/sup FL/ is also validated. A case study (RPC protocol with refinement) is given to illustrate the use of the newly developed communication semantics of SystemC/sup FL/.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 8th Euromicro Conference on Digital System Design (DSD'05) |
| Editors | C. Wolinski |
| Place of Publication | Piscataway |
| Publisher | Institute of Electrical and Electronics Engineers |
| Pages | 338-345 |
| Number of pages | 8 |
| ISBN (Print) | 0-7695-2433-8 |
| DOIs | |
| Publication status | Published - 2005 |
| Event | 8th Euromicro Conference on Digital System Design (DSD 2005) - Porto, Portugal Duration: 30 Aug 2005 → 3 Sept 2005 Conference number: 8 |
Conference
| Conference | 8th Euromicro Conference on Digital System Design (DSD 2005) |
|---|---|
| Abbreviated title | DSD 2005 |
| Country/Territory | Portugal |
| City | Porto |
| Period | 30/08/05 → 3/09/05 |
| Other | "Architectures, Methods and Tools" |