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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Louërat, Marie-Minerve (Editor), Maehne, Torsten (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Series: Lecture Notes in Electrical Engineering, 311
• Subjects: 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 sixteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2013 in Paris, France. FDL is a well-established international forum devoted to dissemination of research results, prac...

Table of Contents:

• Part I Applications of Formal Methods for Specification and Verification
• Optimal Component Selection for Energy-Efficient Systems
• Assisting Refinement in System-on-Chip Design
• Part II Embedded Analog and Mixed-Signal System Verification
• Integrating Circuit Analyses for Assertion-Based Verification of Programmable AMS Circuits
• Part III Embedded Analog and Mixed-Signal System Design
• Hybrid Dynamical Systems for Memristor Modelling
• Code Generation Alternatives to Reduce Heterogeneous Embedded Systems Homogeneity.