Overview
- Techniques and tools relevant to both system-level hardware design, system on chip design, architecture-cautious embedded software design.
- This is a unique book that brings together a divergent range of articles on System-Level design, which includes emerging design languages and system level design platforms, formal verification techniques, type theory based design etc.
- For graduate students, researchers and CAD industry people this may be a very unique opportunity to learn all these from a single source
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (14 chapters)
-
Methods and Models for System Level Design
-
Models and Methods for System Validation
-
Type Theoretic Models and Methods for System Design
-
Post-Production Formal Methods
Keywords
About this book
Reviews
From the reviews:
"This book explores various formal methods and models that can be used to manage the complexity … . This quite readable and self-contained monograph demonstrates some of the recent efforts made to address a very important issue, that is how to effectively and efficiently practice system design … . This is certainly an excellent reference book for system design practitioners and a very good example for those applied mathematicians who look for ways to apply their knowledge to solve practical problems." (Zhizhang Shen, Zentralblatt MATH, Vol. 1061 (12), 2005)
Editors and Affiliations
Bibliographic Information
Book Title: Formal Methods and Models for System Design
Book Subtitle: A System Level Perspective
Editors: Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin
DOI: https://doi.org/10.1007/978-1-4020-8052-4
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media Dordrecht 2004
Hardcover ISBN: 978-1-4020-8051-7Due: 01 October 2004
Softcover ISBN: 978-1-4419-5464-0Published: 14 December 2011
eBook ISBN: 978-1-4020-8052-4Published: 30 June 2004
Edition Number: 1
Number of Pages: IX, 372
Number of Illustrations: 65 b/w illustrations
Topics: Theory of Computation, Control and Systems Theory, Circuits and Systems, Artificial Intelligence, Computer-Aided Engineering (CAD, CAE) and Design, Electrical Engineering