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.

Topic Description

Papers are solicited in the following topics: Synthesis of complete systems, application and domain-specific synthesis techniques, system-level scheduling, hardware-centric system-level synthesis; HW/SW interface and communication synthesis; Protocol synthesis and
optimization; system optimisation for all cost functions (timing, electrical, non-functional); multiobjective optimisation; classical and nature-inspired optimization techniques; HW/SW partitioning.