¡Envío gratis y en 1 día!* a Península + 5% dcto  ¡Ver más!

menú

0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
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
Idioma
Alemán
N° páginas
180
Encuadernación
Tapa Dura
ISBN13
9783031453182

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

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

Libro Nuevo

104,49 €

109,99 €

Ahorras: 5,50 €

5% descuento
  • Estado: Nuevo
  • Queda 1 unidad
Se enviará desde nuestra bodega entre el Lunes 08 de Julio y el Miércoles 10 de Julio.
Lo recibirás en cualquier lugar de España entre 1 y 5 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.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Alemán.
La encuadernación de esta edición es Tapa Dura.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes