你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada robustness and usability in modern design flows
Type
Physical Book
Author
Publisher
Year
2010
Language
English
Pages
166
Format
Paperback
Dimensions
23.4x15.6x1 cm
Weight
0.27 kg.
ISBN
904817662x
ISBN13
9789048176625
Categories

robustness and usability in modern design flows

Rolf Drechsler (Author) · Görschwin Fey (Author) · Springer · Paperback

robustness and usability in modern design flows - Fey, Görschwin ; Drechsler, Rolf

Cheaper New Book Imported to Taiwan
Delivery: 20 Nov - 03 Dec Shipping: 15 to 19 business days.
NT$ 3,364
Faster New Book Imported to Taiwan
Delivery: 09 Nov - 17 Nov Shipping: 6 to 7 business days.
NT$ 4,264
NT$ 3,364

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "robustness and usability in modern design flows"

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews