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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Louërat, Marie-Minerve (Editor ), Maehne, Torsten (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edición:1st ed. 2015.
Colección:Lecture Notes in Electrical Engineering, 311
Temas:
Electronic circuits.
Microprocessors.
Computer architecture.
Electronics.
Electronic Circuits and Systems.
Processor Architectures.
Electronics and Microelectronics, Instrumentation.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares