Produktbild: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s
Band 63 - 13%

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009

13% sparen

138,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

18.09.2010

Herausgeber

Dominique Borrione

Verlag

Springer Netherland

Seitenzahl

248

Maße (L/B/H)

24,1/16,5/2,5 cm

Gewicht

518 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-90-481-9303-5

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

18.09.2010

Herausgeber

Dominique Borrione

Verlag

Springer Netherland

Seitenzahl

248

Maße (L/B/H)

24,1/16,5/2,5 cm

Gewicht

518 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-90-481-9303-5

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s
  • 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.