Overview
- 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
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Electrical Engineering (LNEE, volume 311)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (15 chapters)
-
Applications of Formal Methods for Specification and Verification
-
Embedded Analog and Mixed-Signal System Verification
-
Embedded Analog and Mixed-Signal System Design
-
Digital Hardware/Software Embedded System Design
-
Model-Driven Engineering for Embedded System Design
Keywords
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Languages, Design Methods, and Tools for Electronic System Design
Book Subtitle: Selected Contributions from FDL 2013
Editors: Marie-Minerve Louërat, Torsten Maehne
Series Title: Lecture Notes in Electrical Engineering
DOI: https://doi.org/10.1007/978-3-319-06317-1
Publisher: Springer Cham
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Hardcover ISBN: 978-3-319-06316-4Published: 04 September 2014
Softcover ISBN: 978-3-319-35913-7Published: 10 September 2016
eBook ISBN: 978-3-319-06317-1Published: 21 August 2014
Series ISSN: 1876-1100
Series E-ISSN: 1876-1119
Edition Number: 1
Number of Pages: XXXIV, 305
Number of Illustrations: 67 b/w illustrations, 50 illustrations in colour
Topics: Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation