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
About this book
Similar content being viewed by others
Keywords
Table of contents (10 chapters)
-
Formal Models and Verification and Predictability
-
Parallel Architectures
-
Modelling and Verification of Power Properties
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