menu
{ "item_title" : "Advances in Design Methods from Modeling Languages for Embedded Systems and Soc's", "item_author" : [" Dominique Borrione "], "item_description" : "Part I UML and MDE for Embedded Systems. IP-XACT components with Abstract Time Characterization; Fr d ric Mallet, Charles Andrand 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.", "item_img_path" : "https://covers4.booksamillion.com/covers/bam/9/04/819/303/9048193036_b.jpg", "price_data" : { "retail_price" : "169.99", "online_price" : "169.99", "our_price" : "169.99", "club_price" : "169.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
Advances in Design Methods from Modeling Languages for Embedded Systems and Soc's|Dominique Borrione

Advances in Design Methods from Modeling Languages for Embedded Systems and Soc's : Selected Contributions on Specification, Design, and Verification f

local_shippingShip to Me
In Stock.
FREE Shipping for Club Members help

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

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

You May Also Like...

    1

BAM Customer Reviews