Specification / Virtual Prototyping
Robert Cottrell
Publications
The user has not yet uploaded any publications to the DATE web portal.
Technical White Papers
Manfred Bartz
Publications
The user has not yet uploaded any publications to the DATE web portal.
Technical White Papers
DATE'09 Conference: System Specification and Modelling (D1), Design Methods, Tools, Algorithms and Languages Track CFP
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.
DATE'09 Conference: MPSoC and System Design Methods (Topic D2), CFP
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.
