Authors:
- More automation for time consuming tasks
- Powerful tools by exploiting formal techniques
- Visionary approach for formal design verification
- Debugging at the source level becomes easy
- Robustness against error prone manual interventions
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 (7 chapters)
-
Front Matter
-
Back Matter
About this book
Reviews
From the reviews:
“The authors, Gorschwin Fey and Rolf Drechsler, have identified several deficiencies in the design steps and manual fault diagnosis and have proposed a number of methods to alleviate the problems. … The book is a useful contribution to circuit design productivity and reliability.” (Nirode C. Mohanty, Zentralblatt MATH, Vol. 1198, 2010)Authors and Affiliations
-
University of Bremen, UK
Görschwin Fey, Rolf Drechsler
About the authors
Bibliographic Information
Book Title: Robustness and Usability in Modern Design Flows
Authors: Görschwin Fey, Rolf Drechsler
DOI: https://doi.org/10.1007/978-1-4020-6536-1
Publisher: Springer Dordrecht
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer Science+Business Media B.V. 2008
Hardcover ISBN: 978-1-4020-6535-4Published: 08 January 2008
Softcover ISBN: 978-90-481-7662-5Published: 19 October 2010
eBook ISBN: 978-1-4020-6536-1Published: 08 January 2008
Edition Number: 1
Number of Pages: XVIII, 166
Topics: Circuits and Systems, Mathematical Logic and Formal Languages, Theory of Computation, Electronics and Microelectronics, Instrumentation
Industry Sectors: Aerospace, Automotive, Electronics, Energy, Utilities & Environment, Engineering, IT & Software, Oil, Gas & Geosciences, Telecommunications