Biblioteca CRAI Dulce Chacón - Universidad Europea de Madrid

CRAI Library - Madrid
Your cart is empty.
My folder ( items) | My account
Image from Google Jackets

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013 / edited by Marie-Minerve Louërat, Torsten Maehne.

Contributor(s): Louërat, Marie-Minerve., editor literario | Maehne, Torsten., editor literario
Material type: materialTypeLabelE-bookSeries: (Lecture Notes in Electrical Engineering,, 1876-1100 ;; 311); (Engineering (Springer-11647)).Publisher: Cham : Springer International Publishing, 2015Description: 1 recurso en línea (XXXIV, 305 páginas 117 ilustraciones, 50 ilustraciones a color.).ISBN: 9783319063171.Subject: Ingeniería del softwareOnline resources: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
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.
Abstract: 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, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. • Covers applications of formal methods for specification, verification and debug; • Includes embedded analog and mixed-signal system design; • Enables model-driven engineering for embedded systems design and development.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
LIBRO-E NO PRÉSTAMO LIBRO-E NO PRÉSTAMO Madrid Digital Acceso Electrónico (UEM) Ciencias e Ingeniería QA76.758 2015 EB (Browse shelf(Opens below)) Acceso electrónico eBook.12112738
Total holds: 0

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.

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, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. • Covers applications of formal methods for specification, verification and debug; • Includes embedded analog and mixed-signal system design; • Enables model-driven engineering for embedded systems design and development.

There are no comments on this title.

to post a comment.
Share