Editors:
- Reports on recent advances in the use of system design and specification languages
- Large coverage of system design issues
- Thought provoking reading
- Seeds for future research
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (17 chapters)
-
Front Matter
-
Specification, Design, and Verification Methods
-
Front Matter
-
-
C/C++-Based System Design
-
Front Matter
-
-
Analog, Mixed-Signal, and Heterogeneous System Design
-
Front Matter
-
-
UML-Based System Specification and Design
-
Front Matter
-
About this book
Applications of Specification and Design Languages for SoCs includes a selection of the best contributions to the Forum on Specification and Design Languages held in 2005 (FDL'05). Since its inception in 1998, FDL has established itself as the premier European forum to exchange experiences and learn about new trends in the application of languages and models for the specification and modeling of electronic systems.
This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture.
All chapters in Applications of Specification and Design Languages for SoCs have been carefully revised and extended to offer up-to-date information. They also constitute excellent seeds for further researches and developments in the field of heterogeneous systems-on-chip design.
Editors and Affiliations
-
FDL'05 General Chair, Ecole Polytechnique Fédérale de Lausanne, Switzerland
A. Vachoux
Bibliographic Information
Book Title: Applications of Specification and Design Languages for SoCs
Book Subtitle: Selected papers from FDL 2005
Editors: A. Vachoux
DOI: https://doi.org/10.1007/978-1-4020-4998-9
Publisher: Springer Dordrecht
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer Science+Business Media B.V. 2006
Hardcover ISBN: 978-1-4020-4997-2Published: 02 October 2006
Softcover ISBN: 978-90-481-7249-8Published: 19 October 2010
eBook ISBN: 978-1-4020-4998-9Published: 06 October 2006
Edition Number: 1
Number of Pages: XXII, 312
Topics: Circuits and Systems, Electrical Engineering, Engineering Design, Electronics and Microelectronics, Instrumentation, Computer Hardware