你好! Tracked 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 Design Für Testbarkeit, Fehlersuche Und Zuverlässigkeit: Maßnahmen Der Nächsten Generation Unter Verwendung Formaler Techniken (in German)
Design Für Testbarkeit, Fehlersuche Und Zuverlässigkeit: Maßnahmen Der Nächsten Generation Unter Verwendung Formaler Techniken (in German)Design Für Testbarkeit, Fehlersuche Und Zuverlässigkeit: Maßnahmen Der Nächsten Generation Unter Verwendung Formaler Techniken (in German)
Type
Physical Book
Author
Publisher
Language
German
Pages
180
Format
Hardcover
ISBN13
9783031453182
Categories

Design Für Testbarkeit, Fehlersuche Und Zuverlässigkeit: Maßnahmen Der Nächsten Generation Unter Verwendung Formaler Techniken (in German)

Rolf Drechsler (Author) · Sebastian Huhn (Author) · Springer Vieweg · Hardcover

Design Für Testbarkeit, Fehlersuche Und Zuverlässigkeit: Maßnahmen Der Nächsten Generation Unter Verwendung Formaler Techniken (in German) - Huhn, Sebastian ; Drechsler, Rolf

Cheaper New Book Imported to Taiwan
Delivery: 15 Sep - 28 Sep Shipping: 16 to 20 business days.
NT$ 3,710
Faster New Book Imported to Taiwan
Delivery: 09 Sep - 18 Sep Shipping: 12 to 14 business days.
NT$ 3,793
NT$ 3,710

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

Go to My Wishlists
Calculate shipping cost

Synopsis "Design Für Testbarkeit, Fehlersuche Und Zuverlässigkeit: Maßnahmen Der Nächsten Generation Unter Verwendung Formaler Techniken (in German)"

In diesem Buch werden mehrere neue Ansätze vorgestellt, die den Weg für die nächste Generation integrierter Schaltungen ebnen, die auch in sicherheitskritischen Anwendungen erfolgreich und zuverlässig integriert werden können. Die Autoren beschreiben neue Ma nahmen zur Bewältigung der steigenden Herausforderungen im Bereich des Designs für Testbarkeit, Fehlersuche und Zuverlässigkeit, die für moderne Schaltungsentwürfe unbedingt erforderlich sind. Insbesondere werden in diesem Buch formale Techniken wie das Satisfiability (SAT)-Problem und das Bounded Model Checking (BMC) kombiniert, um die entstehenden Herausforderungen in Bezug auf die Zunahme des Testdatenvolumens, die Testanwendungszeit und die erforderliche Zuverlässigkeit zu bewältigen. Alle Methoden werden detailliert diskutiert und unter Berücksichtigung von industrie-relevanten Benchmark-Kandidaten ausführlich evaluiert. Alle Ma nahmen wurden in ein gemeinsames Framework integriert, das standardisierte Software/Hardware-Schnittstellen implementiert.

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 German.

What is the format of this book?

The binding of this edition is Hardcover.

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