Cover Image

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

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

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Louërat, Marie-Minerve. (Editor, http://id.loc.gov/vocabulary/relators/edt), Maehne, Torsten. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:1st ed. 2015.
Series:Lecture Notes in Electrical Engineering, 311
Subjects:
Electronic circuits.
Microprocessors.
Electronics.
Microelectronics.
Circuits and Systems.
Processor Architectures.
Electronics and Microelectronics, Instrumentation.
Online Access:https://doi.org/10.1007/978-3-319-06317-1
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.

Similar Items