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
1 July 2008
0 references
hardware design
0 references
formal verification
0 references
Reo
0 references
constraint automata
0 references
SystemC
0 references