Advances in Design Methods from Modeling Languages for Embedded Systems and Soc's : Selected Contributions on Specification, Design, and Verification f
Other Available Formats
Overview
Part I UML and MDE for Embedded Systems. IP-XACT components with Abstract Time Characterization; Fr d ric Mallet, Charles Andr and Robert de Simone. MDE Support for HW/SW Codesign: a UML-based Design Flow; Luis Gabriel Murillo, Marcello Mura and Mauro Prevostini Part II C/C++-Based System Design. Checkpoint and Restore for SystemC Models; M rius Mont n, et al. Efficient Approximately-Timed Performance Modeling for Architectural Exploration of MPSoCs; Martin Streub hr, et al. Fast SystemC Performance Models For The Exploration Of Embedded Memories; Hans-Peter Loeb and Christian Sauer. Another take on functional system-level design and modeling; Tomasz Toczek, et al. Generic Model for Application-Specific Processors on Reconfigurable Fabric; Arda Yurdakul, et al. A SystemC Superset for High-Level Synthesis; Maxim Smirnov and Andres Takach. Part III Embedded Analog and Mixed-Signal System Design. Design of Experiments for Effective Pre-silicon Verification of Automotive Electronics; Monica Rafaila, et al. A VHDL-AMS Modeling Methodology for Top-Down/Bottom-Up Design of RF Systems; Torsten Maehne, et al. Part IV Assertion Based Design, Verification & Debug. High Level Synthesis Using Operation Properties; Jan Langer and Ulrich Heinkel. A Re-Use Methodology for Formal SoC Protocol Compliance Verification; Minh D. Nguyen, et al. ISIS: Runtime Verification of TLM Platforms; Luca Ferro and Laurence Pierre. SMT-based Stimuli Generation in the SystemC Verification Library; Robert Wille, et al.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9789048193035
- ISBN-10: 9048193036
- Publisher: Springer
- Publish Date: September 2010
- Dimensions: 9.21 x 6.14 x 0.63 inches
- Shipping Weight: 1.18 pounds
- Page Count: 248
Related Categories
