Languages, design methods, and tools for electronic system design [electronic resource] : selected contributions from FDL 2013 / Marie-Minerve Louërat, Torsten Maehne, editors.
FDL (Conference) (2013 : Paris, France); Louërat, Marie-Minerve, editor.; Maehne, Torsten, editor.
2014
QA76.9.F67
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Languages, design methods, and tools for electronic system design [electronic resource] : selected contributions from FDL 2013 / Marie-Minerve Louërat, Torsten Maehne, editors.
Meeting Name FDL (Conference) (2013 : Paris, France)
ISBN 9783319063171 electronic book
3319063170 electronic book
9783319063164
DOI https://doi.org/10.1007/978-3-319-06317-1
Published Cham : Springer, [2014]
Copyright ©2015
Language English
Description 1 online resource (xxxiv, 305 pages) : illustrations (some color).
Item Number 10.1007/978-3-319-06317-1 doi
Call Number QA76.9.F67
Dewey Decimal Classification 621.3815
Summary 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.
Note Includes index.
Bibliography, etc. Note References2 Assisting Refinement in System-on-Chip Design; 2.1 Introduction; 2.2 Related Works; 2.3 Our Method; 2.3.1 Application; 2.3.2 Execution Platform; 2.3.3 Mapping and Partitioning; 2.4 Transformation Rules; 2.4.1 Refinement Steps; 2.4.2 Generation of Models for Level-1, Level-2, and Level-3; 2.4.3 Proof of Property Preservation; 2.5 Case Study; 2.5.1 Refinement Checking; 2.5.2 Properties Verification; 2.6 Conclusion; References; Part IIEmbedded Analog and Mixed-SignalSystem Verification; 3 A New Assertion Property Language for Analog/Mixed-Signal Circuits; 3.1 Introduction
Access Note Access limited to authorized users.
Source of Description Description based on online resource; title from PDF title page (SpringerLink, viewed Sept. 4, 2014).
Added Author Louërat, Marie-Minerve, editor.
Maehne, Torsten, editor.
Series Lecture notes in electrical engineering ; v.311.
Available in Other Form Print version: 9783319063164
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export