Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009
More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeli...
| Other Authors: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
2010, 2010
|
| Edition: | 1st ed. 2010 |
| Series: | Lecture Notes in Electrical Engineering
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 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