Formal communication semantics of SystemC^FL

K.L. Man

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)

    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 languageEnglish
    Title of host publicationProceedings of the 8th Euromicro Conference on Digital System Design (DSD'05)
    EditorsC. Wolinski
    Place of PublicationPiscataway
    PublisherInstitute of Electrical and Electronics Engineers
    Pages338-345
    Number of pages8
    ISBN (Print)0-7695-2433-8
    DOIs
    Publication statusPublished - 2005
    Event8th Euromicro Conference on Digital System Design (DSD 2005) - Porto, Portugal
    Duration: 30 Aug 20053 Sep 2005
    Conference number: 8

    Conference

    Conference8th Euromicro Conference on Digital System Design (DSD 2005)
    Abbreviated titleDSD 2005
    CountryPortugal
    CityPorto
    Period30/08/053/09/05
    Other"Architectures, Methods and Tools"

    Fingerprint

    Dive into the research topics of 'Formal communication semantics of SystemC^FL'. Together they form a unique fingerprint.

    Cite this