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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Große, Daniel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Vinco, Sara (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Patel, Hiren (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Lecture Notes in Electrical Engineering, 530
• Θέματα: Electronic circuits.; Microprocessors.; Electronics.; Microelectronics.; Circuits and Systems.; Processor Architectures.; Electronics and Microelectronics, Instrumentation.

This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy. FDL is a well-established international forum devoted to dissemination of research resu...

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

• 1. Automatic Integration of HDL IPs in Simulinkusing FMI and S-Function Interfaces
• 2. Towards Early Validation of Firmware-Based Power Management using Virtual Prototypes: A Constrained Random Approach
• 3. Symbolic Simulation of Dataflow Synchronous Programs with Timers
• 4. Language and Hardware Acceleration Backend for Graph Processing
• 5. Fault Analysis in Analog Circuits through Language Manipulation and Abstraction
• 6. A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions.