Formal communication semantics of SystemC^FL

K.L. Man

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)

    Samenvatting

    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/.
    Originele taal-2Engels
    TitelProceedings of the 8th Euromicro Conference on Digital System Design (DSD'05)
    RedacteurenC. Wolinski
    Plaats van productiePiscataway
    UitgeverijInstitute of Electrical and Electronics Engineers
    Pagina's338-345
    Aantal pagina's8
    ISBN van geprinte versie0-7695-2433-8
    DOI's
    StatusGepubliceerd - 2005
    Evenement8th Euromicro Conference on Digital System Design (DSD 2005) - Porto, Portugal
    Duur: 30 aug 20053 sep 2005
    Congresnummer: 8

    Congres

    Congres8th Euromicro Conference on Digital System Design (DSD 2005)
    Verkorte titelDSD 2005
    Land/RegioPortugal
    StadPorto
    Periode30/08/053/09/05
    AnderDSD 2005, Porto, Portugal

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Formal communication semantics of SystemC^FL'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit