Compositional Semantics of System-Level Designs Written in SystemC (Q3508521)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Compositional Semantics of System-Level Designs Written in SystemC
scientific article

    Statements

    Compositional Semantics of System-Level Designs Written in SystemC (English)
    0 references
    0 references
    0 references
    1 July 2008
    0 references
    hardware design
    0 references
    formal verification
    0 references
    Reo
    0 references
    constraint automata
    0 references
    SystemC
    0 references
    0 references
    0 references

    Identifiers