Skip to main content
SpringerLink
Log in

Robustness and Usability in Modern Design Flows

  • Book
  • © 2008

Overview

Authors:
  1. Görschwin Fey

    1. University of Bremen, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Rolf Drechsler

    1. University of Bremen, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • 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

  • 2525 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Pages i-xvii
    Download chapter PDF

  2. Introduction

    Pages 1-7

  3. Preliminaries

    Pages 9-35

  4. Algorithms and Data Structures

    Pages 37-49

  5. Synthesis

    Pages 51-73

  6. Property Generation

    Pages 75-97

  7. Diagnosis

    Pages 99-148

  8. Summary and Conclusions

    Pages 149-150

  9. Back Matter

    Pages 151-166
    Download chapter PDF
Back to top

Keywords

About this book

The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore, today’s design ?ow has to be improved to achieve a higher productivity. In this book the current design methodology and ver- cation methodology are analyzed, a number of de?ciencies are identi?ed, and solutions are suggested. Improvements in the methodology as well as in the underlying algorithms are proposed. An in-depth presentation of preliminary concepts makes the book self-contained. Based on this foundation major - sign problems are targeted. In particular, a complete tool ?ow for Synthesis for Testability of SystemC descriptions is presented. The resulting circuits are completely testable and test pattern generation in polynomial time is possible. Veri?cation issues are covered in even more detail. A whole new paradigm for formal design veri?cation is suggested. This is based upon design und- standing, the automatic generation of properties, and powerful tool support for debugging failures. All these new techniques are empirically evaluated and - perimental results are provided. As a result, an enhanced design ?ow is created that provides more automation (i.e. better usability) and reduces the probability of introducing conceptual errors (i.e. higher robustness). Acknowledgments We would like to thank all members of the research group for computer arc- tecture in Bremen for the helpful discussions and the great atmosphere during work and research.

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

Prof. Rolf Drechsler has authored and edited numerous books for Springer

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation