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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Borrione, Dominique (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
• Σειρά: Lecture Notes in Electrical Engineering, 63
• Θέματα: Engineering.; Programming languages (Electronic computers).; Electronic circuits.; Circuits and Systems.; Programming Languages, Compilers, Interpreters.

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

Πίνακας περιεχομένων:

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