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

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

139,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.11.2012

Abbildungen

VIII, 248 p.

Herausgeber

Dominique Borrione

Verlag

Springer Netherland

Seitenzahl

248

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

394 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-94-007-3333-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.11.2012

Abbildungen

VIII, 248 p.

Herausgeber

Dominique Borrione

Verlag

Springer Netherland

Seitenzahl

248

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

394 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-94-007-3333-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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
  • 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.