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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Große, Daniel (Editor, http://id.loc.gov/vocabulary/relators/edt), Vinco, Sara (Editor, http://id.loc.gov/vocabulary/relators/edt), Patel, Hiren (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Lecture Notes in Electrical Engineering, 530
• Subjects: 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...

Table of Contents:

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