Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Drechsler, Rolf (Επιμελητής έκδοσης), Wille, Robert (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Σειρά: Lecture Notes in Electrical Engineering, 385
• Θέματα: Engineering.; Microprocessors.; Electronics.; Microelectronics.; Electronic circuits.; Circuits and Systems.; Processor Architectures.; Electronics and Microelectronics, Instrumentation.

This book brings together a selection of the best papers from the eighteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2015, in Barcelona, Spain. FDL is a well-established international forum devoted to dissemination of research...

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

• Introduction
• Virtual Hardware-In-The-Loop Co-Simulation for Multi-Domain Automotive Systems via the Functional Mock-Up Interface
• Standard Compliant Co-Simulation Models for Verification of Automotive Embedded Systems
• Building a Dynamically Reconfigurable System Through a High-Level Development Flow
• A Special-Purpose Language for Implementing Pipelined FPGA-based Accelerators
• Enabler-Based Synchronizer Model for Clock Domain Crossing Static Verification
• Temporal Decoupling with Error-Bounded Predictive Quantum Control
• Conservative Behavioural Modelling in SystemC-AMS
• Modeling Power Consumption at System-Level for Design of Power Integrity-Aware AMS-Circuits.