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 that include significant analog parts in electrical and non-electrical domains
- 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)
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Electrical Engineering (LNEE, volume 265)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (12 papers)
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Models, Methods, and Tools for Complex Chip Design
Book Subtitle: Selected Contributions from FDL 2012
Editors: Jan Haase
Series Title: Lecture Notes in Electrical Engineering
DOI: https://doi.org/10.1007/978-3-319-01418-0
Publisher: Springer Cham
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer International Publishing Switzerland 2014
Hardcover ISBN: 978-3-319-01417-3Published: 01 October 2013
Softcover ISBN: 978-3-319-34823-0Published: 23 August 2016
eBook ISBN: 978-3-319-01418-0Published: 18 September 2013
Series ISSN: 1876-1100
Series E-ISSN: 1876-1119
Edition Number: 1
Number of Pages: XV, 221
Number of Illustrations: 37 b/w illustrations, 57 illustrations in colour
Topics: Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation