Topic Description

Modelling and specification methodologies for complex, HW-SW embedded systems; System modelling and specification languages; Model-based design; Executable specifications; Specification analysis; Analog-mixed signal modeling and specification, Models of computation; Formal specification and semantics.

Topic Description

Papers are solicited in the areas of multi-core SoC architecture, including in particular the simulation and design of multi-core SoC. We are also looking for contributions devoted to electronic system-level design methods, tool flows and their practical application, including application-specific design methodologies, particularly for embedded hardware and software, or targeted specification, modeling, and validation flows. Finally, the topic will also cover design reuse and platform design support tools.