Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s

1. IP-XACT Components with Abstract Time Characterization
Frédéric Mallet, Charles André, Robert Simone

2. MDE Support for HW/SW Codesign: A UML-based Design Flow
Luis Gabriel Murillo, Marcello Mura, Mauro Prevostini

3. Checkpoint and Restore for SystemC Models
Màrius Monton, Jakob Engblom, Christian Schröder, Jordi Carrabina, Mark Burton

4. Efficient Approximately-Timed Performance Modeling for Architectural Exploration of MPSoCs
Martin Streubühr, Jens Gladigau, Christian Haubelt, Jürgen Teich

5. Fast SystemC Performance Models for the Exploration of Embedded Memories
Hans-Peter Loeb, Christian Sauer

6. Another Take on Functional System-Level Design and Modeling
Tomasz Toczek, Dominique Houzet, Stéphane Mancini

7. Design Automation Model for Application-Specific Processors on Reconfigurable Fabric
Arda Yurdakul, Roza Ghamari, Bayram Kurumahmut, Gokhan Kabukcu

8. A SystemC Superset for High-Level Synthesis
Maxim Smirnov, Andres Takach

9. Design of Experiments for Effective Pre-silicon Verification of Automotive Electronics
Monica Rafaila, Christian Decker, Christoph Grimm, Georg Pelz

10. A VHDL-AMS Modeling Methodology for Top-Down/Bottom-Up Design of RF Systems
Torsten Maehne, Alain Vachoux, Frédéric Giroud, Matteo Contaldo

11. High Level Synthesis Using Operation Properties
Jan Langer, Ulrich Heinkel

12. A Re-Use Methodology for Formal SoC Protocol Compliance Verification
Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann

13. ISIS: Runtime Verification of TLM Platforms
Luca Ferro, Laurence Pierre

14. SMT-based Stimuli Generation in the SystemC Verification Library
Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler

Avainsanat: Engineering, Circuits and Systems, Programming Languages, Compilers, Interpreters