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

Abbildungen

VIII, 248 p.

Herausgeber

Dominique Borrione

Verlag

Springer Netherland

Seitenzahl

248

Maße (L/B/H)

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

Gewicht

531 g

Auflage

2010 edition

Sprache

Englisch

ISBN

978-90-481-9303-5

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

18.09.2010

Abbildungen

VIII, 248 p.

Herausgeber

Dominique Borrione

Verlag

Springer Netherland

Seitenzahl

248

Maße (L/B/H)

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

Gewicht

531 g

Auflage

2010 edition

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
  • UML and MDE for Embedded Systems.- IP-XACT Components with Abstract Time Characterization.- MDE Support for HW/SW Codesign: A UML-based Design Flow.- C/C++-Based System Design.- Checkpoint and Restore for SystemC Models.- Efficient Approximately-Timed Performance Modeling for Architectural Exploration of MPSoCs.- Fast SystemC Performance Models for the Exploration of Embedded Memories.- Another Take on Functional System-Level Design and Modeling.- Design Automation Model for Application-Specific Processors on Reconfigurable Fabric.- A SystemC Superset for High-Level Synthesis.- Embedded Analog and Mixed-Signal System Design.- Design of Experiments for Effective Pre-silicon Verification of Automotive Electronics.- A VHDL-AMS Modeling Methodology for Top-Down/Bottom-Up Design of RF Systems.- Assertion Based Design, Verification & Debug.- High Level Synthesis Using Operation Properties.- A Re-Use Methodology for Formal SoC Protocol Compliance Verification.- ISIS: Runtime Verification of TLM Platforms.- SMT-based Stimuli Generation in the SystemC Verification Library.