Overview
- Covers Assertion Based Design, Verification & Debug;
- Includes language-based modeling and design techniques for embedded systems;
- Covers design, modeling and verification of mixed physical domain and mixed signal systems;
- Includes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE);
- Covers parallel architectures – both as platforms for embedded systems and for efficient simulation;
- Includes modeling and analysis approaches for trending topics such as natural language processing, power efficiency and predictable systems.
Part of the book series: Lecture Notes in Electrical Engineering (LNEE, volume 361)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (10 chapters)
-
Front Matter
-
Formal Models and Verification and Predictability
-
Front Matter
-
-
Parallel Architectures
-
Front Matter
-
-
Modelling and Verification of Power Properties
-
Front Matter
-
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Languages, Design Methods, and Tools for Electronic System Design
Book Subtitle: Selected Contributions from FDL 2014
Editors: Frank Oppenheimer, Julio Luis Medina Pasaje
Series Title: Lecture Notes in Electrical Engineering
DOI: https://doi.org/10.1007/978-3-319-24457-0
Publisher: Springer Cham
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer International Publishing AG, part of Springer Nature 2016
Hardcover ISBN: 978-3-319-24455-6Published: 12 December 2015
Softcover ISBN: 978-3-319-79631-4Published: 30 March 2019
eBook ISBN: 978-3-319-24457-0Published: 11 December 2015
Series ISSN: 1876-1100
Series E-ISSN: 1876-1119
Edition Number: 1
Number of Pages: VI, 205
Number of Illustrations: 21 b/w illustrations, 63 illustrations in colour
Topics: Circuits and Systems, Electronics and Microelectronics, Instrumentation, Computer Hardware