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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Louërat, Marie-Minerve (Επιμελητής έκδοσης), Maehne, Torsten (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Σειρά: Lecture Notes in Electrical Engineering, 311
• Θέματα: 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...

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

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