Name: Design Für Testbarkeit, Fehlersuche Und Zuverlässigkeit: Maßnahmen Der Nächsten Generation Unter Verwendung Formaler Techniken (en Alemán)
Price: 2096.39 MXN
Availability: InStock
Author: Huhn, Sebastian ; Drechsler, Rolf
ISBN: 9783031453182

Envío gratis

portada Design Für Testbarkeit, Fehlersuche Und Zuverlässigkeit: Maßnahmen Der Nächsten Generation Unter Verwendung Formaler Techniken (en Alemán)

Formato

Libro Físico

Autor

Rolf Drechsler

Sebastian Huhn

Editorial

Springer Vieweg

Idioma

Alemán

N° páginas

180

Encuadernación

Tapa Dura

ISBN13

9783031453182

Categorías

Electrónica: circuitos y componentes
Sistemas embebidos e integrados
Arquitectura y diseño lógico de ordenadores

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

Rolf Drechsler (Autor) · Sebastian Huhn (Autor) · Springer Vieweg · Tapa Dura

Libro Nuevo

$ 2,096.39

$ 3,811.63

Ahorras: $ 1,715.23

45% descuento

Envío normal

Origen: España (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Viernes 19 de Julio y el Lunes 29 de Julio.

Lo recibirás en cualquier lugar de México entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Design Für Testbarkeit, Fehlersuche Und Zuverlässigkeit: Maßnahmen Der Nächsten Generation Unter Verwendung Formaler Techniken (en Alemán)"

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.